Skip to content

Repository files navigation

Open Physics Problems Map

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.

Live board

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).

License: CC BY 4.0 Version


Why this exists (the last few publications)

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.


Snapshot (v1.0)

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

Quick start

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

How a “solve” works here

pre-register issue → run harness → public artifact → kill-check
       → PR updates status + LEDGER → board moves
  1. Pick a card (prefer sprint / polymath-data / open-math-like)
  2. Open Sprint registration issue (template)
  3. Ship code/proof/notebook that meets the criterion
  4. Open Claim closure + PR

See sprints/PROTOCOL.md.

What never counts

  • Chat confidence without artifact
  • Fabricated experiments
  • TOE / full QG / Clay prizes claimed without community-grade proof
  • Unique QM interpretation by rhetoric

Repository layout

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

Sources

Wikipedia unsolved physics · Baez FAQ · Strings 2000 · Clay Millennium · Ginzburg themes · Snowmass-era frontiers

Full graph: SOURCES.md · TAXONOMY.md


Citation

@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}
}

License

Catalog text and structure: CC BY 4.0.
Problem statements are paraphrases of public scientific lists; quote primary literature for authoritative wording.

About

v1.0 — Publication-grade map of 112 open physics problems: open-math culture, agentic sprints, epistemology. Live board on GitHub Pages.

Topics

Resources

Contributing

Stars

1 star

Watchers

0 watching

Forks

Releases

Packages

Contributors

Languages