Beal's conjecture | Collatz problem | Erdős-Turán conjecture | Fermat's last theorem | strong Goldbach conjecture | Hodge conjecture | smooth solution to the Navier-Stokes equations problem | Poincaré conjecture | P vs. NP problem | Riemann hypothesis | Swinnerton-Dyer conjecture | Wolfram 2, 3 Turing machine research prize | Yang-Mills existence and mass gap problem (total: 13)
Beal's conjecture posits that if a^x + b^y = c^z, where a, b, c, x, y, and z are any positive integers with x, y, z>2, then a, b, and c have a common factor.
The Collatz problem is determination of if iterating the recurrence a_n = piecewise | a_(n - 1)/2 | a_(n - 1) congruent 0 (mod 2) 3a_(n - 1) + 1 | a_(n - 1) congruent 1 (mod 2) always returns to 1 for positive a_0.
The Erdős-Turán conjecture states that if the sum of reciprocals of a set of integers diverges, then that set contains arbitrarily long arithmetic progressions.
Fermat's last theorem states that no three positive integers a, b, and c can satisfy the equation a^n + b^n = c^n for any integer value of n greater than two.
The strong Goldbach conjecture posits that every even integer greater than two is the sum of two primes.
The Hodge conjecture posits that for particularly nice types of spaces called projective algebraic varieties, the pieces called Hodge cycles are actually rational linear combinations of geometric pieces called algebraic cycles.
The smooth solution to the Navier-Stokes equations problem asks if the Navier-Stokes equations on a 3-dimensional domain Ω in R^3 have a unique smooth solution for all time.
The Poincaré conjecture, now proved, posited that every simply connected closed three-manifold is homeomorphic to the three-sphere.
The P vs. NP problem asks for the determination of whether all NP-problems are actually P-problems.
The Riemann hypothesis posits that the nontrivial zeros of the Riemann zeta function ζ(s) all lie on the critical line Re(s) = 1/2.
| solution Wolfram 2, 3 Turing machine research prize | Yes.
The three-sphere is the only type of bounded three-dimensional space possible that contains no holes.
| formal statement Beal's conjecture | for all _({a, b, c, x, y, z}, a^x + b^y = c^z ∧ (a, b, c, x, y, z) element (Z^+)^6 ∧ (x|y|z)>2)gcd(a, b, c)>1 Fermat's last theorem | ¬exists_({a, b, c, n}, (a, b, c, n) element (Z^+)^4 ∧ n>2 ∧ abc!=0)a^n + b^n = c^n strong Goldbach conjecture | for all _(n, n element Z ∧ n>2)exists_({i, j}, (i, j) element (Z^+)^2)2n = p_i + p_j Riemann hypothesis | for all _(n, n element Z ∧ n!=0)Re(ρ_n) = 1/2
| formulation date | formulators | status Beal's conjecture | 1997 (28 years ago) | Andrew Beal | open Collatz problem | 1937 (88 years ago) | Lothar Collatz | open Erdős-Turán conjecture | 1936 (89 years ago) | Paul Erdős | Paul Turán | open Fermat's last theorem | 1637 (388 years ago) | Pierre de Fermat | proved strong Goldbach conjecture | | Leonhard Euler | open Hodge conjecture | 1950 (75 years ago) | William Vallance Douglas Hodge | open smooth solution to the Navier-Stokes equations problem | | | open Poincaré conjecture | 1904 (121 years ago) | Henri Poincaré | proved P vs. NP problem | | | open Riemann hypothesis | 1859 (166 years ago) | Bernhard Riemann | open Swinnerton-Dyer conjecture | 1960 (65 years ago) | Peter Swinnerton-Dyer | open Wolfram 2, 3 Turing machine research prize | 2002 (23 years ago) | Stephen Wolfram | proved Yang-Mills existence and mass gap problem | 1954 (71 years ago) | Chen Ning Yang | Robert L. Mills | open | proof date | provers Fermat's last theorem | 1995 (358 years later) (30 years ago) | Andrew Wiles Poincaré conjecture | 2003 (99 years later) (22 years ago) | Grigori Perelman Wolfram 2, 3 Turing machine research prize | Wednesday, October 24, 2007 | Alex Ian Smith | additional people involved Fermat's last theorem | Richard Taylor
a^x + b^y = c^z
a^n + b^n = c^n
2n = p_i + p_j
(du)/(dt) + u · del u = -( del P)/ρ + ν del ^2u
Re(ρ_n) = 1/2
Known to always reach 1 for n <= 19×2^58 ≈ 5.48×10^18.
Verified for all n < 4×10^18.
It has been verified that the first 1×10^13 nontrivial zeros of the zeta function lie on the critical line. Conrey (1989) proved that at least 40% of the nontrivial zeros of the zeta function lie on the critical line.
| prizes offered for solution | prizes awarded for solution Beal's conjecture | A cash prize of $1, 000, 000 has been offered by Andrew Beal for proof or a counterexample. | Collatz problem | Erdős offered a $500 reward for resolving the conjecture. | Thwaites (1996) offered a £1, 000 reward for its resolution. | Erdős-Turán conjecture | Erdős offered a $3, 000 prize for a proof. | The prize was increased to $5, 000 in 2008. | Fermat's last theorem | The Wolfskehl Prize of 100, 000 German marks was collected by Andrew Wiles after his successful proof of the theorem in the years 1993-1995. | In 1998, Andrew Wiles was awarded the first-ever International Mathematics Union silver plaque in recognition of his proof of Fermat's Last Theorem. strong Goldbach conjecture | Faber and Faber offered a $1, 000, 000 prize for a proof of the conjecture between March 20, 2000 and March 20, 2002, but the prize went unclaimed. | Hodge conjecture | $1 million "Millennium Prize Problem" of The Clay Mathematics Institute. | smooth solution to the Navier-Stokes equations problem | $1 million "Millennium Prize Problem" of The Clay Mathematics Institute. | Poincaré conjecture | $1 million "Millennium Prize Problem" of The Clay Mathematics Institute. (Refused by solver.) | Perelman shared the 2006 Fields Medal for his proof. (Refused by solver.) P vs. NP problem | $1 million "Millennium Prize Problem" of The Clay Mathematics Institute. | Riemann hypothesis | $1 million "Millennium Prize Problem" of The Clay Mathematics Institute. | Swinnerton-Dyer conjecture | $1 million "Millennium Prize Problem" of The Clay Mathematics Institute. | Wolfram 2, 3 Turing machine research prize | $25, 000 prize offered by Stephen Wolfram. | Prize offered by Stephen Wolfram claimed by solver. Yang-Mills existence and mass gap problem | $1 million "Millennium Prize Problem" of The Clay Mathematics Institute. |
