Resources
A curated list of tools, datasets, benchmarks, talks, workshops, and related efforts the AI4Theory network should keep on its radar.
Events & collaboration series
Aspen — AI for Physics
Jun 1-5, 2026. Workshop where the AI-for-physics challenge effort kicked off.
HAMLET-PHYSICS
annualAug 19-21, 2026. Workshop on machine learning for experimental and theoretical physics.
ML4PS
annualDec 6-12, 2026. NeurIPS workshop for machine learning across the physical sciences.
AI4Physics @ ICML 2026
annualJul 13-19, 2026. ICML workshop on AI methods for physics.
PAI26
annualJun 10-12, 2026. Stanford C4DU conference on physics and AI.
Physics of Learning
seriesSimons / Flatiron stream for physics, learning, computation, and theory.
IAIFI
seriesIAIFI-hosted AI + physics talks, workshops, and community events.
First Principles
seriesWebinar series on AI and fundamental science.
Benchmarks & results
DiscoverPhysics
researchTests open-ended scientific reasoning in physics. arXiv:2605.26087
First Proof
researchProof-based physics and math challenge set. arXiv:2602.05192
CritPt
researchResearch-level physics challenges from unpublished expert problems. arXiv:2509.26574
HiPhO
educationModels evaluated on recent high-school physics olympiad problems. arXiv:2509.07894
CMPhysBench
researchCondensed-matter physics evaluation for LLMs. arXiv:2508.18124
Large Physics Benchmark
researchCommunity benchmark framework for fundamental physics. arXiv:2507.21695
ABench-Physics
researchDynamic high-difficulty physics problems. arXiv:2507.04766
PhysUniBench
educationMultimodal undergraduate physics reasoning. arXiv:2506.17667
PHYBench
educationOriginal physics problems with expression-based scoring. arXiv:2504.16074
PHYSICS
educationUniversity-level physics problem solving for foundation models. arXiv:2503.21821
TPBench
researchHigh-energy theory and cosmology reasoning benchmark. arXiv:2502.15815
OlympiadBench
educationOlympiad-level multimodal math and physics benchmark. arXiv:2402.14008
Science tutors
educationEvaluation of language models as science tutors. arXiv:2402.11111
Projects & products
MCP.science
infrastructurePath Integral catalog of MCP servers for science.
AstroLLaMA-Chat
infrastructureUniverseTBD astronomy-focused chat model.
Get Physics Done
infrastructurePhysical Superintelligence agentic physics workspace.
PyTheus
infrastructureOpen-source discovery framework for quantum-optics experiments.
PaperView
infrastructureHEP-th literature explorer.
PhysLean
formalizationPhysics formalization project for Lean.
PhysLib
formalizationLean library project for formalized physics.
Aristotle
formalizationLean 4 theorem-proving system from Harmonic.
AXLE
formalizationReasoning software from Axiom Math.
Math Inc.
formalizationAutoformalization company behind Gauss and OpenGauss.
FrontierMath
dataEpoch AI benchmark program for advanced mathematical reasoning.
The Well
dataPolymathic AI / Flatiron physics-simulation datasets.
CAMELS
dataCosmology and astrophysics simulation suites for machine learning.
Organizations & Labs
IAIFI
academiaNSF AI institute for artificial intelligence and fundamental interactions.
Center for Decoding the Universe
academiaStanford center connecting AI, data science, and fundamental physics.
Physics of Learning
academiaResearch program on learning principles in physical systems.
Polymathic AI
non-profitScientific collaboration building foundation models for science.
Project Numina
non-profitOpen-source AI initiative for mathematics.
UniverseTBD
academiaOpen collaboration building AI tools and models for astronomy.
First Principles
non-profitNon-profit research organization building AI systems for fundamental science.
SAIR
non-profitNon-profit research organization for AI-assisted scientific discovery.
AI2
non-profitNon-profit AI institute behind Semantic Scholar and scientific AI work.
AI for Math Fund
non-profitRenaissance Philanthropy grant program for open AI-for-math infrastructure.
Harmonic
industryAI-for-mathematics company.
Math Inc.
industryAI-for-mathematics company focused on autoformalization.
Axiom Math
industryAI-for-mathematics company.
Path Integral
industryAI scientist platform behind MCP.science and related tools.
Physical Superintelligence
industryAI-for-physics company building agentic research systems.
Genesis
governmentDOE-led national platform for AI-accelerated science.
expMath
governmentDARPA program on AI and automated reasoning for mathematical discovery.