In an interview with AMS Notices, Tsimerman explained his shift: he supports a pause on AI but does not believe companies and countries in global competition will actually stop. 'Since we can't stop it, rather than standing outside and resisting, it's better to get in, understand it, and help shape it, otherwise we might be left behind.' His logic is: the higher the risk, the more safety conclusions need the level of certainty of mathematical proofs, and OpenAI is precisely where mathematics and AI safety intersect.
He has already been using AI extensively for mathematical research. In 2025 alone, he uploaded five mathematics papers to arXiv. His daily workflow involves using ChatGPT and Claude to explore problem boundaries, find references, and have the models prove lemmas. He says: 'The proofs it gives are usually wrong, but it usually pulls out the right direction and methods, helping me get 80% of the way there, and I finish the rest myself.' AI has already doubled his research efficiency.
In May 2026, OpenAI's reasoning model found a counterexample to the 80-year-old unit distance conjecture. Tsimerman was one of nine mathematicians invited to verify it. He commented that if this result had been achieved by a human, he would support its acceptance by a top journal. This experience reinforced his judgment: AI has begun to participate in mathematical discovery. He subsequently publicly predicted that AI might become better than human mathematicians at proving theorems within two years.