Mathematical reasoning and the computer

DOI10.1090/BULL/1833MaRDI QIDQ6536119zbMATH OpenFDO

Authors Kevin Buzzard

Publication date 3 April 2024

Published in Bulletin of the American Mathematical Society. New Series (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1090/BULL/1833

Mathematics Subject Classification ID

General topics in artificial intelligence (68T01) Artificial neural networks and deep learning (68T07) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15) Formalization of mathematics in connection with theorem provers (68V20)

Recommendations

• Towards the automatic mathematician
• Finding mathematical proofs using computers
• Computer-assisted discovery and proof
• scientific article; zbMATH DE number 3860434
• The Logical Structure of Computer-Aided Mathematical Reasoning

Cites work

• A counterexample to the unit conjecture for group rings
• A proof of the Kepler conjecture
• Abstraction boundaries and spec driven development in pure mathematics
• Bruck loops with Abelian inner mapping groups.
• scientific article; zbMATH DE number 6934605 (Why is no real title available?)
• scientific article; zbMATH DE number 7649964 (Why is no real title available?)
• Liquid tensor experiment
• Liquid tensor experiment
• Machine Learning in Pure Mathematics and Theoretical Physics
• On large subsets of \(\mathbb{F}_q^n\) with no three-term arithmetic progression
• Robbins algebras are Boolean: A revision of McCune's computer-generated solution of Robbins problem
• The Calabi-Yau landscape. From geometry, to physics, to machine learning
• The Construction of the wonderful Canon of Logarithms, translated by Macdonald.
• Towards combinatorial invariance for Kazhdan-Lusztig polynomials
• Turing's legacy. Developments from Turing's ideas in logic

Cited in

(5)

• Will machines change mathematics?
• Strange new universes: Proof assistants and synthetic foundations
• Will machines change mathematics?
• Large language models for mathematicians
• Embracing AI and formalization: experimenting with tomorrow's mathematical tools

This page was built for publication: Mathematical reasoning and the computer

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6536119)