When Hannah Cairo was 17 years old, she disproved the Mizohata-Takeuchi conjecture, a long-standing guess in the field of harmonic analysis about how waves behave on curved surfaces. The conjecture ...

Axiom says its AI found solutions to several long-standing math problems, a sign of the technology’s steadily advancing reasoning capabilities.

Despite multiple conferences dedicated to explicating Mochizuki’s proof, number theorists have struggled to come to grips with its underlying ideas. His series of papers, which total more than 500 ...

Hannah Cairo found herself stuck on a problem that wouldn’t leave her mind. It wasn’t a regular homework assignment—it was a decades-old mathematical puzzle believed to be true by leading experts in ...

A pair of mathematicians has solved the first chunk of one of the most famous conjectures about the additive properties of whole numbers. Proposed more than 60 years ago by the legendary Hungarian ...

AxiomProver solved a real open math conjecture using formal verification, signaling a shift from AI that assists research to AI that discovers new truths.

On Aug. 24, Richard Schwartz, professor of mathematics, published a preprint paper to arXiv.org that proved a conjecture that has stumped mathematicians for nearly 50 years: What is the shortest strip ...

After German mathematician Gerd Faltings proved the Mordell conjecture in 1983, he was awarded the Fields Medal, often described as the “Nobel Prize of Mathematics.” The conjecture describes the set ...

Caroline Klivans, senior lecturer in applied mathematics and computer science, achieved every student’s dream and proved her former advisor wrong. The Partitionability Conjecture was postulated by ...