Samouk klinický lékař a 16hodinová lekce s umělou inteligencí vyřešily jeden z otevřených problémů aplikované matematiky
Stručně
Pekingský neurochirurg použil GPT-56 k prokázání 20 let staré matematické hypotézy, což signalizuje posun v tom, kdo může provádět – a ověřovat – výzkum.
Shanmu Jin, postdoktorandský výzkumník a neurochirurg v rezidentní nemocnici Pekingské unie v Pekingu, dokázal Crouzeixovu hypotézu – problém v maticové analýze, který zůstával otevřený více než dvě desetiletí. Rozhodující argument nevznikl na katedře matematiky: objevil se během 16hodinového autonomního běhu... GPT-56 Sol uvnitř ChatGPT Pracovní režim, řízený pečlivě navrženou nápovědou, kterou si Jin sám navrhl.
Jin k problému dospěl nelineární cestou. Jeho bakalářské vzdělání bylo v geologii; později získal lékařský titul a své matematické znalosti si vybudoval samostatným studiem, zpočátku motivovaným výzkumem transkraniálního ultrazvuku. Crouzeixova hypotéza, formulovaná v roce 2004, se týká vztahu mezi spektrální normou matice a maximem polynomu v jeho numerickém rozsahu – kompaktní konvexní oblastí komplexní roviny, která zachycuje více chování matice než jen její vlastní čísla. Její řešení má přímé uplatnění v analýze maticových funkcí, iteračních řešičích, jako je GMRES, a racionálních Krylovových metodách.
Místo interaktivního spouštění modelu spustil Jin rozšířenou autonomní relaci s využitím architektury prompts adaptované z jednoho OpenAI vyvinul pro dřívější matematický výsledek, hypotézu cyklického dvojitého krytí. Toto nastavení modelu odepřelo přístup k internetu. Nasadilo konkurenční subagenty, jejichž úkolem bylo nezávisle vyvíjet a zátěžově testovat různé strategie dokazování, s explicitními instrukcemi proti předčasné konvergenci a požadavkem na falzifikaci kandidátských argumentů pouze pomocí konkrétních protipříkladů. Model měl pokračovat, dokud kompletní důkaz nepřežije interní adversární kontrolu. Výsledný preprint, zveřejněný 27. července 2026, obsahuje kompletní výzvu, postupné návrhy rukopisů, Lean formalizaci a audit axiomů.
Potvrzení vrstevníků a otázka, kdo se dnes věnuje matematice
Důkaz byl zkontrolován a potvrzen matematikem z Cornellu Alexem Townsendem, numerickou analytičkou Anne Greenbaumovou a samotným Michelem Crouzeixem – původním autorem hypotézy. Formální recenzní řízení stále probíhá. Osm dní po vydání prvního preprintu zveřejnili matematici Emiel Lorist a Felix Schwenninger nezávislý pětistránkový důkaz s použitím jiné metody, kombinující klasickou teorii dvojvrstvého potenciálu s perturbačním lemmatem pro 2-dilatace. Jin uvítal paralelní výsledek jako doplněk ke své vlastní práci.
Tato epizoda zviditelňuje strukturální posun v matematickém výzkumu, který je těžké ignorovat. Když problém otevřený od roku 2004 vyřeší samouk v klinické praxi pomocí nástroje umělé inteligence pro spotřebitele, bariéry bránící dosažení nových výsledků se podstatně snižují – a odborné znalosti potřebné k ověření těchto výsledků se odpovídajícím způsobem koncentrují a zvyšují jejich hodnotu.
V oblasti umělé inteligence nabízí tento případ konkrétní demonstraci toho, čeho mohou modely hraničních jazyků dosáhnout, když jim jsou přiděleny dobře strukturované autonomní úlohy a dostatečný výpočetní čas. Zda má matematická komunita infrastrukturu k absorbování objemu výsledků, které mohou následovat, zůstává otevřenou otázkou.
Odmítnutí odpovědnosti
V souladu s Pokyny k projektu Trust, prosím vezměte na vědomí, že informace uvedené na této stránce nejsou určeny a neměly by být vykládány jako právní, daňové, investiční, finanční nebo jakékoli jiné formy poradenství. Je důležité investovat jen to, co si můžete dovolit ztratit, a v případě pochybností vyhledat nezávislé finanční poradenství. Pro další informace doporučujeme nahlédnout do smluvních podmínek a také na stránky nápovědy a podpory poskytnuté vydavatelem nebo inzerentem. MetaversePost se zavázala poskytovat přesné a nezaujaté zprávy, ale podmínky na trhu se mohou bez upozornění změnit.
O autorovi
Alisa, oddaná novinářka v MPost, specializuje se na kryptoměny, umělou inteligenci, investice a rozsáhlou oblast Web3. S velkým okem pro nové trendy a technologie poskytuje komplexní pokrytí, aby informovala a zapojila čtenáře do neustále se vyvíjejícího prostředí digitálních financí.
Další články
Alisa, oddaná novinářka v MPost, specializuje se na kryptoměny, umělou inteligenci, investice a rozsáhlou oblast Web3. S velkým okem pro nové trendy a technologie poskytuje komplexní pokrytí, aby informovala a zapojila čtenáře do neustále se vyvíjejícího prostředí digitálních financí.
