Mathematician alleges OpenAI trained Astra on his unpublished work on Gromov's soficity conjecture
ValerioCapraro · x · 2026-09-10
- Mathematician Andreas Thom presented evidence on Mastodon suggesting OpenAI may have trained Astra on conversations in which he and Gábor Kun worked on Gromov's soficity conjecture — one of the ten problems OpenAI later announced Astra had solved.
- Thom is a leading expert on sofic and hyperlinear groups with two decades on this problem. If correct, unpublished human work was absorbed into the model and presented as an AI breakthrough.
- Along with allegations by Levent Alpöge and Tristan Buckmaster, the author argues this could become one of the greatest intellectual scandals in science: AI not discovering math but stealing human discovery. Allegations remain unverified.
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