A recipient of his profession’s prestigious Fields Medal, he devised an algorithm that helps solve mathematical ...

"Hearst Magazines and Yahoo may earn commission or revenue on some items through these links." Two mathematicians now say they’ve made progress on a very old unsolved math problem. The problem ...

Gerd Faltings shocked mathematicians around the world for his 1983 proof of the Mordell conjecture, which brought together ...

Axiom Math is giving away a powerful new AI tool. But it remains to be seen if it speeds up research as much as the company ...

The quest to make mathematics rigorous has a long and spotty history — one mathematicians can learn from as they push to ...

A start-up has surprised the scientific community with a breakthrough: translating a modern proof into a programming language ...

First Proof is an effort to see whether LLMs can contribute meaningfully to pure mathematics research. The dust has settled ...