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

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 what the hairiest problem in math can teach us about wind, antennas and nuclear fusion. When you purchase through links on our site, we may earn an affiliate commission. Here’s how it works.

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