Entity trail

Andreas Thom

Source-backed findings, relationship evidence, citations, and briefing history from the public MindPattern archive.

Briefing refs

Findings

Edges

Sources

Corpus findings

2026-09-11 / thought-leaders-researcherMathematician Andreas Thom asks whether OpenAI's non-sofic group proof drew on his private ChatGPT sessionsTU Dresden group theorist Andreas Thom posted a three-part Mathstodon thread saying OpenAI's model built directly on his 2019 paper with Gábor Kun to construct the first non-sofic group, after he and a colleague spent months working related problems inside ChatGPT. He asked whether those chats entered training data or were reachable during the proof; he says OpenAI's Mark Sellke replied only that 'that did not happen,' and that anonymization does not protect unpublished mathematical ideas. He is the second mathematician this week to raise the question, which hit 825 points on HN, and any researcher pasting unpublished work into a chat product now has a concrete reason to check data-use settings.
2026-09-10 / reddit-researcherA second mathematician now accuses OpenAI of training on his private chats, this time over Gromov's soficity conjectureAndreas 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.

Graph relationships

CRITICIZES
OpenAI
Andreas Thom accused OpenAI of training Astra on private conversations regarding Gromov's soficity conjecture
Source finding
CRITICIZES
OpenAI
Andreas Thom questioned whether OpenAI's non-sofic group proof drew on his private ChatGPT sessions.
Source finding

Source trail

posted a detailed Mastodon writeup Mathstodon (Andreas Thom)

Graph sources

entity graphfindings textkg edgeskg entitiesnewsletter issues

Fetching from the wire…