VibeMathedMath problems solved by AI
Sign in

Stats

Tracked problems
528

384 fully resolved

New entries this week
101

▼ 76% on last week

Lean-verified
25%

machine-checked proof

Oldest problem cracked
1929

Schiffer's Conjecture

Significance vs. age at resolution

AI-estimated problem weight before the solve, 0-100 (Riemann = 100). Hollow points are claimed solutions still under review. Click a point to open it.

020406080100Years open when resolved010203040506070Significance (0-100)Unit Distance Conj.Connes rigidityKLS for quadratic formsSchiffer's ConjectureCycle Double CoverSum-product conjectureSofic groups questionJacobian Conjecture

136 of 528 entries lack a posed year or a score, so aren't plotted.

Problems solved by AI system, over time

Cumulative count per system family; an entry counts toward every system named on it.

080160240320W29 '25W36W43W50W5 '26W12W19W26W32

Growth per AI-contribution tier

Cumulative resolved entries by how much the model contributed; 383 classified to date.

050100150200W29 '25W36W43W50W5 '26W12W19W26W32

Growth per resolution method

Cumulative resolved entries by the decisive step: a conceptual argument, an explicit object, or a finite computation.

060120180240W29 '25W36W43W50W5 '26W12W19W26W32

Entries per area

Every tracked entry, grouped by mathematical area.

Combinatorics134Number theory117Analysis56Geometry & topology55Algebra46Probability & statistics35Theoretical computer science28Algorithms & optimization24Quantum information & computing15Mathematical physics10Differential equations8

Problems over time

Cumulative count of all tracked entries, 528 to date, candidates and partial results included.

0135270405540W29 '25W36W43W50W5 '26W12W19W26W33

Proved vs. disproved

Across all 384 tracked resolutions.

  • Proved241(63%)
  • Disproved143(37%)

Closed vs. open source

Solves where an openly released (open-weights) model contributed, across all 384 entries.

  • Closed source382(99%)
  • Open source2(1%)