Math long resisted a digital disruption. AI is poised to change that
SMRTR summary
Mathematician Kevin Buzzard is working to formalize Fermat's last theorem by translating its 130-page proof into computer code, part of a broader effort to create a digital library of all mathematics. The explosion of artificial intelligence has accelerated these formalization efforts, with tech companies combining large language models with theorem provers to automatically verify mathematical proofs and potentially solve new problems that humans cannot.
SMRTR provides this summary for quick context. The original article belongs to Science News.
Read the original article