Mathematician presents evidence OpenAI may have trained Astra on his Gromov soficity proof conversations
ValerioCapraro · x · 2026-09-10
Mathematician Andreas Thom published a detailed Mastodon post laying out several pieces of evidence suggesting OpenAI may have trained Astra on conversations in which he and Gábor Kun were working on Gromov's soficity conjecture — one of the ten problems OpenAI later announced Astra had solved. Valerio Capraro, who knows Thom personally, amplified the claim, saying OpenAI "might have stolen another major proof." OpenAI has not responded; the allegations raise questions about whether the model's math breakthroughs lean on leaked access to researchers' unpublished work.
More from Companies & People
- An AI company built in five years now moves a mid-sized European GDP — felpix_ · 2026-10-26
- Anthropic eyes IPO with 900% NRR as 48% of H1 revenue flows via cloud marketplaces — thedealdirector · 2026-10-26
- Fmr. OpenAI Design Head Ian Silber, Who Led ChatGPT and Codex, to Speak at SPC — soleio · 2026-10-26
- Silicon Valley breakdown: five Stanford-area giants worth ~$18T — FinanceYF5 · 2026-10-26
- User suspects X's bundled Grok subscription boosted tweet reach amid algorithm change rumors — talkaboutdesign · 2026-10-26
- "RIP Claude + Chrome": developer flags the end of Anthropic's browser integration — damienghader · 2026-10-26