Smale Problems je seznam osmnácti nevyřešených matematických problémů navržených Stephenem Smalem v roce 2000 [1] . Smale sestavil svůj seznam na žádost Vladimira Arnolda , který sloužil v letech 1995–1998 jako viceprezident Mezinárodní matematické unie . Nápad na tento seznam převzal Vladimir Arnold z Hilbertova seznamu problémů .
Ne. | Formulace | Komentář |
---|---|---|
jeden | Riemannova hypotéza | |
2 | Poincareho domněnka | Prokázal Grigory Perelman . |
3 | Rovnost tříd P a NP | |
čtyři | Odhad počtu celých kořenů polynomů v jedné proměnné | |
5 | Odhad výpočetní náročnosti řešení polynomických diofantických rovnic | |
6 | Konečnost počtu bodů relativní rovnováhy v nebeské mechanice | Prokázáno na konkrétním případu pěti těl A. Albouyem a Vadimem Kaloshinem v roce 2012 [2] |
7 | Rozložení bodů na kouli | |
osm | Rozšíření matematické teorie obecné rovnováhy na ekonomickou teorii | |
9 | Polynomiální algoritmus pro stanovení přípustnosti soustav lineárních nerovnic | |
deset | Zobecnění Pughova uzávěrového lemmatu pro případ větší hladkosti | Dokázáno pro určitou třídu difeomorfismů [3] |
jedenáct | Je jednorozměrná dynamika obecně hyperbolická? | Vyřešeno pro skutečný případ [4] |
12 | Centralizátory difeomorfismů | Pro -topologii vyřešili Christian Bonatti , Sylvain Crovisier a Amie Wilkinson v roce 2008 [5] |
13 | Hilbertův šestnáctý problém | |
čtrnáct | Lorentzův atraktor | Vyřešil Warwick Tucker pomocí diskrétní algebry [6] . |
patnáct | Existence a hladkost řešení Navier-Stokesových rovnic | |
16 | Jakobiánský problém | |
17 | Řešení soustav algebraických rovnic | Částečně vyřešeno C. Beltranem a L. Miguelem Pardem (viz třída BPP ) [7] , později konečně vyřešeno [8] |
osmnáct | Zkoumání limitů umělé a lidské inteligence |