{"version":1,"type":"story","url":"https://digestai.news/story/fields-medalists-sign-letter-criticizing-openai-over-math-proof-attribution","json":"https://digestai.news/story/fields-medalists-sign-letter-criticizing-openai-over-math-proof-attribution.json","markdown":"https://digestai.news/story/fields-medalists-sign-letter-criticizing-openai-over-math-proof-attribution.md","slug":"fields-medalists-sign-letter-criticizing-openai-over-math-proof-attribution","headline":"OpenAI's GPT-6 Astra tops ErdosBench math benchmark despite no math focus","summary":"OpenAI unveiled GPT‑6 Astra, which claimed the top spot on the ErdosBench suite of 226 open mathematics problems. The model solved 106 problems, fully resolving 43 and disproving 27, earning a 3.23 score that outstripped its predecessor Sol, which solved 78. Although Fable 5.1 later reclaimed first place with fewer solves, Astra’s performance marks a clear quantitative gain in AI‑driven math research.\n\nChief scientist Jakub Pachocki explained that OpenAI deliberately did not prioritize mathematics when training Astra, opting instead to allocate resources to recursive self‑improvement (RSI) and AI alignment work. The decision highlights a “spiky” development trajectory where advances in one capability come at the expense of others, fueling debate about safety and the realistic path toward AGI. Mathematicians such as Terence Tao warn that accelerating AI‑generated proofs could overwhelm the community, shifting the discipline from proof scarcity to proof overload.","keyPoints":["GPT‑6 Astra solved 106 of 226 ErdosBench math problems, fully solving 43 and disproving 27, scoring 3.23.","OpenAI chose not to optimize Astra for math, focusing resources on recursive self‑improvement and alignment research.","Experts caution that rapid AI‑generated proofs may overwhelm mathematicians, turning proof scarcity into overload."],"whyItMatters":"A top‑performing math model shows how strategic trade‑offs shape AI progress, influencing research priorities, safety agendas, and the practical impact of AI on scientific discovery.","category":{"slug":"models","name":"Generative AI & Models","url":"https://digestai.news/category/models"},"entities":{"companies":["OpenAI"],"models":["GPT-6 Astra","Sol","Fable 5.1"],"people":["Jakub Pachocki","Przemek Chojecki","Terence Tao","Adam Hunt"]},"firstPublishedAt":"2026-09-11T20:57:36Z","updatedAt":"2026-09-13T12:06:00Z","sourceCount":4,"hasPrimarySource":false,"sources":[{"outlet":"The Decoder","title":"GPT-6 Astra gives mathematicians a breather, and OpenAI says that's by design","url":"https://the-decoder.com/gpt-6-astra-gives-mathematicians-a-breather-and-openai-says-thats-by-design","publishedAt":"2026-09-10T13:45:32Z","type":"press","primary":false,"lead":true},{"outlet":"businessinsider.com","title":"Inside the generational clash over AI in math: 'We don’t have the luxury of waiting'","url":"https://businessinsider.com/mathematics-ai-debate-caltech-openai-anthropic-gen-z-generational-divide-2026-9","publishedAt":"2026-09-13T12:06:00Z","type":"press","primary":false,"lead":false},{"outlet":"livemint.com","title":"OpenAI vs Mathematicians: Why the AI giant is facing growing backlash — ‘threat to intellectual work’","url":"https://livemint.com/ai/openai-vs-mathematicians-why-the-ai-giant-is-facing-growing-backlash-threat-to-intellectual-work-11789202015601.html","publishedAt":"2026-09-12T01:44:00Z","type":"press","primary":false,"lead":false},{"outlet":"TechCrunch AI","title":"OpenAI’s feud with mathematicians is only escalating","url":"https://techcrunch.com/2026/09/11/openais-feud-with-mathematicians-is-only-escalating","publishedAt":"2026-09-11T20:57:36Z","type":"press","primary":false,"lead":false}],"sourceNotes":null,"discussions":[],"thread":{"title":"OpenAI's Unexpected Mathematical Mastery","url":"https://digestai.news/thread/fields-medalists-sign-letter-criticizing-openai-over-math-proof-attribution","storyCount":3},"cite":{"text":"Digest AI, \"OpenAI's GPT-6 Astra tops ErdosBench math benchmark despite no math focus\", 11 September 2026, https://digestai.news/story/fields-medalists-sign-letter-criticizing-openai-over-math-proof-attribution","publisher":"Digest AI","title":"OpenAI's GPT-6 Astra tops ErdosBench math benchmark despite no math focus","datePublished":"2026-09-11T20:57:36Z","url":"https://digestai.news/story/fields-medalists-sign-letter-criticizing-openai-over-math-proof-attribution"},"generatedBy":"Written by Digest AI's editorial model from the linked sources; the sources are the record.","license":"Headlines, digests and key points are written by Digest AI and may be quoted with a link to the story page. Linked articles belong to their publishers. Terms: https://digestai.news/terms#reuse"}