A Moonshot for AI Oracles in the Sciences
Not on the map. Why?
Abstract (arXiv)
Nobel laureate Philip Anderson and Elihu Abrahams once stated that, "even if machines did contribute to normal science, we see no mechanism by which they could create a Kuhnian revolution and thereby establish a new physical law." In this Perspective, we draw upon insights from the philosophies of science and artificial intelligence (AI) to propose necessary conditions of precisely such a mechanism for generating revolutionary mathematical theories. Recent advancements in AI suggest that satisfying the proposed necessary conditions by machines may be plausible; thus, our proposed necessary conditions also define a moonshot challenge. We also propose a heuristic definition of the intelligibility of mathematical theories to accelerate the development of machine theorists.
Key facts. No citing papers in the map yet (data through 7 Oct 2026). Builds on 29 of its 115 references that are in the map. First posted on arXiv 25 Jun 2024.
Builds on
29 of 115 references.
References · 29
- 2016"Why Should I Trust You?": Explaining the Predictions of Any Classifiercited by 5,040
- 2020Learning to summarize from human feedbackcited by 2,562
- 2017Counterfactual Explanations without Opening the Black Box: Automated Decisions and the GDPRcited by 1,086
- 2022Galactica: A Large Language Model for Sciencecited by 736
- 2016The Mythos of Model Interpretabilitycited by 716
- 2019AI Feynman: a Physics-Inspired Method for Symbolic Regressioncited by 536
- 2019The Neuro-Symbolic Concept Learner: Interpreting Scenes, Words, and Sentences From Natural Supervisioncited by 369
- 2016European Union regulations on algorithmic decision-making and a "right to explanation"cited by 343
- 2023Mathematical Capabilities of ChatGPTcited by 263
- 2018Deep Learning: A Critical Appraisalcited by 214
- 2022Talking About Large Language Modelscited by 174
- 2019Explainable Machine Learning for Scientific Insights and Discoveriescited by 165
17 more
- 2022The Debate Over Understanding in AI's Large Language Modelscited by 142
- 2020Making deep neural networks right for the right scientific reasons by interacting with their explanationscited by 141
- 2022From Attribution Maps to Human-Understandable Explanations through Concept Relevance Propagationcited by 141
- 2020Interpretable Machine Learning -- A Brief History, State-of-the-Art and Challengescited by 120
- 2018Visual Analytics in Deep Learning: An Interrogative Survey for the Next Frontierscited by 117
- 2020Principles and Practice of Explainable Machine Learningcited by 99
- 2022On scientific understanding with artificial intelligencecited by 68
- 2023When Brain-inspired AI Meets AGIcited by 54
- 2021Why AI is Harder Than We Thinkcited by 40
- 2022Machine Learning Model Sizes and the Parameter Gapcited by 39
- 2021Symbolic Behaviour in Artificial Intelligencecited by 24
- 2019The Diversity-Innovation Paradox in Sciencecited by 21
- 2020Artificial Intelligence is stupid and causal reasoning won't fix itcited by 20
- 2021Bridging observation, theory and numerical simulation of the ocean using Machine Learningcited by 15
- 2017Learning Functional Causal Models with Generative Neural Networkscited by 14
- 2023Tree-Based Representation and Generation of Natural and Mathematical Languagecited by 12
- 2021Is the Number of Trainable Parameters All That Actually Matters?cited by 3
Built on by
Not cited yet.