OpenAI accused of using a mathematician's conversations to train Astra on soficity conjecture proof
iamtrask · x · 2026-09-10
- Mathematician Andreas Thom posted detailed evidence on Mastodon suggesting OpenAI may have trained Astra on conversations where he and Gábor Kun worked on Gromov's soficity conjecture — one of ten problems OpenAI announced Astra had solved.
- Quote-tweeter Valerio Capraro notes Thom is a leading sofic groups expert who spent two decades on the problem; if true this is far more than a minor attribution dispute.
- iamtrask comments it could open the floodgates of humans re-claiming credit previously given to AI.
More from Companies & People
- SF 'Code Engineering' event picks up where 1,000-person harness engineering meetup left off — LangChain · 2026-10-27
- Anthropic reveals it bans customers worth 5-7% of revenue every 9 months — Polymarket · 2026-10-27
- Anthropic's IPO Filing Goes Public, Revealing Strong Revenue and Massive Spending — KateClarkTweets · 2026-10-27
- Microsoft offers voluntary buyouts to 60,000 employees, about a quarter of its workforce — dotey · 2026-10-27
- OpenAI Foundation funds UNC tumor antigen project, hiring senior experimental scientist — iskander · 2026-10-27
- Anthropic IPO timing fuels claims anti-open-weights panic is self-serving — mark_k · 2026-10-27