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 ...

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 ...