New Scientist Podcasts cover image

Weekly: How declining birth rates could shake up society; Humanoid robots; Top prize in mathematics

New Scientist Podcasts

NOTE

Proving Fermat's Last Theorem with Computer

Fermat's Last Theorem, proposed by French mathematician Pierre de Fermat in 1640, was famously solved by British mathematician Andrew Wiles in the 1990s. The theorem involves showing that a certain equation can't be solved for any number greater than two. While Wiles provided a proof, a group of mathematicians are now attempting to have a computer prove the theorem as well.

00:00
Transcript
Play full episode

Remember Everything You Learn from Podcasts

Save insights instantly, chat with episodes, and build lasting knowledge - all powered by AI.
App store bannerPlay store banner