Buchumschlag

A Moonshot for AI Oracles in the Sciences

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Kaiser, Bryan, Wu, Tailin, Sonnewald, Maike, Thackray, Colin, Callis, Skylar
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Artificial Intelligence Computers and Society History and Overview Physics and Society
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Integrators at War: Mediating in AI-assisted Resort-to-Force Decisions
von: Müller, Dennis, et al.
Veröffentlicht: (2025)

Open Mathematical Tasks as a Didactic Response to Generative Artificial Intelligence in Post-AI Contexts
von: Serrano, Felix De la Cruz
Veröffentlicht: (2026)

Evaluating the Design Features of an Intelligent Tutoring System for Advanced Mathematics Learning
von: Fang, Ying, et al.
Veröffentlicht: (2024)

A Non-Expert's Introduction to Data Ethics for Mathematicians
von: Porter, Mason A.
Veröffentlicht: (2022)

Indicators of the human origin of numbers
von: Grigoriev, Vitaliy
Veröffentlicht: (2024)

The role of the mathematical sciences in supporting the COVID-19 response in Australia and New Zealand
von: McCaw, James M., et al.
Veröffentlicht: (2023)

Modeling Social Systems: Transparency, Reproducibility, and Responsibility
von: Aldana, Maximino, et al.
Veröffentlicht: (2025)

Waterproof Editor: an educational environment for proof assistants and programming languages
von: Otte, Pim, et al.
Veröffentlicht: (2026)

Development of the Measure of Assessment Self-Efficacy (MASE) for Quizzes and Exams
von: Riegel, Kaitlin, et al.
Veröffentlicht: (2025)

Mathematics: the Rise of the Machines
von: He, Yang-Hui
Veröffentlicht: (2025)

Democratizing Signal Processing and Machine Learning: Math Learning Equity for Elementary and Middle School Students
von: Vaswani, Namrata, et al.
Veröffentlicht: (2024)

Mathematicians in the age of AI
von: Avigad, Jeremy
Veröffentlicht: (2026)

Shaping the Future of Mathematics in the Age of AI
von: Commelin, Johan, et al.
Veröffentlicht: (2026)

Automated Mathematics and the Reconfiguration of Proof and Labor
von: Ochigame, Rodrigo
Veröffentlicht: (2023)

Testing GPT-4 with Wolfram Alpha and Code Interpreter plug-ins on math and science problems
von: Davis, Ernest, et al.
Veröffentlicht: (2023)

Apriori Knowledge in an Era of Computational Opacity: The Role of AI in Mathematical Discovery
von: Duede, Eamon, et al.
Veröffentlicht: (2024)

Can the current trends of AI handle a full course of mathematics?
von: Alsayyad, Mariam, et al.
Veröffentlicht: (2025)

A Triumvirate of AI Driven Theoretical Discovery
von: He, Yang-Hui
Veröffentlicht: (2024)

In between myth and reality: AI for math -- a case study in category theory
von: Diaconescu, Răzvan
Veröffentlicht: (2025)

Mathematical Definition and Systematization of Puzzle Rules
von: Maeda, Itsuki, et al.
Veröffentlicht: (2024)

Revisiting the Sleeping Beauty problem
von: Piva, Paulo S., et al.
Veröffentlicht: (2024)

From Good to Great: Improving Math Reasoning with Tool-Augmented Interleaf Prompting
von: Chen, Nuo, et al.
Veröffentlicht: (2023)

Discovering mathematical concepts through a multi-agent system
von: Aggarwal, Daattavya, et al.
Veröffentlicht: (2026)

Correctness, Artificial Intelligence, and the Epistemic Value of Mathematical Proof
von: Weatherall, James Owen, et al.
Veröffentlicht: (2026)

Is Mathematics Obsolete?
von: Avigad, Jeremy
Veröffentlicht: (2025)

On the mechanical creation of mathematical concepts
von: G, Asvin
Veröffentlicht: (2025)

The Evolution of Rough Sets 1970s-1981
von: Marek, Viktor, et al.
Veröffentlicht: (2025)

Using Large Language Models to Study Mathematical Practice
von: D'Alessandro, William
Veröffentlicht: (2025)

Mesoamerican proportional design and astronomical dualities: rational approximations consistent with $ϕ$ and $π$ in calendrics and architecture
von: Kruell, Gabriel K., et al.
Veröffentlicht: (2026)

Manifesto for the Responsible Development of Mathematical Works -- A Tool for Practitioners and for Management
von: Chiodo, Maurice, et al.
Veröffentlicht: (2023)

From Euler to AI: Unifying Formulas for Mathematical Constants
von: Raz, Tomer, et al.
Veröffentlicht: (2025)

Artificial Intelligence and the Structure of Mathematics
von: Barkeshli, Maissam, et al.
Veröffentlicht: (2026)

Solving Some Geometry Problems of the Náboj 2023 Contest with Automated Deduction in GeoGebra Discovery
von: Hota, Amela, et al.
Veröffentlicht: (2024)

Large Language Models for Mathematicians
von: Frieder, Simon, et al.
Veröffentlicht: (2023)

The Problem of Algorithmic Collisions: Mitigating Unforeseen Risks in a Connected World
von: Chiodo, Maurice, et al.
Veröffentlicht: (2025)

Fraudulent Publishing in the Mathematical Sciences
von: Agricola, Ilka, et al.
Veröffentlicht: (2025)

Formalising Human-in-the-Loop: Computational Reductions, Failure Modes, and Legal-Moral Responsibility
von: Chiodo, Maurice, et al.
Veröffentlicht: (2025)

Using mathematics to study how people influence each other's opinions
von: Li, Grace J., et al.
Veröffentlicht: (2023)

A dual concept of the angle in mathematics and practice
von: Karshenboim, Savely G.
Veröffentlicht: (2024)

Pascual Jordan's "Erweiterte Gravitationstheorie" - A Historical Analysis of its Mathematical Framework
von: Lessel, Bernadette
Veröffentlicht: (2025)