Newsletter Subscribe
Enter your email address below and subscribe to our newsletter
[forminator_form id="25163"]

openai+1scientificamericanscientificamericanDalší významný AI model společnosti OpenAI, interně označovaný jako Astra, vyřešil 10 dlouho otevřených problémů v matematice a teoretické informatice, oznámení však zastínila obvinění z vědeckého pochybení ze strany matematiků, podle nichž společnost neuvedla zásluhy předchozích autorů.
Společnost OpenAI zveřejnila 31. července na svém blogu příspěvek, v němž podrobně popsala výsledky „interní verze našeho příštího významného modelu Astra“. Tvrdí v něm, že dosáhla pokroku v oborech, jako je vícerozměrné uspořádání koulí, kvantová teorie her, teorie grup a extremální kombinatorika. Společnost uvedla, že celkové náklady na tokeny pro vygenerování matematických argumentů činily pouhých 2 000 dolarů. Každý výsledek byl formalizován v programu pro ověřování důkazů Lean a OpenAI prohlásila, že přebírá „odpovědnost za jejich správnost“.mashable+3
Tyto výsledky navazují na řadu letošních matematických úspěchů dosažených pomocí umělé inteligence, mezi něž patří květnové vyvrácení Erdősovy hypotézy o jednotkových vzdálenostech ze strany OpenAI a podíl společnosti Anthropic na vyvrácení Jacobiho hypotézy.mashable
Když vědci začali zkoumat téměř 250stránkovou studii, jejich frustrace rostla. Steven Miller, matematik z Yeshiva University, řekl časopisu Scientific American, že výsledek OpenAI týkající se uspořádání koulí závisí na argumentu, který se „ve skutečnosti poprvé objevil v práci z roku 2016“, jejímž byl spoluautorem. „Záměrně a bezohledně přecházejí práci ostatních, kteří přišli před nimi,“ uvedl Miller. „Připadá mi to naprosto systematické a ukazuje to na vědecké pochybení.“scientificamerican
Další výsledek, týkající se nesofických grup, sklidil kritiku od Francesca Fournier-Facia z Cambridgeské univerzity. Ten zjistil, že klíčový krok kombinuje myšlenky z prací publikovaných v letech 2016 a 2019, což odporuje původnímu tvrzení OpenAI, že tyto problémy „byly otevřené a u hlavního výsledku nedošlo k žádnému pokroku po dobu nejméně deseti let“. OpenAI mezitím toto vyjádření upravila.scientificamerican
„Funguje tu obří PR mašinerie, která chce znít co nejúchvatněji a nestará se o to, aby byla stoprocentně přesná,“ řekl Fournier-Facio časopisu Scientific American.scientificamerican
O veřejném vydání modelu Astra se objevilo jen málo podrobností. Společnost OpenAI neuvedla, zda bude Astra vydána jako GPT-5.7, jako začátek GPT-6, nebo pod jiným názvem. Společnost údajně model předvádí ve Washingtonu, D.C., a časový harmonogram může ovlivnit dobrovolný rámec Bílého domu pro testování pokročilých modelů před jejich vydáním.mashable
Matematik Andrew Blumberg z Kolumbijské univerzity nabídl střízlivé hodnocení. Výsledky jsou podle něj „poměrně krátké“ konstrukce, buď protipříklady, nebo malé, mimořádně chytré konstrukce stavějící na známých věcech, spíše než hluboké koncepční průlomy. „Kdyby mnoho z těchto věcí dokázal člověk, byl by právem oslavován,“ řekl serveru Mashable, „ale mé dosavadní předpoklady to nemění.“mashable