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.
Related event: Mathematician alleges OpenAI trained Astra on his unpublished work(2 posts)→
More from Companies & People
- Anthropic Insider 'Tell-All' Author Tied to EA Fringe and Moskovitz-Funded Scholarship — Dan_Jeffries1 · 2026-09-10
- X's updated ToS makes users responsible for Grok's outputs, sparking backlash — SonnyDayCreates · 2026-09-10
- OpenAI insiders tout computer use as the next paradigm after transformers, chat, and reasoning — mmmbchang · 2026-09-10
- Meta's real AI play: becoming the OS for the entire ad funnel for SMBs, analyst argues — rohanpaul_ai · 2026-09-10
- Mollick: without a frontier model Google is missing out on math and cybersecurity — emollick · 2026-09-10
- Giffmana blames IShowSpeed's backflipping foldable iPhone news for a training loss spike — giffmana · 2026-09-10