- NEWS
Proof-assistant software handles an abstract concept at the cutting edge of research, revealing a bigger role for software in mathematics.
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.
Nature 595, 18-19 (2021)
doi: https://doi.org/10.1038/d41586-021-01627-2
Related Articles
-
Number-theory prodigy among winners of most coveted prize in mathematics
-
AI maths whiz creates tough new problems for humans to solve
