GoKawiil
Tech News
OpenAI says it has solved a Millennium Prize-level math problem, extending a string of high-profile claims in mathematics. Researchers including Tristan Buckmaster and Andreas Thom say the company has been vague about whether their own prior work, done through OpenAI's Codex tool, fed into its results. OpenAI denies this, insisting Buckmaster's recent prompts could not have influenced the system's training.
Mathematician Andreas Thom says his prior ChatGPT conversations may have fed into OpenAI's recent non-sofic groups breakthrough, echoing a similar complaint from NYU professor Tristan Buckmaster about undisclosed use of his Codex interactions. Thom noted OpenAI's unusually detailed grasp of niche techniques and has asked researchers Sébastien Bubeck and Mark Sellke whether his exchanges with ChatGPT were used as training data.
Andreas Thom published a Mastodon post alleging that OpenAI's Astra model may have been trained on private conversations between him and Gábor Kun as they worked toward proving Gromov's soficity conjecture, one of ten problems OpenAI credited to Astra. Thom, a longtime expert on sofic and hyperlinear groups, spent two decades on the problem and says the evidence points to his unpublished work being absorbed rather than independently derived.