Mathematician accuses OpenAI's Astra of lifting his unpublished 20-year proof work
新智元 · wechat · 2026-09-11
Dresden mathematician Andreas Thom alleges OpenAI's Astra used core derivation steps matching his and Gábor Kun's two-decade-old unpublished work on non-sofic groups to crack Gromov's soficity conjecture. Months earlier, his team had shared unpublished proof details in ChatGPT chats; his formal query to researchers Mark Sellke and Sébastien Bubeck got a one-line denial: "that did not happen." This follows the Tristan Buckmaster Navier–Stokes dispute, where OpenAI admitted it "cannot rule out" using de-identified customer data for training. Some researchers call it potentially one of the largest intellectual plundering scandals in science history; OpenAI denies everything.
More from Companies & People
- 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
- a16z podcast: Diode pairs AI PCB design with Brooklyn factory to revive US hardware manufacturing — MattPerault · 2026-10-26
- Vercel Ships 12 New Products at Its 2026 Conference as It Races Rivals for the Agent Entry Point — FinanceYF5 · 2026-10-26
- Anthropic's S-1 founders' letter 'marked safe from using Claude' draws skepticism — xeophon · 2026-10-26
- Anthropic S-1 reveals how AWS, Google and Microsoft cloud deals drive Claude enterprise adoption — BenBajarin · 2026-10-26