
Weekly: How declining birth rates could shake up society; Humanoid robots; Top prize in mathematics
New Scientist Podcasts
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.