Smale's problems are a list of eighteen unsolved problems in mathematics that was proposed by Steve Smale in 1998, republished in 1999. Smale composed this list in reply to a request from Vladimir Arnold, then president of the International Mathematical Union, who asked several mathematicians to propose a list of problems for the 21st century. Arnold's inspiration came from the list of Hilbert's problems that had been published at the beginning of the 20th century.
List of problems
|1||Riemann hypothesis (see also Hilbert's eighth problem)|
|2||Poincaré conjecture||Proved by Grigori Perelman in 2003 using Ricci flow.|
|3||Does P = NP?|
|4||Integer zeros of a polynomial of one variable|
|5||Height bounds for Diophantine curves|
|6||Finiteness of the number of relative equilibria in celestial mechanics||Proved for five bodies by A. Albouy and V. Kaloshin in 2012.|
|7||Distribution of points on the 2-sphere|
|8||Introduction of dynamics into economic theory|
|9||The linear programming problem: find a strongly-polynomial time algorithm which for given matrix A ∈ Rm×n and b ∈ Rm decides whether there exists x ∈ Rn with Ax ≥ b.|
|10||Pugh's closing lemma (higher order of smoothness)|
|11||Is one-dimensional dynamics generally hyperbolic?|
|12||Centralizers of diffeomorphisms||Solved in the C1 topology by C. Bonatti, S. Crovisier and Amie Wilkinson.|
|13||Hilbert's 16th problem|
|14||Lorenz attractor||Solved by Warwick Tucker using interval arithmetic.|
|15||Do the Navier–Stokes equations in R3 always have a unique smooth solution that extends for all time?|
|16||Jacobian conjecture (equivalently, Dixmier conjecture)|
|17||Solving polynomial equations in polynomial time in the average case||C. Beltrán and L. M. Pardo found a uniform probabilistic algorithm (average Las Vegas algorithm) for Smale's 17th problem. A deterministic algorithm for Smale's 17th problem has not been found yet, but a partial answer has been given by F. Cucker and P. Bürgisser who proceeded to the smoothed analysis of a probabilistic algorithm à la Beltrán-Pardo, and then exhibited a deterministic algorithm running in time .|
|18||Limits of intelligence|
- Steve Smale (1998). "Mathematical Problems for the Next Century". Mathematical Intelligencer 20 (2): 7–15.
- Steve Smale (1999). "Mathematical problems for the next century". In V. I. Arnold, M. Atiyah, P. Lax, B. Mazur. Mathematics: frontiers and perspectives. American Mathematical Society. pp. 271–294. ISBN 0821820702.
- Perelman, Grigori (2002). "The entropy formula for the Ricci flow and its geometric applications". arXiv:math.DG/0211159 [math.DG].
- Perelman, Grigori (2003). "Ricci flow with surgery on three-manifolds". arXiv:math.DG/0303109 [math.DG].
- Perelman, Grigori (2003). "Finite extinction time for the solutions to the Ricci flow on certain three-manifolds". arXiv:math.DG/0307245 [math.DG].
- A. Albouy, V. Kaloshin (2012). "Finiteness of central configurations of five bodies in the plane". Annals of Mathematics 176: 535–588.
- C. Bonatti, S. Crovisier, A. Wilkinson (2009). "The C1-generic diffeomorphism has trivial centralizer". Publications Mathématiques de l'IHÉS 109: 185–244.
- Warwick Tucker (2002). "A Rigorous ODE Solver and Smale's 14th Problem". Foundations of Computational Mathematics 2 (1): 53–117. doi:10.1007/s002080010018.
- Carlos Beltrán, Luis Miguel Pardo (2008). "On Smale's 17th Problem: A Probabilistic Positive answer". Foundations of Computational Mathematics 8 (1): 1–43. doi:10.1007/s10208-005-0211-0.
- Carlos Beltrán, Luis Miguel Pardo (2009). "Smale's 17th Problem: Average Polynomial Time to compute affine and projective solutions". Journal of the American Mathematical Society 22: 363–385.
- Felipe Cucker, Peter Bürgisser (2010). "Solving Polynomial Equations in Smoothed Polynomial Time and a Near Solution to Smale's 17th Problem". Proc. 42nd ACM Symposium on Theory of Computing. arXiv:0909.2114.