
OpenAI tvrdí, že vyřešila jeden z nejtěžších problémů matematiky
OpenAI ohlásila průlom v matematice: její AI agenti údajně vyřešili Navierovy–Stokesovy rovnice. Úspěch doprovází spor o autorství s vědci z Anthropicu a čekání na potvrzení od matematické komunity.
Průlom v matematice: Umělá inteligence od OpenAI údajně vyřešila Navierovy–Stokesovy rovnice
Společnost OpenAI zveřejnila důkaz, který má ambici uzavřít jednu z největších kapitol moderní matematiky. Podle oficiálního prohlášení firmy nalezl jejich interní systém řešení problému existence a hladkosti Navierových–Stokesových rovnic. Tento rébus patří mezi sedm tzv. Millennium Prize Problems, za jejichž vyřešení vypsal Clayův matematický institut odměnu jeden milion dolarů.
Navierovy–Stokesovy rovnice jsou klíčové pro naše pochopení fyzikálního světa. Popisují proudění kapalin a plynů a tvoří základ pro:
- předpovídání a modelování počasí,
- výpočty aerodynamiky letadel a automobilů,
- studium proudění krve v lidském těle,
- analýzu oceánských proudů.
Technologické pozadí: 10 000 agentů v akci
OpenAI tvrdí, že její systém prokázal možnost vzniku singularity v konečném čase. Jde o situaci, kdy matematický model přestává být hladký a rychlost v určité oblasti roste bez jakéhokoli omezení. Rozsah operace, která k tomuto zjištění vedla, je v dějinách výpočetní techniky bezprecedentní.
K vyřešení problému bylo využito přibližně 10 000 koordinovaných AI agentů. Celý proces trval zhruba 88 hodin čistého času, přičemž dalších 17 hodin zabrala následná formalizace a kontrola důkazu pomocí modelu GPT-6 Astra a systému Lean. Celková spotřeba činila přibližně 130 miliard výstupních tokenů.
Kontroverze a spor s výzkumníky z Anthropic
Místo jednoznačných oslav se však kolem objevu strhla vlna kontroverzí a sporů o prvenství. Do hry vstoupil profesor New York University Tristan Buckmaster, který na souvisejícím výzkumu pracoval společně s Leventem Alpögem, matematikem působícím v konkurenční společnosti Anthropic.
Dvojice se dlouhodobě zabývala Eulerovými rovnicemi a Buckmaster se domnívá, že jejich přístup mohl položit základy právě pro vyřešení Navierových–Stokesových rovnic. Buckmaster otevřeně naznačil, že OpenAI mohla svůj projekt urychlit poté, co získala indicie o jejich postupu, a upozornil na fakt, že při své práci používali nástroj Codex od OpenAI.
Reakce OpenAI a Sama Altmana
Vedení OpenAI obvinění z nekalého postupu odmítá. Společnost potvrdila, že experiment spustila 1. září poté, co se objevily zprávy o možném průlomu u dvou Millennium Prize Problems, ale popírá, že by výzkumníci měli přístup k neveřejné práci Buckmastera a Alpögeho.
„Obvinění z plagiátorství jsou nepodložená. OpenAI se od počátku snažila o koordinované a transparentní zveřejnění výsledků,“ uvedl Sam Altman v reakci na napjatou situaci.
Spor vygradoval i na osobní úrovni. Buckmaster tvrdí, že Sébastien Bubeck z OpenAI navrhoval vynechat Alpögeho z oficiálního uznání zásluh, což Bubeck popírá. OpenAI zároveň připustila, že anonymizovaná data z používání jejích produktů mohla v minulosti nevědomky přispět ke zlepšování modelů, což otevírá širší diskusi o etice trénování AI na datech vědeckých pracovníků.
Co bude následovat?
Přestože OpenAI ohlásila historický úspěch, cesta k jeho definitivnímu uznání bude dlouhá. Matematická komunita je k důkazům generovaným umělou inteligencí obezřetná.
Clay Mathematics Institute má pro uznání řešení přísná pravidla: důkaz musí být publikován v kvalifikovaném odborném časopise a musí uplynout nejméně dva roky, během nichž je řešení podrobeno kritice a všeobecnému přijetí komunitou.
OpenAI na závěr dodala, že o finanční odměnu ve výši 1 milionu USD usilovat nebude, čímž chce zřejmě podtrhnout svůj zájem o vědecký pokrok spíše než o komerční zisk z tohoto konkrétního objevu.
Časté dotazy
Co jsou to Navierovy–Stokesovy rovnice?▼
Jak OpenAI k důkazu dospěla?▼
Je již problém oficiálně vyřešen?▼
Ke kryptoměnám jsem se dostal na konci roku 2020 a rychle jsem překonvertoval k bitcoin maximalismu. Zajímám se o dění na finančních trzích, ve volném čase cestuji po jihovýchodní asii. V kryptomagazinu mám na starosti novinky a videoobsah.