Mathematicians accuse OpenAI of training Astra on their 20-year soficity conjecture work

ctjlewis · x · 2026-09-10

Mathematician Valerio Capraro relays Andreas Thom's detailed Mastodon post presenting evidence that OpenAI may have trained Astra on conversations in which Thom 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 who has spent two decades on this problem. Capraro argues that if accurate, this is far more than an attribution dispute, though others in the thread dismiss the accusations as baseless. The controversy is still unfolding.

Related event: Mathematician Andreas Thom accuses OpenAI of training Astra on his unpublished research(6 posts)→

Original post →

More from Companies & People

Companies & People channel →