- 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.
Access options
Access Nature and 54 other Nature Portfolio journals
Get Nature+, our best-value online-access subscription
$32.99 / 30 days
cancel any time
Subscribe to this journal
Receive 51 print issues and online access
$199.00 per year
only $3.90 per issue
Rent or buy this article
Prices vary by article type
from$1.95
to$39.95
Prices may be subject to local taxes which are calculated during checkout
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
