12 min read Fields Medalist Terence Tao explains how proof checkers and AI programs are dramatically changing mathematics By Christoph Drösser Just_Super/Getty Images Mathematics is traditionally a solitary science. In 1986 Andrew Wiles withdrew to his study for seven years to prove Fermat’s theorem. The resulting proofs are often […]
Click here to view original web page at www.scientificamerican.com
