A mathematician will turn a groundbreaking 100-page proof into computer code. The proof tool, Lean, lets users turn proofs written in prose into rules and logic for testing. Kevin Buzzard already uses ...

Here's a scene from "The Royale," an episode of Star Trek: The Next Generation that aired March 27, 1989. In it, Captain Jean-Luc Picard tells his First Officer, Commander Riker, about his work in ...

Cédric Villani’s new book describes the work that went into a mathematical proof of nonlinear Landau damping. If that sounds like Greek to you, have no worries. The subject of the book is not the math ...

Two teens say they’ve historically solved Pythagoras’ famous theorem by using trigonometry. New Orleans natives Calcea Johnson and Ne’Kiya Jackson, who attend St. Mary’s Academy, presented their ...

Consider lunch. Perhaps a nice ham sandwich. A knife should neatly halve the ham and two bread slices. But what if you slip? Oops—the ham now rests folded under a ...