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
- If Altman and Amodei both back frontier AI pacing, they should just start pacing — NathanpmYoung · 2026-09-11
- 93% of Indian healthcare leaders believe in AI, but only 11% run it in production — HealthcareLdr · 2026-09-11
- Replit courts Shopify React Native devs for its mobile push — amasad · 2026-09-11
- Netizens mock Anthropic CEO Dario Amodei's 'coders should learn to plumb toilets' remark — nevrekaraishwa2 · 2026-09-11
- Demis Hassabis' 60-minute Cambridge lecture on the future of AI — HeyAmit_ · 2026-09-11
- IIT Madras Wadhwani School of Data Science & AI opens Post-Bacc fellowship applications — ravi_iitm · 2026-09-11