Pekingský neurochirurg vyřešil 22 let starý matematický problém. Nechal ChatGPT běžet 16 hodin a odešel

Koncem července 2026 padl 22 let starý otevřený problém numerické lineární algebry. Nevyřešil ho vysokoškolský profesor z přední univerzity, ale rezident neurochirurgie v Pekingu. Nastavil prompt, odešel od počítače a o 16 hodin později zjistil, že GPT-5.6-Sol důkaz našla sama .

Dr. Jin Shanmu, postdoktorand a rezident neurochirurgie v Pekingské unijní lékařské fakultní nemocnici, použil model OpenAI GPT-5.6-Sol na platformě ChatGPT Work. Model autonomně vygeneroval úplný důkaz Crouzeixovy hypotézy . Tento problém, který v roce 2004 předložil francouzský matematik Michel Crouzeix, vzdoroval nejlepším světovým numerickým analytikům více než dvě desetiletí.

Problém, který se vzpíral řešení

Crouzeixova hypotéza říká, že pro libovolnou čtvercovou komplexní matici A a polynom p je operátorová norma ||p(A)|| nejvýše dvojnásobkem maxima |p| nad číselným oborem matice A. Nejlepší předchozí odhad byl 1+√2 (přibližně 2,414), což byl výsledek workshopu z roku 2017 v Americkém matematickém institutu, kde přední specialisté nedokázali mezeru k ostré konstantě 2 uzavřít .

Problém ležel na pomezí teorie matic a funkcionální analýzy v numerické lineární algebře – šlo o úzce specializovanou, ale zásadní otázku, která vzdorovala dvěma desetiletím úsilí expertů, kteří jí zasvětili svou kariéru.

Od ultrazvuku mozku k matematickému průlomu

Jin se nepokoušel vejít do dějin matematiky. Zkoumal transcraniální ultrazvuk – modeloval, jak ultrazvukové vlny pronikají lebkou – což ho zavedlo do maticové analýzy a nakonec k Crouzeixově hypotéze . Veškerou vyšší matematiku se naučil samostudiem v rámci svého výzkumu ultrazvuku; bakalářský titul měl z geologie na Pekingské univerzitě a lékařský titul získal na Pekingské unijní lékařské fakultě. Žádné formální vzdělání v pokročilé matematice neměl .

16hodinový autonomní běh

Jin upravil promptovou strategii, kterou OpenAI použila při řešení hypotézy dvojitého cyklu (Cycle Double Cover). Navrhl multiagentní, adversariální nastavení se čtyřmi instrukcemi :

1. Práce offline: Model pracoval ve fyzicky odpojeném prostředí, aby nemohl čerpat z existujících důkazů nebo řešení na webu.
2. Paralelní průzkum: Systém spustil mnoho podagentů, kteří zkoumali skutečně odlišné důkazové strategie, aby se zabránilo předčasné konvergenci na jediný přístup.
3. Adversariální audit: Kandidátní důkazy byly podrobeny adversariálním kontrolám, což model nutilo nacházet a opravovat vlastní chyby.
4. Žádné předčasné zastavení: Systém byl instruován, aby nezastavil, dokud úplný důkaz neprojde všemi kontrolami.

Jin systém spustil a odešel. Po zhruba 16 hodinách nepřetržitého provozu – během nichž GPT-5.6-Sol provedla tisíce cyklů generování, testování hypotéz, zamítání a přestavby – vznikl úplný důkaz .

Namísto těžkých odhadů, které experti očekávali, argument využíval pečlivou vzorkovací strategii k redukci problému na jednoduchou podmínku pozitivity . Podle těch, kteří jej posoudili, šlo o elegantní a nečekaný přístup.

Ověření experty

Numerický analytik Alex Townsend z Cornellovy univerzity strávil předchozí rok tím, že pravidelně žádal ChatGPT o útok na Crouzeixovu hypotézu, přičemž vždy uvízl u stejného chybějícího lemmatu . 30. července 2026 se zeptal znovu – ale tentokrát ChatGPT vrátila odkaz na preprint zveřejněný 27. července s názvem „The Numerical Range Is a 2-Spectral Set“ .

Townsend a Anne Greenbaum z Washingtonské univerzity preprint se skepticismem prostudovali. Po několika hodinách dospěli k závěru, že důkaz je správný . Michel Crouzeix – matematik, který hypotézu před 22 lety vyslovil – rukopis zkontroloval a potvrdil jeho správnost .

Open source a nezávislé ověření

Jin zveřejnil celý svůj výzkumný pipeline jako open source a na GitHubu zpřístupnil finální článek, přesný prompt, všechny postupné verze rukopisu, formalizaci důkazu v jazyce Lean 4 a audit axiomů .

Pozoruhodné je, že osm dní po Jinově preprintu se na arXivu objevil samostatný nezávislý důkaz od Emiela Lorista a Félixe Schwenningera – kteří také použili ChatGPT 5.6 pro průzkum strategií – a nezávisle tak výsledek potvrdili .

Co to znamená pro AI a vědu

Příběh Jinova důkazu je pozoruhodný z několika důvodů. Ukazuje, že ne-expert bez formálního vzdělání v oboru může – navržením správného autonomního workflow pro špičkový AI model – skutečně přispět k řešení problému, který potrápil kariérní specialisty. Rovněž demonstruje sílu dobře navržených autonomních uvažovacích systémů: Jin nepoužil AI jako vyhledávací nástroj nebo chatbota – navrhl systém, který dokázal zkoumat, kontrolovat a vylepšovat vlastní práci po mnoho hodin bez lidského zásahu .

Problém není hračka nebo hlavolam; je to 22 let starý otevřený problém, jehož důkaz byl přezkoumán a přijat matematikem, který jej vyslovil, spolu s dalšími předními odborníky v oboru .