SU\G(𝔾)/K·U

Mathematical reasoning and the computer

Authors

Kevin Buzzard
Type: Article
Publication Date: 2024-02-15
Citations: 1
DOI: https://doi.org/10.1090/bull/1833

Abstract

Computers have already changed the way that humans do mathematics: they enable us to compute efficiently. But will they soon be helping us to <italic>reason</italic>? And will they one day start reasoning themselves? We give an overview of recent developments in neural networks, computer theorem provers, and large language models.

Topics

Locations

  • Bulletin of the American Mathematical Society
    View PDF

Ask a Question About This Paper

Summary

Login to see paper summary

Similar Works

Action Title Date Authors
+ PDF Ask
Mathematical reasoning and the computer 2025-02-11 Kevin Buzzard
+ PDF Ask
Theorem proving in artificial neural networks: new frontiers in mathematical AI 2024-01-20 Markus Pantsar
+ PDF Ask
Distilling mathematical reasoning capabilities into Small Language Models 2024-08-02 Xunyu Zhu Jian Li Yong Liu Can Ma Weiping Wang
+
Mathematical Logic and Inference 2011-06-09
+ PDF Ask
Formal Mathematical Reasoning: A New Frontier in AI 2024-12-20 Kaiyu Yang Gabriel Poesia Jingxuan He Wenda Li Kristin Lauter Swarat Chaudhuri Dawn Song
+ PDF Ask
Language Modeling for Formal Mathematics 2020-06-08 Markus N. Rabe Dennis Lee Kshitij Bansal Christian Szegedy
+
Mathematical logic and the nature of reasoning 1957-01-01 Paul W. Dale
+ PDF Ask
A Survey of Deep Learning for Mathematical Reasoning 2023-01-01 Pan Lu Liang Qiu Wenhao Yu Sean Welleck Kai-Wei Chang
+ PDF Ask
A Survey of Deep Learning for Mathematical Reasoning 2022-01-01 Pan Lu Liang Qiu Wenhao Yu Sean Welleck Kai-Wei Chang
+ PDF Ask
Distilling Mathematical Reasoning Capabilities into Small Language Models 2024-01-01 Xunyu Zhu Jian Li Yong Liu Can Ma Weiping Wang
+
Mathematical Logic and Natural Language: Life at the border 2003-01-01 Benedikt Löwe Thoralf Rasch Malzkorn
+
Mathematical Logic. 1957-12-01 J. B. Giever R. L. Goodstein
+
Mathematical Logic. 1968-11-01 G. Kreisel J. R. Shoenfield
+
Mathematical Logic. 1940-11-07 E. N. W. V. Quine
+
A SURVEY OF MATHEMATICAL LOGIC 1963-01-01
+ PDF Ask
Machine Learning and Information Theory Concepts towards an AI Mathematician 2024-05-15 Yoshua Bengio Nikolay Malkin
+ PDF Ask
NaturalProver: Grounded Mathematical Proof Generation with Language Models 2022-01-01 Sean Welleck Jiacheng Liu Ximing Lu Hannaneh Hajishirzi Yejin Choi
+ PDF Ask
Neural Logic Machines 2019-01-01 Honghua Dong Jiayuan Mao Lin Tian Chong Wang Lihong Li Denny Zhou
+ PDF Ask
Neural Logic Machines 2019-04-26 Honghua Dong Jiayuan Mao Tian Lin Chong Wang Lihong Li Denny Zhou
+
Neural Logic Machines 2019-01-01 Honghua Dong Jiayuan Mao Tian Lin Chong Wang Lihong Li Denny Zhou

Cited by (0)

Action Title Date Authors

Citing (11)

Action Title Date Authors
+ PDF Ask
Bruck Loops with Abelian Inner Mapping Groups 2012-07-01 J. D. Phillips David StanovskĂœ
+ PDF Ask
Essai sur la Théorie des Nombres 2009-07-20 Adrien Marie Legendre
+ PDF Ask
A proof of the Kepler conjecture 2005-11-01 Thomas Hales
+ PDF Ask
Mathematics in the age of the Turing machine 2014-05-01 Thomas Hales
+ PDF Ask
On large subsets of $\mathbb{F}_q^n$ with no three-term arithmetic progression 2016-12-02 Jordan S. Ellenberg Dion Gijswijt
+ PDF Ask
Formalizing the solution to the cap set problem 2019-07-02 Sander R. Dahmen Johannes Hölzl Robert Y. Lewis
+ PDF Ask
A counterexample to the unit conjecture for group rings 2021-11-01 G. E. Gardam
+ PDF Ask
Towards combinatorial invariance for Kazhdan-Lusztig polynomials 2022-11-16 Charles Blundell Lars Buesing Alex Davies Petar Veličković Geordie Williamson
+
The Calabi–Yau Landscape 2021-01-01 Yang‐Hui He
+ PDF Ask
Machine Learning Meets Number Theory: The Data Science of Birch–Swinnerton-Dyer 2023-06-26 Laura Alessandretti Andrea Baronchelli Yang‐Hui He
+ PDF Ask
Abstraction boundaries and spec driven development in pure mathematics 2024-02-15 Johan Commelin Adam Topaz