Kanban Component

Interactive demos for Kanban component capabilitites, the order isn't persisted on the database due the overhead needed to setup real db for a demo, but in the guide there is the full guide with backend

Conjectures

Unproven mathematical statements
5
1742
Goldbach's Conjecture
Every even integer greater than 2 is the sum of two primes.
1
1
1859
Riemann Hypothesis
All non-trivial zeros lie on the critical line.
1
1904
Navier-Stokes Existence and Smoothness
Existence and smoothness of solutions to Navier-Stokes equations in 3D.
1950
Hodge Conjecture
Certain classes in cohomology of projective varieties are algebraic.
1960
Birch and Swinnerton-Dyer Conjecture
Relates rational points on elliptic curves to behavior of L-series at s=1.

Under Review

Claims with partial proofs or verification
3
2013
Twin Prime Conjecture
Infinitely many primes differ by 2.
Verification progress 85%
1
1985
abc Conjecture
For any ε > 0, finitely many triples a, b, c satisfy a + b = c and c > rad(abc)^{1+ε}.
Verification progress 60%
1
1937
Collatz Conjecture
Iterating n → n/2 if even, or 3n+1 if odd, eventually reaches 1.
Verification progress 92%
1

Proven Theorems

Peer-reviewed and accepted results
4
1976
Four Color Theorem
Any planar map needs at most four colors.
1
1
1904
Poincaré Conjecture
Every simply connected, closed 3-manifold is homeomorphic to the 3-sphere.
1
1637
Fermat's Last Theorem
No three positive integers a, b, c satisfy aⁿ + bⁿ = cⁿ for n > 2.
1
1742
Goldbach Weak Conjecture
Every odd number > 5 can be expressed as sum of three primes.
1