From haikus to math journals and comic strips, there are major benefits when writing is infused into the math curriculum.

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.