A mathematician asks if his ChatGPT chats trained OpenAI's prover.
German mathematician Andreas Thom spent months discussing an unsolved problem with ChatGPT itself. OpenAI later said its Astra model solved that problem, leaning on Thom's own published work. An OpenAI researcher told him his chats were not used, and Thom calls that answer misleading.
Why it mattersWhat you type into a chatbot can leave your account and shape the product. If unpublished ideas travel that way, private work becomes someone else's announcement.
▶ Related video: OpenAI announces that "non-sofic groups exist"
Read in the app — free, in 9 languages
Related stories
Asked who to vote for, Grok chose Republicans 92% of the time.2026-10-25Top AI models write sentences that are harder for people to process.
2026-10-25Mathematicians set out to rewrite OpenAI's 719 AI-made papers.
2026-10-25Claude designed proteins that latch onto deadly scorpion toxins.
2026-10-24OpenAI's AI found a flaw in the code that shrinks web traffic.
2026-10-24