A second mathematician now accuses OpenAI of training on his private chats, this time over Gromov's soficity conjecture

Hacker News (via Valerio Capraro on X and r/OpenAI)·high signalXBlueskyLinkedInCopy link

Andreas Thom posted a detailed Mastodon writeup alleging OpenAI trained Astra on conversations in which he and Gábor Kun were working on Gromov's soficity conjecture, one of the ten problems OpenAI later said Astra solved. Thom says he opted out of model training on June 29, asked OpenAI directly whether his conversations had been used, and was told it did not happen. This is a different accuser and a different problem from the Buckmaster Navier-Stokes dispute, which is what turns a single grievance into a pattern claim; the Hacker News thread hit 246 points and 142 comments, r/OpenAI 368 upvotes.