Samouk a 16-hodinová konzultácia s umelou inteligenciou vyriešili jeden z otvorených problémov aplikovanej matematiky
Stručne
Pekinský neurochirurg použil GPT-56 na dokázanie 20 rokov starej matematickej hypotézy, čo signalizuje posun v tom, kto môže vytvárať – a overovať – výskum.
Shanmu Jin, postdoktorandský výskumník a neurochirurg v nemocnici Pekingskej únie lekárskej fakulty v Pekingu, dokázal Crouzeixovu hypotézu – problém v maticovej analýze, ktorý zostal otvorený viac ako dve desaťročia. Rozhodujúci argument nevznikol na katedre matematiky: objavil sa počas 16-hodinového autonómneho behu... GPT-56 Sol vo vnútri ChatGPT Pracovný režim, vedený starostlivo navrhnutou nápovedou, ktorú si Jin sám navrhol.
Jin sa k problému dostal nelineárnou cestou. Jeho vysokoškolské vzdelanie bolo z geológie; neskôr získal lekársky titul a svoje matematické znalosti si vybudoval samostatným štúdiom, spočiatku motivovaným výskumom transkraniálneho ultrazvuku. Crouzeixova hypotéza, formulovaná v roku 2004, sa týka vzťahu medzi spektrálnou normou matice a maximom polynómu v jeho numerickom rozsahu – kompaktnej konvexnej oblasti komplexnej roviny, ktorá zachytáva viac správania matice ako len jej vlastné čísla. Jej riešenie má priame uplatnenie v analýze maticových funkcií, iteratívnych riešiteľoch, ako je GMRES, a racionálnych Krylovových metódach.
Namiesto interaktívneho spúšťania modelu Jin spustil rozšírenú autonómnu reláciu s použitím architektúry spúšťacích príkazov adaptovanej z jednej OpenAI vyvinul pre skorší matematický výsledok, hypotézu o cyklickom dvojitom pokrytí. Toto nastavenie odoprelo modelu prístup na internet. Nasadilo konkurenčné subagenty, ktorých úlohou bolo nezávisle vyvíjať a stresovo testovať rôzne stratégie dokazovania, s explicitnými pokynmi proti predčasnej konvergencii a požiadavkou falzifikovať kandidátske argumenty iba prostredníctvom konkrétnych protipríkladov. Model mal pokračovať, kým kompletný dôkaz neprežije interné kontroverzné preskúmanie. Výsledný preprint, zverejnený 27. júla 2026, obsahuje kompletnú výzvu, postupné návrhy rukopisov, formalizáciu Lean a audit axiómy.
Potvrdzovanie rovesníkmi a otázka, kto sa teraz venuje matematike
Dôkaz preskúmal a potvrdil matematik z Cornellu Alex Townsend, numerická analytička Anne Greenbaum a samotný Michel Crouzeix – pôvodný autor hypotézy. Formálne partnerské hodnotenie stále prebieha. Osem dní po vydaní pôvodného preprintu zverejnili matematici Emiel Lorist a Felix Schwenninger nezávislý päťstranový dôkaz s použitím inej metódy, kombinujúc klasickú teóriu dvojvrstvového potenciálu s perturbačnou lemmou pre 2-dilatácie. Jin privítal paralelný výsledok ako doplnok k svojej vlastnej práci.
Táto epizóda odhaľuje štrukturálny posun v matematickom výskume, ktorý je ťažké ignorovať. Keď problém otvorený od roku 2004 vyrieši klinický samouk pomocou nástroja umelej inteligencie pre spotrebiteľov, bariéry brániace dosiahnutiu nových výsledkov sa podstatne znižujú – zatiaľ čo odborné znalosti potrebné na overenie týchto výsledkov sa zodpovedajúcim spôsobom koncentrujú a zvyšujú hodnotu.
V oblasti umelej inteligencie tento prípad ponúka konkrétnu demonštráciu toho, čo dokážu modely hraničných jazykov, keď im boli poskytnuté dobre štruktúrované autonómne úlohy a dostatočný výpočtový čas. Či má matematická komunita infraštruktúru na absorbovanie objemu výsledkov, ktoré môžu z toho vyplývať, zostáva otvorenou otázkou.
Disclaimer
V súlade s Pokyny k projektu Trust, uvedomte si, že informácie uvedené na tejto stránke nie sú zamýšľané a nemali by byť interpretované ako právne, daňové, investičné, finančné alebo iné formy poradenstva. Je dôležité investovať len toľko, koľko si môžete dovoliť stratiť a v prípade akýchkoľvek pochybností vyhľadať nezávislé finančné poradenstvo. Ak chcete získať ďalšie informácie, odporúčame vám pozrieť si zmluvné podmienky, ako aj stránky pomoci a podpory poskytnuté vydavateľom alebo inzerentom. MetaversePost sa zaviazala poskytovať presné a nezaujaté správy, ale podmienky na trhu sa môžu zmeniť bez upozornenia.
O autorovi
Alisa, oddaná novinárka v MPost, špecializuje sa na kryptomeny, umelú inteligenciu, investície a rozsiahlu oblasť Web3. So záujmom o nové trendy a technológie poskytuje komplexné pokrytie s cieľom informovať a zapojiť čitateľov do neustále sa vyvíjajúceho prostredia digitálnych financií.
Ďalšie články
Alisa, oddaná novinárka v MPost, špecializuje sa na kryptomeny, umelú inteligenciu, investície a rozsiahlu oblasť Web3. So záujmom o nové trendy a technológie poskytuje komplexné pokrytie s cieľom informovať a zapojiť čitateľov do neustále sa vyvíjajúceho prostredia digitálnych financií.
