Proof in the time of machines

DOI10.1090/bull/1826arXiv2305.02329OpenAlexW4391845938MaRDI QIDQ6130529

Andrew Granville

Publication date: 3 April 2024

Published in: Bulletin of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2305.02329

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) History of mathematics in the 21st century (01A61) Sociology (and profession) of mathematics (01A80) Computer science support for mathematical research and practice (68Vxx)

Cites Work

• On the eigenvalues of the Hecke operator \(T_ 2\)
• A fully automatic theorem prover with human-style output
• On sets of integers containing k elements in arithmetic progression
• Advancing mathematics by guiding human intuition with AI
• The uncertainty principle: Variations on a theme

This page was built for publication: Proof in the time of machines