Large language models for mathematicians

MaRDI QIDQ6622601zbMATH OpenFDO

Authors Simon Frieder, Julius Berner, Philipp Petersen, Thomas Lukasiewicz

Publication date 22 October 2024

Published in Internationale Mathematische Nachrichten (Search for Journal in Brave)

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Artificial neural networks and deep learning (68T07) Methodology of mathematics (00A35) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Recommendations

• Strange new universes: Proof assistants and synthetic foundations
• Mathematical reasoning and the computer
• Towards the automatic mathematician
• Advancing mathematics by guiding human intuition with AI
• NLP and large-scale information retrieval on mathematical texts

Cited in

(4)

• Strange new universes: Proof assistants and synthetic foundations
• Generative AI and accuracy in the history of mathematics
• ChatGPT for computational topology
• Deep learning for K3 fibrations in heterotic/type IIA string duality

This page was built for publication: Large language models for mathematicians

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