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