Problémy, které Astra pomohla vyřešit, nezaznamenaly „žádný pokrok ve svých hlavních výsledcích po dobu nejméně deseti let a ve většině případů mnohem déle,“ napsal OpenAI. Výsledky zahrnují oblasti zahrnující vysokorozměrnou geometrii, teorii kódování, složitost aritmetických obvodů, teorii grup, kvantovou složitost, mřížkovou kryptografii a extrémní kombinatoriku – území, kde se pokrok běžně měří na roky, neprobíhá jediný výzkum.
Ověřené důkazy, nejen odpovědi
To, co odděluje výstup Astry od chatbota, který hádá v matematice, je ověření. OpenAI uvedla, že lidští výzkumníci použili stejný model k přípravě argumentů jako rukopisů a Astra poté formalizovala každý argument jako Lean certifikát. Lean je open-source důkazní asistent, který dokáže strojově kontrolovat matematické argumenty, což znamená, že ostatní matematici nemusí brát výsledky s důvěrou – mohou být nezávisle ověřeny softwarem během několika sekund.
Na tom rozlišení záleží. Jazykový model může vytvořit věrohodně vypadající důkaz, který obsahuje jemnou, fatální chybu. Přeložením každého argumentu do Lean převedl OpenAI marketingové tvrzení na zaškrtnutelný artefakt. Podle BleepingComputer, který uvedl podrobnosti, mezi konkrétní pokroky patří důkaz o existenci nesofických skupin, který řeší hlavní otevřenou otázku v teorii grup; vyvrácení Connesovy domněnky o rigiditě; nové hranice pro balení vysokorozměrných koulí; a výsledky řešící několik problémů původně položených plodným matematikem Paulem Erdősem.
OpenAI poznamenala, že celkový počet tokenů potřebných k nalezení těchto řešení by při současných sazbách API stál zhruba 2 000 $ – pozoruhodný datový bod o výpočetní stopě moderního matematického objevu a takový, který umisťuje hraniční výzkum do dosahu dobře financovaných akademických týmů spíše než jen samotných laboratoří.
Reagují matematici
Thomas Bloom, matematik na univerzitě v Manchesteru, který provozuje referenční stránku Erdős-problems.com, nazval výsledky na X „velkou novinkou“ podle The Decoder. Hodnotil je jako významnější než protipříklad k domněnce o jednotkové vzdálenosti zveřejněné v květnu. "Možná ne větší, než by byl důkaz jednotkové vzdálenosti, ale z hlediska konstrukcí je to velké," napsal Bloom.Bloom také odmítl představu, že umělá inteligence nahrazuje matematiky, a tvrdí, že toto tvrzení nedává smysl, když systém čerpá z více než stoleté teorie, byl postaven matematiky a byl vyškolen na všem, co matematici kdy napsali.
Noam Brown, výzkumník stojící za testovací technologií, na kterou Astra spoléhá, byl odměřenější. "Bohužel, žádné problémy s cenou tisíciletí (zatím)," napsal na X s odkazem na sedm slavných problémů, za které Clay Mathematics Institute nabízí každý 1 milion dolarů - od vyhlášení cen v roce 2000 byl vyřešen pouze jeden.Ne na všechny to udělalo dojem. Kritik umělé inteligence Gary Marcus nazval tento model „úžasným – ale značně přeprodaným“ v příspěvku Substack, což je známá linie skepticismu, kdykoli si hraniční laboratoř nárokuje milník. Napětí mezi skutečným technickým úspěchem a propagačním rámcem pravděpodobně určí, jak je Astra přijímána.
Nová modelová rodina pro dlouhé úkoly
The Information nezávisle potvrdily, že Astra je nová modelová řada vytvořená pro dlouhodobé pracovní zatížení. OpenAI jej popisuje jako systém, který umožňuje více agentům umělé inteligence spolupracovat na různých částech většího problému – návrh zaměřený přímo na úkoly, které trvají hodiny nebo dny spíše než sekundy, jako je dokazování teorému nebo refaktorování rozsáhlé kódové základny.
BleepingComputer oznámil, že OpenAI se nerozhodlo, zda bude model dodáván jako GPT-5.7, GPT-6 nebo pod jiným názvem. Generální ředitel Sam Altman již představil Astru ve Washingtonu, D.C., uvedl The Decoder, což signalizuje, že společnost považuje systém za dostatečně vyzrálý na to, aby jej postavil před politiky.
Překážka vládní kontroly
Snad nejdůležitějším detailem je předpis. Podle The Decoder bude Astra mezi prvními modely, které projdou plánovaným procesem kontroly vládou USA, který před veřejným uvedením vyžaduje oficiální schválení. To přidává vrstvu politické nejistoty k časové ose spuštění, které dřívější vlajkové modely nikdy nečelily – a zvyšuje sázku na to, jak OpenAI charakterizuje schopnosti Astry.
Debut také přichází uprostřed divokého závodu v otevřené váze. O několik dní dříve společnost Thinking Machines Lab vydala svůj model Inkling-Small s otevřenou váhou a čínské laboratoře nadále prosazují hraniční systémy s otevřenou váhou. Astra signalizuje sázku OpenAI, že proprietární, rozsáhlé uvažování – ověřené nástroji jako Lean – zůstává cestou k největším průlomům.
Astra zatím zůstává nevydaná. Jeho matematický debut však již přeformuloval rozhovor o tom, čím mohou hraniční systémy umělé inteligence přispět k čisté vědě a jak pečlivě by měla veřejnost zkoumat tvrzení, která je doprovázejí.
Udržujte si náskok před AI
Chcete držet krok s vývojem, jako je Astra a širší hraniční závod modelů? Uložte si naše centrum do záložek pro [nejnovější vývoj AI] (https://aibuzzwire.news).
Přečtěte si další zprávy o AI →
