Mathematics
20 resources · page 1 of 1
American Mathematical Society: use of AI policy
Creator not supplied; see original source.
American Mathematical Society policy on use of artificial intelligence in its journal publications.
DeepSeek-Prover
Creator not supplied; see original source.
DeepSeek-Prover-V2 GitHub repo: Lean theorem proving models, ProverBench and download links.
Goedel-Prover
Creator not supplied; see original source.
Goedel-Prover-V2 GitHub repo: open-source language models for formal theorem proving in Lean.
Harmonic (Aristotle)
Creator not supplied; see original source.
Harmonic: company building Aristotle, an AI system for mathematical reasoning with formal proofs in Lean.
Lean theorem prover
Creator not supplied; see original source.
Lean language site: open-source programming language and proof assistant for writing machine-checked mathematical proofs.
Lean community (mathlib)
Creator not supplied; see original source.
Lean community site: Lean theorem prover, the mathlib library and documentation.
mathlib4
Creator not supplied; see original source.
mathlib4 GitHub repo: community mathematics library for Lean 4.
miniF2F
Creator not supplied; see original source.
miniF2F GitHub repo from OpenAI: formal olympiad-level mathematics benchmark across several proof assistants.
The Well (Polymathic AI)
Creator not supplied; see original source.
Polymathic AI's The Well: about 15 TB of physics simulation datasets for training and benchmarking ML surrogate models.
PutnamBench
Creator not supplied; see original source.
PutnamBench GitHub repo: Putnam competition problems formalised in Lean, Isabelle and Coq for evaluating theorem-proving systems.
AI achieves silver-medal standard solving International Mathematical Olympiad problems (Google DeepMind)
Creator not supplied; see original source.
Google DeepMind post on AlphaProof and AlphaGeometry 2 reaching silver-medal level at IMO 2024.
Mathematics for Machine Learning
Creator not supplied; see original source.
Mathematics for Machine Learning book site by Deisenroth, Faisal and Ong, with free PDF on linear algebra, calculus and probability.
MIT 18.06 Linear Algebra (Strang)
Creator not supplied; see original source.
MIT OpenCourseWare 18.06 Linear Algebra by Gilbert Strang, with video lectures, notes and problem sets.
AI achieves silver-medal standard solving International Mathematical Olympiad problems (AlphaProof)
Creator not supplied; see original source.
Google DeepMind post on AlphaProof and AlphaGeometry 2 solving International Mathematical Olympiad problems at silver-medal level.
Datawhale pumpkin-book 南瓜书
Creator not supplied; see original source.
Datawhale Pumpkin Book: Chinese companion with step-by-step derivations of the formulas in Zhou Zhihua's Machine Learning textbook.
Equational Theories Project (Tao et al.)
Creator not supplied; see original source.
Terence Tao's Equational Theories Project: crowdsourced and automated-prover mapping of implications between equational laws.
Mathlib overview
Creator not supplied; see original source.
Mathlib overview page mapping which areas of mathematics are formalised in the Lean mathlib library.
AlphaEvolve: A Gemini-powered coding agent for designing advanced algorithms
Creator not supplied; see original source.
Google DeepMind post on AlphaEvolve, a Gemini-based coding agent that evolves algorithms for maths and computing problems.
Olympiad-Level Formal Mathematical Reasoning with Reinforcement Learning (AlphaProof)
Creator not supplied; see original source.
Google Research publication on AlphaProof: olympiad-level formal mathematical reasoning with reinforcement learning.
MaxProof
Creator not supplied; see original source.
arXiv paper (2026) introducing MaxProof, generative-verifier RL and test-time scaling for mathematical proofs.