Mathematician Kevin Buzzard of Imperial College London is training computers how to prove one of the most famous problems in math history: Fermat’s last theorem. Resolving the problem isn’t the point.

An OpenAI AI model has solved a mathematical puzzle that has eluded humans for over 50 years. Ethan Knight, a researcher at ...

Years ago, an audacious Fields medalist outlined a sweeping program that, he claimed, could be used to resolve a major problem in algebraic geometry. Other mathematicians had their doubts. Now he says ...

A series of recent research papers have shown that ChatGPT and related large language models can produce original, verifiable mathematical proofs, including solutions to problems that had not been ...

For years, physicists were stuck in trying to explain an important mathematical problem in physics. The right approach ended up being too simple.

Tennessee has many young, aspiring mathematicians − our math teachers deserve to be recognized for the work they do. But if Tennessee wants to stay competitive, it must give students earlier exposure ...

The following is an extract from our Lost in Space-Time newsletter. Each month, we hand over the keyboard to a physicist or two to tell you about fascinating ideas from their corner of the universe.