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

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

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

In the 1930s and 1940s, for example, a group of Polish mathematicians regularly met in a café in Lwów, Poland (now Lviv, ...

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

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

Research team led by Peking University says dual-agent approach bridges the gap between reasoning and formal machine ...

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