What happens when AI starts checking mathematicians’ work
A start-up has surprised the scientific community with a breakthrough: translating a modern proof into a programming language for verification using AI. But not everyone is celebrating
Why mathematicians are boycotting their biggest conference
More than 1,500 mathematicians are demanding that their field’s most prestigious meeting be moved from the U.S.
Is AI solving proofs—or just dividing our opinions?
A new challenge reveals how well AI can tackle true math problems
Mathematicians can’t agree on whether 0.999... equals 1
Whether 0.999... equals 1 is the subject of bitter dispute in countless online forums
Can you solve these language puzzles? Test your skills with these problems from North America’s biggest linguistics competition
For 20 years, this computational linguistics competition has inspired new generations of innovators in AI and language preservation
The math of March Madness brackets
When can mathematicians reverse engineer basketball tournament results from your friends’ brackets?
Gerd Faltings, mathematician who proved the Mordell conjecture, wins the Abel Prize at age 71
The Mordell conjecture—now known as Faltings’s theorem—concerns the number of special points on a curve
The curious math that explains why fashion trends always come back around
Fashion’s 20-year trend cycle isn’t just based on vibes; it can be mathematically modeled
Poems: Math limericks
Science in meter and verse
The paradoxical math of false alarms
Here’s how a mathematical paradox distorts our view of news, safety and statistics
Math puzzle: Tricky calculation
Use some creative arithmetic on this math puzzle
As AI keeps improving, mathematicians struggle to foretell their own future
First Proof is an effort to see whether LLMs can contribute meaningfully to pure mathematics research. The dust has settled on round one, and the results are surprising