Community Verified Projects News

2028

never

2029

2027

2034

2030

2035

2031

2032

2033

2026

Pi is Transcendental

The Independence of the Parallel Postulate

Pick's theorem

The Number of Platonic Solids

Irrationality of Apéry's constant

Kuratowski's theorem

Jordan–Brouwer separation theorem

The Four Color Theorem

15 and 290 Theorems

Fermat’s Last Theorem

There exists n such that the value of BusyBeaver(n) is undecidable in ZFC

Infinitude of prime pairs w/ gap ≤ 246

Goldbach's weak conjecture

Poincaré conjecture

Hodge conjecture

CFSG

Navier–Stokes existence and smoothness (unbounded) (positive)

YES

YES

YES

Above 0

Above 3

Above 6

Above 9