Remember that math problem from 2014? A Chinese AI tool cracked it ...

GPT-5.4 Pro cracked a conjecture in number theory that had stumped generations of mathematicians, using a proof strategy that ...

The painstaking process of formalization to verify proofs is starting to surge thanks to AI. That could radically change the ...

Chinese AI cracks decade-old maths problem without human oversight - Breakthrough provides example of how mathematical ...

The researchers explained that the AI analysed decades of existing mathematical literature and combined natural language ...

A Chinese artificial intelligence framework has autonomously resolved an open problem proposed more than a decade ago by a US mathematician, according to the Peking University-led team that developed ...

Those changes will be contested, in math as in other academic disciplines wrestling with AI’s impact. As AI models become a ...

They added that although the AI could solve the problem on its own, guidance from a mathematician could speed up the process.