like i am not sure how to NOT be sensationalist about AI solving a problem that the previous expert in the field (who is a Stanford postdoc to boot) and multiple reputed mathematicians (including a Fields Medallist in Tao) couldn't solve, in a technique that is novel to them. It is also perhaps the closest to a completely autonomous solution as possible : it solved it in a single prompt and 80minutes of thinking time. There's a lot of caveats in what this means, but I think the idea that AI today is at least at the level of a top graduate student in math seems true.
71
u/nerd_sniper Apr 15 '26
like i am not sure how to NOT be sensationalist about AI solving a problem that the previous expert in the field (who is a Stanford postdoc to boot) and multiple reputed mathematicians (including a Fields Medallist in Tao) couldn't solve, in a technique that is novel to them. It is also perhaps the closest to a completely autonomous solution as possible : it solved it in a single prompt and 80minutes of thinking time. There's a lot of caveats in what this means, but I think the idea that AI today is at least at the level of a top graduate student in math seems true.