The Future of AI-assisted Physics: Discovering, Verifying and Organizing Results via Formalization
hep-ph, cs.AI, cs.LO, hep-th
Submitted: 2026-10-06
Updated: 2026-10-06
Code: https://github.com/ImperialCollegeLondon/FLT
Project page: https://leanprover-community.github.io
Sources
- Stability and Symmetry Breaking in the General Two-Higgs-Doublet Model
- Formalizing the stability of the two Higgs doublet model potential into Lean: identifying an error in the literature
- Dive into Claude Code: The Design Space of Today's and Future AI Agent Systems
- HepLean: Digitalising high energy physics
- A Formalization of the Generalized Quantum Stein's Lemma in Lean
- Formalization of QFT
- CSLib: The Lean Computer Science Library
- EconCSLib: AI-Assisted Lean Formalization for Economics & Computation research
- A Formally Verified Library of Mathematical Finance in Lean 4
- LeanBET: Formally-verified surface area calculations in Lean
- Lean4Lean: Verifying a Typechecker for Lean, in Lean
- Aristotle: IMO-level Automated Theorem Proving
- DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decomposition
- A Human Audit of OpenAIs AI-Generated Mathematical Proofs
- SorryDB: Can AI Provers Complete Real-World Lean Theorems?
- Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience
- Resolution of Erd\H{o}s Problem #728: a writeup of Aristotle's Lean proof
- Advancing Mathematics Research with AI-Driven Formal Proof Search
- Progress in Formalizing Sphere Packing in Dimension 8
- Semi-Autonomous Formalization of the Vlasov-Maxwell-Landau Equilibrium
Related papers
- Classification of g-modes for neutron stars with a strong transition: Novel universal relation including slow stable hybrid stars
- Higgsino Dark Matter Interpretation of the LUX-ZEPLIN 248 keV Nuclear-Recoil Event
- A Unified Bogoliubov Approach to Primordial Gravitational Waves: From Inflation to Reheating
- Probing Memory-Burdened Primordial Black Holes with High-Energy Neutrinos
- Enhanced Dark Matter Quantum Sensing via Phase-Space Geometric Interferometry
- Axions as Dark Matter, Dark Energy, and Dark Radiation