The Smale Problems on lista kahdeksastatoista ratkaisemattomasta matemaattisesta ongelmasta , jonka Stephen Smale ehdotti vuonna 2000 [1] . Smale kokosi listansa Vladimir Arnoldin pyynnöstä , joka toimi vuosina 1995–1998 Kansainvälisen matematiikan liiton varapuheenjohtajana . Tämän listan idean otti Vladimir Arnold Hilbertin ongelmaluettelosta .
Ei. | Sanamuoto | Kommentti |
---|---|---|
yksi | Riemmannin hypoteesi | |
2 | Poincaren olettamus | Todisti Grigory Perelman . |
3 | Luokkien P ja NP yhtäläisyys | |
neljä | Polynomien kokonaislukujuurien lukumäärän estimoiminen yhdessä muuttujassa | |
5 | Arvio polynomisten diofantiiniyhtälöiden ratkaisemisen laskennallisesta monimutkaisuudesta | |
6 | Suhteellisen tasapainon pisteiden lukumäärän äärellisyys taivaanmekaniikassa | A. Albouyn ja Vadim Kaloshinin viiden ruumiin erityistapauksessa vuonna 2012 [2] |
7 | Pisteiden jakautuminen pallolla | |
kahdeksan | Matemaattisen yleisen tasapainon teorian laajentaminen talousteoriaan | |
9 | Polynomialgoritmi lineaaristen epäyhtälisyysjärjestelmien hyväksyttävyyden määrittämiseksi | |
kymmenen | Pughin sulkemislemman yleistys suuremman sileyden tapauksessa | Todettu tietylle diffeomorfismiluokalle [3] |
yksitoista | Onko yksiulotteinen dynamiikka yleensä hyperbolista? | Ratkaistu todelliseen tapaukseen [4] |
12 | Diffeomorfismien keskittäjät | Christian Bonattin , Sylvain Crovisierin ja Amie Wilkinsonin ratkaisivat topologian vuonna 2008 [5] |
13 | Hilbertin kuudestoista ongelma | |
neljätoista | Lorentzin houkutin | Ratkaisi Warwick Tucker diskreetillä algebralla [6] . |
viisitoista | Navier-Stokes-yhtälöiden ratkaisujen olemassaolo ja sileys | |
16 | Jacobilainen ongelma | |
17 | Algebrallisten yhtälöjärjestelmien ratkaiseminen | Ratkaisivat osittain C. Beltran ja L. Miguel Pardo (katso BPP-luokka ) [7] , myöhemmin lopullisesti [8] |
kahdeksantoista | Tutkitaan tekoälyn ja ihmisälyn rajoja |