How Emmy Noether's theorem uses the Lagrangian to provide a formula for calculating the quantity of symmetries in a system—like the orbit of planets.

When the Leiden Declaration on Artificial Intelligence and Mathematics went live on 2 June 2026, things moved quickly. The ...

Large language models can write essays, summarize legal clauses, explain ancient history, draft emails, and produce code that looks impressively official. Then you ask one to multiply two awkward ...

Healthcare policy is increasingly justified through the language of numbers, yet numerical precision does not guarantee sound reasoning. Some of the most damaging public health controversies, from ...

The result is correct but challenges core norms of mathematics: checking proofs, crediting ideas and keeping research open to everyone.

A week after OpenAI made headlines with an A.I.-generated proof, a new “declaration” by 16 experts raises concerns that the technology threatens math as a discipline. By Siobhan Roberts Recently there ...

In mid-May, OpenAI announced that an internal AI model had disproved the Erdős unit distance conjecture, a famous problem in discrete geometry that had stumped human mathematicians for the last 80 ...

I am attempting to solve a mathematical conundrum that has stumped many of humanity’s greatest thinkers. I have zero mathematical training, apart from a distant undergraduate physics degree, which ...

This voice experience is generated by AI. Learn more. This voice experience is generated by AI. Learn more. News about AI math problem raises realization that finding counterexamples can be extremely ...

VUB's Data Analytics Lab has published new results showing that it is possible to develop original mathematical proofs using commercial language models. In a paper posted to the arXiv preprint server, ...

It’s getting tougher to assess how much university students have learnt. In his work as a Mathematical Statistics lecturer, Michael von Maltitz has tried a new way of getting students to learn, and of ...

The race is on to develop an artificial intelligence that can do pure mathematics, and top mathematicians just threw down the gauntlet with an exam of actual, unsolved problems that are relevant to ...