Math stories

Stories about math and mathematicians.

0526 Ai Math Feat A 1024x576

Math long resisted a digital disruption. AI is poised to change that

Modern formalization, supercharged by AI, could radically change the way people do mathematics 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. There’s already an accepted proof that was finalized in 1998. That work […]

Math long resisted a digital disruption. AI is poised to change that Read More »

Mandelbug 1024x577

See how fractals forever changed math and science

Fifty years ago, “fractal” was born. In a 1975 book, the Polish-French-American mathematician Benoit B. Mandelbrot coined the term to describe a family of rough, fragmented shapes that fall outside the boundaries of conventional geometry. Mathematicians had been describing these types of shapes since the late 19th century. But by giving them a name — derived from fractus,

See how fractals forever changed math and science Read More »

Cake Image 1024x576

Here’s why mathematicians are so interested in cake cutting

Ariel Procaccia has thought a lot about how to cut cake over the last 15 years. That’s partly because the Harvard computer scientist has three children who among them have celebrated more than two dozen birthdays. He knows what it’s like to stand with a knife before a layered masterpiece, frosted with buttercream and chocolate

Here’s why mathematicians are so interested in cake cutting Read More »

Cipher

How Mathematicians Cracked the Zodiac Killer’s Cipher

In the late 1960s, a serial killer self-identifying as “the Zodiac” killed at least five people in Northern California and claimed to have murdered more. In November 1969, the Zodiac Killer sent a card to the San Francisco Chronicle containing a 340-character secret message that for more than 50 years went unsolved by detectives, cryptography experts, amateur

How Mathematicians Cracked the Zodiac Killer’s Cipher Read More »

Computer Proof Race 2880 Lede 1024x521

How Close Are Computers to Automating Mathematical Reasoning?

In the 1970s, the late mathematician Paul Cohen, the only person to ever win a Fields Medal for work in mathematical logic, reportedly made a sweeping prediction that continues to excite and irritate mathematicians — that “at some unspecified future time, mathematicians would be replaced by computers.” Cohen, legendary for his daring methods in set theory, predicted

How Close Are Computers to Automating Mathematical Reasoning? Read More »