Neurochirurg nechal ChatGPT běžet 16 hodin a vyřešil 22 let starý matematický problém z obýváku

V červenci 2026 dokázal něco, co ohromilo matematický svět: pekingský neurochirurg Jin Šan-mu vyřešil 22 let starý otevřený problém v numerické lineární algebře. Jeho hlavním výzkumným asistentem? OpenAI GPT-5.6-Sol, který běžel zcela autonomně asi 16 hodin na platformě ChatGPT Work – bez jakéhokoli zásahu člověka po počátečním nastavení .

Jin je postdoktorand a neurochirurg na rezidenčním pobytu v Pekingské univerzitní nemocnici (Peking Union Medical College Hospital). Nemá formální vzdělání v pokročilé matematice – jeho bakalářský titul je z geologie a vlastní doktorát z medicíny . Původně narazil na problém při samostudiu matematické teorie potřebné pro výzkum transkraniálního ultrazvuku mozku, kde se přirozeně vyskytují operátorové normy a číselné obory .

Problém, který vyřešil, je Crouzeixova domněnka, navržená francouzským matematikem Michelem Crouzeixem v roce 2004. Domněnka říká, že pro libovolnou čtvercovou komplexní matici A a polynom p je operátorová norma ||p(A)|| nejvýše dvojnásobkem maximální hodnoty |p| na číselném oboru W(A) . Přesná konstanta 2 zůstávala 22 let otevřená; dřívější odhady dosahovaly pouze zhruba 2,414 .

Jak Jin nastavil autonomní běh

Jinův přístup nebyl jednoduchý dotaz do ChatGPT. Navrhl autonomní uvažovací systém, inspirovaný předchozím úspěchem OpenAI při řešení hypotézy o cyklickém dvojitém pokrytí . Jeho strategie zadání (prompt) zahrnovala čtyři klíčové instrukce:

1. Izolované prostředí (air-gapped): Model měl pracovat ve fyzicky odpojeném prostředí, aby byl nucen k čistě originálnímu uvažování a nemohl se spoléhat na existující řešení nebo známé důkazy .
2. Paralelní multiagentní průzkum: Spustil několik instancí agentů, které paralelně zkoumaly různé cesty řešení, aby se zabránilo předčasnému skončení u jediného chybného přístupu .
3. Adversariální audit: Na kandidátní strategie aplikoval adversariální audit – AI měla kritizovat vlastní uvažování a testovat své důkazy proti protipříkladům .
4. Žádné předčasné zastavení: Modelu přikázal, aby nepřestal, dokud nezíská úplný důkaz .

Po spuštění Jin systém opustil. "Uzamkl model mimo internet, spustil ho a odešel. O šestnáct hodin později měl důkaz," uvádí zprávy . Během těchto 16 hodin provedl GPT-5.6-Sol tisíce cyklů generování hypotéz, testování a zpřesňování .

Důkaz a jeho ověření

Výsledkem byl důkaz, že Crouzeixova domněnka je pravdivá: konstanta 2 je správná. Důkaz byl zveřejněn jako preprint 27. července 2026 pod názvem The Numerical Range Is a 2-Spectral Set .

Proces ověření byl důkladný. Michel Crouzeix – matematik, který domněnku původně navrhl v roce 2004 – argument přezkoumal a potvrdil, že je správný . Důkaz zkoumali také numeričtí analytici . Jin navíc zveřejnil veškeré výzkumné materiály na GitHubu, včetně finálního článku, promptů, iteračních konceptů, formálního důkazu v jazyce Lean 4 a auditorských zpráv .

Co to znamená pro výzkum řízený AI

Jinův úspěch je pozoruhodný nejen kvůli obtížnosti problému, ale také kvůli jeho metodě a původu. Rezident neurochirurgie bez formálního pokročilého matematického vzdělání, který nechal AI model autonomně pracovat 16 hodin, vyřešil problém, který máte matematiky dvě desetiletí.

Tento příběh poukazuje na nový způsob výzkumu: lidé navrhují experimentální podmínky a rámec uvažování, zatímco AI modely provádějí rozsáhlý, autonomní průzkum matematického prostoru. Jde o konkrétní ukázku, že AI může sloužit jako skutečný výzkumný partner v matematice – nejen jako nástroj pro výpočty nebo vyhledávání, ale jako systém schopný generovat nové důkazy.

Zda se tento přístup stane standardní metodou v matematickém výzkumu, ukáže až čas. Prozatím však Jin Šan-muův výsledek patří k nejvýraznějším příkladům objevů s pomocí AI v roce 2026.