Re:Thom's account on an exchange with OpenAI regarding non-s...
by calf on Thursday September 10, 2026 @02:04PM
(#49647911)
It's like AlphaGo but playing against all living mathematicians. (Overhang being low hanging fruit is what allows this comparison, of course the general moot point is the skepticism that LLMs are also innovative etc.)
[ Parent
| on HN ]
Re:Thom's account on an exchange with OpenAI regarding non-s...
by fn-mote on Thursday September 10, 2026 @08:50PM
(#49652163)
We are not seeing those incredible moves yet. The approach used in N-S was conjectured to work after B&L’s initial breakthrough. See a post by Tao. So on one hand the proof is an amazing accomplishment. On the other hand, humans have not yet discovered any superhuman moves in the proof. Just $MM grind.