AI-powered
podcast player
Listen to all your favourite podcasts with AI-powered features
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.