Šest matematických studií s pomocí AI. Meta říká, že pět řeší otevřené otázky

Meta 2. října oznámila, že matematikové spolupracující s modelem Muse Spark připravili šest odborných studií. Podle firmy pět z nich odpovídá na otázky, které byly dosud otevřené. Nejde ale o tvrzení, že chatbot šest problémů vyřešil samostatně: výzkum vedli matematikové, kteří s modelem rozvíjeli argumenty, a výsledky následně posuzovala další skupina odborníků. 17

Od pravděpodobnosti po diferenciální rovnice

Šestice prací pokrývá několik oblastí matematiky. Jedna studie se věnuje pravděpodobnosti a geometrii: The Strict Threshold for Gaussian Ellipsoid Fitting stanovuje hranici přibližně (n \sim d^2/4) pro to, zda lze najít pozitivně semidefinitní matici splňující podmínky dané náhodnými Gaussovskými vektory. 1

V teorii grup výzkumníci popsali grupu o 384 prvcích, která slouží jako protipříklad k domněnce navržené v roce 2024. Podle dostupného popisu Muse Spark vytvořil vyhledávací program pro systém GAP; matematikové protipříklad prověřili a dokončili důkaz. 20

Další práce se zabývají algebraickou domněnkou García-Martíneze a Péreze-Rodrígueze, těsností relaxace založené na cyklech v optimalizaci a matematickou fyzikou. Mezi zveřejněnými tituly je také String Two-Point Function = Height Function on a Curve. 4 Seznam zahrnuje rovněž studii o konečném čase singularity u radiálních řešení biharmonické nelineární Schrödingerovy rovnice s kritickou hmotností.

Počet je třeba číst přesně: Meta tvrdí, že pět ze šesti studií řeší dříve otevřené otázky. Z dostupných seznamů publikací ale nelze spolehlivě přiřadit všech pět otázek ke konkrétním jednotlivým studiím. 174

Jak vědci Muse Spark zapojili

Matematikové používali verze Muse Spark 1.1 a 1.2 v režimu Thinking prostřednictvím běžného chatovacího rozhraní meta.ai, nikoli přes speciálně vytvořený systém pro výzkum. Podle Mety vědci určovali směr práce a s modelem zkoumali nápady i rozvíjeli argumenty. Poté výsledky posoudila druhá skupina matematiků. V samotných studiích jsou navíc označeny pasáže napsané převážně výzkumníky a pasáže vytvořené s pomocí AI. 17

To je podstatný rozdíl: model může přispět nápadem, argumentem nebo kódem, ale výběr problémů, vedení výzkumu a kontrola výsledků zůstaly v rukou lidí. V případě protipříkladu z teorie grup například matematikové ověřili výsledek programu a dopracovali důkaz; model si vlastní výstup sám nepotvrdil. 20

Co zatím není jisté

Zveřejněné práce ukazují, že AI může být užitečná při matematickém výzkumu pod odborným dohledem. Samy o sobě však nedokazují, že jsou výsledky výlučným objevem daného týmu ani že jsou matematické výstupy modelu obecně spolehlivé. Další zprávy uvádějí, že některých výsledků nezávisle dosáhly i jiné týmy, takže při posuzování prvenství záleží na míře překryvu.

Lidská odborná kontrola také není totéž co formální verifikace. Při ní se důkaz zapíše do přísného formálního jazyka, aby jej počítač mohl kontrolovat krok za krokem. Meta popisuje lidské posouzení, ale dostupné informace nepotvrzují, zda byly všechny důkazy ověřeny také pomocí takového systému. 17

Muse Spark byl představen 8. dubna 2026 jako první model Meta Superintelligence Labs. Říjnové studie ukazují další využití modelu ve spolupráci s matematiky, nejsou ale důkazem, že tvrzení vytvořená AI jsou bezchybná. To lze posoudit až zkoumáním jednotlivých argumentů a jejich nezávislým ověřením.