
Is AI solving proofs—or just dividing our opinions?
A new challenge reveals how well AI can tackle true math problems

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

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 math of March Madness brackets
When can mathematicians reverse engineer basketball tournament results from your friends’ brackets?

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

Math puzzle: Tricky calculation
Use some creative arithmetic on this math puzzle

The paradoxical math of false alarms
Here’s how a mathematical paradox distorts our view of news, safety and statistics

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

Why Friday the 13th is a mathematical inevitability
No bad luck here—just lots of fascinating math that explains why the 13th of a month so often falls on a Friday

Mathematicians find one pi formula to rule them all
A mixture of AI and algorithms uncovered a hidden structure spanning 2,000 years of equations for pi