# Mathematicians Accuse OpenAI of Plagiarizing Their Work in Astra's Math Proofs

> OpenAI's splashy claim that its Astra model cracked ten long-standing math problems is drawing sharp pushback. Steven Miller of Yeshiva University says the model's sphere-packing result recycles an argument he published in 2016 without any attribution, and Cambridge's Fournier-Facio identified the same unattributed pattern in a separate result on non-sofic groups. Beyond the specific credit disputes, the critics object to how the work was released. OpenAI announced the proofs through a blog post rather than submitting them to peer review, which mathematicians argue sidesteps the scrutiny and citation norms captured in standards like the Leiden Declaration. The fight matters because it sits on a fault line the whole field is now navigating: when a model produces a genuine-looking proof, who deserves credit, and how do we verify it? The sphere-packing improvement touches a bound that had stood since 1978, so the stakes for attribution are real, and the episode shows the old machinery of scholarly review has not caught up to how AI results are being announced.

_Section: [Daily AI Updates](https://www.wortins.com/daily-ai) · Source: Yahoo/Scientific American · Published Tuesday, August 11, 2026_

## Wortins' read

OpenAI's splashy claim that its Astra model cracked ten long-standing math problems is drawing sharp pushback. Steven Miller of Yeshiva University says the model's sphere-packing result recycles an argument he published in 2016 without any attribution, and Cambridge's Fournier-Facio identified the same unattributed pattern in a separate result on non-sofic groups. Beyond the specific credit disputes, the critics object to how the work was released. OpenAI announced the proofs through a blog post rather than submitting them to peer review, which mathematicians argue sidesteps the scrutiny and citation norms captured in standards like the Leiden Declaration. The fight matters because it sits on a fault line the whole field is now navigating: when a model produces a genuine-looking proof, who deserves credit, and how do we verify it? The sphere-packing improvement touches a bound that had stood since 1978, so the stakes for attribution are real, and the episode shows the old machinery of scholarly review has not caught up to how AI results are being announced.

## Source

[Read the full story at Yahoo/Scientific American](https://www.yahoo.com/news/science/articles/openai-latest-math-breakthroughs-commit-184300525.html)

## Related coverage

- [Nvidia Agrees to Acquire Hugging Face for $13 Billion](https://www.wortins.com/story/nvidia-agrees-to-acquire-hugging-face-for-13-billion-17f12bb8) — [TechCrunch](https://techcrunch.com/2026/08/26/nvidia-closes-in-on-hugging-face-acquisition/)
- [Alibaba Raises $10.2 Billion in Record Hong Kong Share Sale to Fund AI Expansion](https://www.wortins.com/story/alibaba-raises-10-2-billion-in-record-hong-kong-share-sale-t-ee1afa0a) — [Bloomberg](https://www.bloomberg.com/news/articles/2026-08-23/alibaba-to-raise-10-billion-by-selling-shares-for-ai-expansion)
- [Google DeepMind Releases Gemini Robotics 2 With Whole-Body Control](https://www.wortins.com/story/google-deepmind-releases-gemini-robotics-2-with-whole-body-c-578b43eb) — [Google DeepMind](https://deepmind.google/blog/gemini-robotics-2-brings-whole-body-intelligence-to-robots/)
- [Cohere Launches Command A+ Mixture-of-Experts Model](https://www.wortins.com/story/cohere-launches-command-a-mixture-of-experts-model-5d840970) — [Cohere](https://docs.cohere.com/docs/command-a-plus)
- [Google Cloud Launches Gemini Enterprise for Financial Services](https://www.wortins.com/story/google-cloud-launches-gemini-enterprise-for-financial-servic-5d0fd141) — [Google Cloud](https://www.googlecloudpresscorner.com/2026-08-25-Google-Cloud-Launches-Gemini-Enterprise-for-Financial-Services)
- [Callosum Raises $100 Million to Match AI Tasks with Most Cost-Effective Models](https://www.wortins.com/story/callosum-raises-100-million-to-match-ai-tasks-with-most-cost-da05cef6) — [Bloomberg](https://www.bloomberg.com/news/articles/2026-08-20/ai-startup-callosum-raises-100-million-to-make-ai-tasks-cheaper)

---

_Curated and written by [Wortins](https://www.wortins.com) — The daily AI briefing. Every story links to its original source; the "Wortins read" on each is our own original analysis. [About Wortins & our editorial approach](https://www.wortins.com/about)._