v1.0 — A publication-grade map of 112 open problems in physics, built for the same game that recent AI–math papers just won: close open claims with checkable artifacts.
https://zozo123.github.io/open-physics-problems/
UI system: ui-ux-pro-max design tokens in design-system/open-physics-problems/MASTER.md (Modern Dark cinema + data-dense dashboard).
Recent work didn’t “discuss” open math — it closed items on public lists with verified proofs:
| Publication | What closed |
|---|---|
| AlphaProof + AlphaGeometry (IMO 2024; Nature 2025) | 4/6 IMO problems at silver-medal level — formal Lean proofs |
| AlphaProof Nexus (arXiv:2605.22763, May 2026) | 9/353 open Erdős problems (incl. ~56-year opens); 44/492 OEIS conjectures; plus research deploys (Hilbert functions, optimization, Green’s list, quantum optics) |
Recipe those papers share:
open-problem catalog → formal/checkable claim → agentic search → verified artifact → public log
This repo is that recipe for physics: Wikipedia/Baez/Strings/Clay-class opens → success criteria + cultures → sprint protocol → ledger.
Deep dive: maps/recent-ai-math-publications.md
| Math (those papers) | Physics (this project) |
|---|---|
| Erdős / OEIS / Formal Conjectures lists | data/problems.json (112 problems) |
Lean statement + sorry |
Pre-registered criterion + weak/strong win |
| Agent + Lean kernel | Agent + proof or public data pipeline or experiment |
| erdosproblems / Tao wiki log | Sprint issues + sprints/LEDGER.md |
| Not every problem falls | not-agentic / discovery / foundations tags |
Physics lists are usually prestige museums. This is a race track + courthouse: what can be published and checked — including by multi-agent harnesses — without fake trophies on dark matter or TOE.
| Axis | Breakdown |
|---|---|
| Problems | 112 open + 11 recently-solved contrast |
| Cultures | open-math-like 10 · polymath-data 21 · program 52 · discovery 18 · foundations 11 |
| 10-day agentic | sprint 13 · stretch 15 · multi-sprint 48 · not-agentic 36 |
| Refutability | formal 10 · hard 21 · soft 52 · gated 18 · underdetermined 11 |
needs new experiment / facility
▲
dark matter · proton decay · SUSY · fusion
│
formal ◄────────────────────┼────────────────────► foundations
math │
Yang–Mills · Navier–Stokes │ QM interpretation · arrow of time
confinement · high-Tc │
▼
closable from theory / existing data
git clone https://github.com/zozo123/open-physics-problems.git
cd open-physics-problems
make build # validate + regenerate all derived files
make serve # site at http://localhost:8000| Path | What |
|---|---|
data/problems.json |
Source of truth |
data/schema.md |
Field reference |
sprints/PROTOCOL.md |
How to run/close a sprint |
sprints/BOARD.md |
Sprint + stretch cards |
sprints/LEDGER.md |
Closed / notable runs |
maps/recent-ai-math-publications.md |
AlphaProof / Nexus / Erdős motivation |
maps/by-field.md |
Field / cluster split (13 fields × subfields) |
maps/fields/ |
One page per field |
maps/open-math-to-physics.md |
Culture manifesto |
maps/epistemology-full.md |
All 112 × epistemology |
problems/INDEX.md |
Markdown index by field |
pre-register issue → run harness → public artifact → kill-check
→ PR updates status + LEDGER → board moves
- Pick a card (prefer
sprint/polymath-data/open-math-like) - Open Sprint registration issue (template)
- Ship code/proof/notebook that meets the criterion
- Open Claim closure + PR
See sprints/PROTOCOL.md.
- Chat confidence without artifact
- Fabricated experiments
- TOE / full QG / Clay prizes claimed without community-grade proof
- Unique QM interpretation by rhetoric
data/problems.json # source of truth
data/problems.csv # flat export
data/stats.json # counts
data/schema.md
docs/ # GitHub Pages site
problems/ # per-field markdown
maps/ # landscape, AI, epistemology, sources
sprints/ # protocol, board, ledger
scripts/validate.py
scripts/generate.py
Makefile
Wikipedia unsolved physics · Baez FAQ · Strings 2000 · Clay Millennium · Ginzburg themes · Snowmass-era frontiers
Full graph: SOURCES.md · TAXONOMY.md
@misc{openphysicsproblemsmap2026,
title = {Open Physics Problems Map},
year = {2026},
version = {1.0.0},
url = {https://github.com/zozo123/open-physics-problems},
note = {Publication-grade catalog of open problems in physics with agentic sprint protocol}
}Catalog text and structure: CC BY 4.0.
Problem statements are paraphrases of public scientific lists; quote primary literature for authoritative wording.