21/06/23 12:12:47.40 R5Yj2Oel.net
NEWS
18 June 2021
Mathematicians welcome computer-assisted proof in ‘grand unification’ theory
Peter Scholze wants to rebuild much of modern mathematics, starting from one of its cornerstones. Now, he has received validation for a proof at the heart of his quest from an unlikely source: a computer.
URLﾘﾝｸ(www.nature.com)