Společnost OpenAI překvapila vědeckou i technologickou komunitu, když zveřejnila rozsáhlou sérii nových matematických objevů a důkazů. Celkově jde o 722 odborných manuskriptů rozdělěných do 372 tématických skupin, které vygeneroval její dosud nevydaný interní pokročilý AI model.
Tento krok představuje zásadní milník v tom, jak umělá inteligence pomáhá řešit komplexní a dlouhodobě otevřené problémy teoretické matematiky a informatiky.
Masivní vědecký výstup z GitHub repozitáře
Místo tradičního publikování v recenzovaných časopisech se OpenAI rozhodla zpřístupnit kompletní balík výsledků přímo v otevřeném GitHub repozitáři. Krok konzultovala s nezávislou poradní skupinou Advisory Group on Mathematics and Artificial Intelligence při prestižním Institute for Advanced Study (IAS).
- Formální verifikace v jazyce Lean: Velká část důkazů obsahuje přesné formalizované certifikáty v programovacím jazyce Lean. Ten umožňuje, aby správnost matematických kroků rigorózně ověřil počítač.
- Transparentní data o výpočetním výkonu: OpenAI ke každému výsledku zveřejnila statistiky využití výpočetního výkonu. Průměrný matematický objev vyžadoval výpočetní kapacitu odpovídající přibližně 3 hodinám uvažování v režimu ChatGPT Pro.
- Otevřené procesy uvažování: Součástí repozitáře jsou i souhrny postupů (reasoning traces), které ukazuje, jakým způsobem model k řešení dospěl.
Které slavné problémy AI posunula?
Mezi 722 publikovanými pracemi se nacházejí pokroky u problémů, na kterých lidští matematici pracovali desítky let. Podle prvních reakcí odborné komunity jsou mezi nejsledovanějšími výstupy:
- Quasi-Riemannova hypotéza: Významný pokrok v oblasti teorie čísel vylučující nulové body Riemannovy zeta-funkce mimo stanovenou oblast.
- Hodgeova hypotéza pro CM abelovské minority: Řešení zásadního speciálního případu v algebraické geometrii.
- Kaplanského hypotéza a nesofické grupy: Konstrukce nových algebraických struktur, které vyvracejí starší předpoklady v teorii grup.
- Výpočetní složitost a maticové násobení: Pokrok v dolních mezích pro aritmetické obvody a efektivitu algoritmu násobení matic.
Co to znamená pro budoucnost matematiky?
Rychlost a rozsah, s jakým pokročilé modely dokáží generovat a ověřovat komplexní teoretické důkazy, vyvolává v akademickém světě živou debatu. OpenAI zdůrazňuje, že cílem není nahradit lidské vědce, ale poskytnout jim do rukou partnera, který dokáže propojovat nápady napříč různými obory a výrazně urychlit vědecké objevování.
Společnost již oznámila, že bude sponzorovat sérii odborných workshopů, konferencí a grantových programů zaměřených na analýzu a další rozvoj výsledků vygenerovaných touto AI.
Závěr
Zveřejnění 722 matematických manuskriptů jasně ukazuje, že éra, kdy AI sloužila pouze jako asistent pro psaní textů či kódu, je pryč. Modely nové generace se stávají plnohodnotnými partnery ve výzkumu. Nabízí se však otázka: Jak rychle dokáže lidská komunitní matematika tak obrovský objem nových poznatků vstřebat a zkontrolovat?
Komentáre