AI vyřešila matematickou záhadu za 88 hodin. Lidé si s ní lámali hlavu 90 let
Umělá inteligence se pustila do jednoho z nejslavnějších nevyřešených problémů matematiky. OpenAI tvrdí, že její systém našel řešení Navierových–Stokesových rovnic a důkaz následně formalizoval a ověřil v systému Lean. Na problému pracovalo kolem 10 tisíc AI agentů a k výsledku měly dospět za zhruba 88 hodin. Lidé to přitom nedokázali za posledních 90 let.
https://www.novinky.cz/clanek/internet-a-pc-ai-ai-vyresila-matematickou-zahadu-za-88-hodin-lide-si-s-ni-lamali-hlavu-90-let-40596768
Poprvé viděn 09.09.2026 18:27 · naposledy 09.09.2026 19:57
Text článku aktuální verze · 09.09.2026 18:29 · 648 slov
Plný text článku najdete u zdroje: Originál u zdroje — otevřít →. My u článku evidujeme jen metadata, pozice na titulních stranách a změny obsahu v čase.
Pozice na titulní straně v čase
Výdrž a pozice
| sekce | výskytů | výdrž | nej. poz. | prům. poz. | lead |
|---|---|---|---|---|---|
| Titulní strana | 15 | 1.5 h | 39 | 40.3 | – |
Historie verzí obsahu 1
09.09.2026 18:29
648 slov · hash
6d89e49ca673
· upraveno 09.09.2026 09:00
první verze