ProvedAI × Math
Erdős Problem #1196
PE
AS
WatchNumber Theory
abc Secret Verification Project
SM
FK
AwardNumber Theory
Faltings Abel Prize 2026
GF
PV
ProvedAnalysis
Kakeya Conjecture (2D)
SK
AB
ProvedAnalysis
Kakeya Conjecture (3D)
JZ
ProvedCombinatorics
Four Color Theorem
KA
WH
ProvedGeometry
Kepler Conjecture
JK
TC
PartialComputer Science
Traveling Salesman Problem
MF
RK
ResolvedGeometry
Aperiodic Monotile Problem
DS
JM
OpenAnalysis
Mandelbrot Local Connectivity
BM
AD
OpenGeometry
Square Peg Problem
OT
JE
PartialCombinatorics
Hadwiger-Nelson Problem
HH
EN
ResolvedAnalysis
Plateau's Problem
JP
JD
PartialGeometry
Kissing Number Problem
IN
DG
PartialComputer Science
Steiner Tree Problem
JS
EG
ProvedGeometry
Isoperimetric Problem
D
JS
ProvedGeometry
Honeycomb Conjecture
TH
LF
ProvedTopology
Brouwer Fixed Point Theorem
LE
JH
ProvedTopology
Borsuk–Ulam Theorem
KB
SU
ProvedGeometry
Ham Sandwich Theorem
AH
JW
ProvedTopology
Hairy Ball Theorem
HP
LE
OpenNumber Theory
Gauss Circle Problem
CF
GH
WatchGeometry
Moving Sofa Problem
LM
JG
OpenGeometry
Moser's Worm Problem
LM
RN
OpenGeometry
Lebesgue's Universal Cover
HL
GP
OpenGeometry
Illumination Problem
HH
VB
ProvedAlgebra
Geometric Langlands Conjecture
SR
ResolvedMath Physics
Hilbert's Sixth Problem
YD
ZH
DisprovedAnalysis
Mizohata-Takeuchi Conjecture
HC
SM
DisprovedGeometry
The Noperthedron
JS
SY
ResolvedAI × Math
AlphaEvolve × Strassen
AN
MB
OpenNumber Theory
Riemann Hypothesis
BR
JH
OpenComputer Science
P vs NP
SC
LL
OpenAnalysis
Navier-Stokes Existence and Smoothness
CF
JL
OpenGeometry
Hodge Conjecture
WV
PD
OpenNumber Theory
Birch and Swinnerton-Dyer Conjecture
BB
PS
OpenMath Physics
Yang-Mills Existence and Mass Gap
AJ
EW
OpenNumber Theory
Collatz Conjecture
LC
TT
OpenNumber Theory
Goldbach's Conjecture
CG
HH
PartialNumber Theory
Twin Prime Conjecture
YZ
JM
OpenNumber Theory
abc Conjecture
JO
DM
ResolvedLogic
Continuum Hypothesis
GC
KG
ProvedTopology
Poincaré Conjecture
HP
GP