bluesky — Yash Jain — 13 Sep 2026
OpenAI says one of its AI models solved a Millennium Prize problem, the unsolved math puzzles that carry a $1 million re…
#large-language-models #ai-mathematics #formal-verification
OpenAI says one of its AI models solved a Millennium Prize problem, the unsolved math puzzles that carry a $1 million reward each.
Mathematicians who reviewed it say the AI got to an answer but shows no real sign it understood the proof it produced.