🧮 OpenAI Astra Solves 10 Open Math Problems — Fields Medalist Says One Proof Is Journal-Ready
OpenAI revealed that an internal version of its next major model, Astra, cracked 10 previously unsolved problems in mathematics and theoretical computer science, with formal Lean proofs published on GitHub. Fields Medal winner Timothy Gowers said he would recommend one of the proofs for a top journal without hesitation. This is a step beyond summarizing or coding — it is AI doing original research. What field do you think AI breaks open next?
⚡ 56 buzzing
587 views
🔔 0 subscribed