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

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

Chinese AI cracks decade-old math problem without human oversight - Breakthrough provides example of how mathematical research can be automated ...

But sometimes I have to cut a sandwich or pizza in half. If the other person is equally hungry, they'll be scrupulous about ...

EL PAÍS reconstructs what many media outlets sold as ‘the news story of the year,’ and some of its protagonists described as ...

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 ...

We consider natural variants of Lehmer's unresolved conjecture that Ramanujan's tau-function never vanishes. Namely, for $n>1$ we prove that $$\tau(n)\not \in \{\pm 1 ...

Debates over how geometry is understood and learned date back at least to the days of Plato, with more recent scholars ...

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