Jacob Aron

jjaron.bsky.social

19 October 2026 09:18

Experts are never going to be able to validate all AI solutions, whether we're talking maths, cryptography or anything, really. I'm not really sure what the solution is.

Jacob Aron

jjaron.bsky.social

19 October 2026 09:18

I wonder if we are in an awkward middle period, though. These solutions are the low-hanging fruit that no one got around to finding. You can imagine eventually being able to ask an AI to solve all such problems at once, and thus no longer relying on random people who just happened to prompt

Jacob Aron

jjaron.bsky.social

19 October 2026 09:18

That would allow for more systematic study ("Here is your morning digest of solutions to unsolved problems, ordered by importance") but human attention is still a bottleneck. The only solution is to let a machine rubber-stamp problems as solved, but then you can rightly ask what is the point?

Juan José García-Ripoll

jjgarciaripoll.bsky.social

14 October 2026 15:18

Nice application of AI for AMO quantum experiments www.quera.com/blog-posts/h...

Joseph Rezek

rezekjoe.bsky.social

14 October 2026 08:01

My heart breaks for mathematicians whose lives and careers are being destroyed by AI — and especially this PhD student, who doesn’t even know he is a poet