Mathematicians Hate AI. They Can’t Quit It

Mathematician Tristan Buckmaster accused OpenAI of using his work to solve a legendary math problem, sparking debate about AI's impact on human mathematicians. OpenAI investigated and amended its announcement, stating Buckmaster's Codex prompts from the two months prior to September 8, 2026, could not have influenced their system. Buckmaster is open to discussing the matter with OpenAI but remains cautious about potential future collaborations.

This report uniquely details OpenAI's internal investigation and their specific amendment regarding Tristan Buckmaster's claims, unlike other accounts that only cover the initial accusation.