Samouk klinik in 16-urna seja z umetno inteligenco rešila enega od odprtih problemov uporabne matematike
Na kratko
Pekinški nevrokirurg je uporabil GPT-56 za dokaz 20 let stare matematične domneve, kar nakazuje premik v tem, kdo lahko izvaja – in preverja – raziskave.
Shanmu Jin, podoktorski raziskovalec in nevrokirurg, specializant na bolnišnici Peking Union Medical College v Pekingu, je dokazal Crouzeixovo hipotezo – problem v matrični analizi, ki je ostal odprt več kot dve desetletji. Odločilni argument ni prišel iz oddelka za matematiko: pojavil se je med 16-urnim avtonomnim delovanjem ... GPT-56 Sol znotraj ChatGPT Delovni način, ki ga vodi skrbno zasnovan ukaz, ki ga je Jin zasnoval sam.
Jin je do problema prišel po nelinearni poti. Njegovo dodiplomsko izobraževanje je bilo iz geologije; kasneje je pridobil medicinsko diplomo in svoje matematično znanje nadgradil s samostojnim študijem, sprva motiviran z raziskavami transkranialnega ultrazvoka. Crouzeixova hipoteza, formulirana leta 2004, se nanaša na razmerje med spektralno normo matrike in maksimumom polinoma v njegovem numeričnem območju – kompaktno konveksno območje kompleksne ravnine, ki zajame več vedenja matrike kot le njene lastne vrednosti. Njena rešitev ima neposredne aplikacije pri analizi matričnih funkcij, iterativnih reševalcih, kot je GMRES, in racionalnih Krylovih metodah.
Namesto interaktivnega spodbujanja modela je Jin izvedel razširjeno avtonomno sejo z uporabo arhitekture spodbud, prilagojene iz ene OpenAI je razvil za prejšnji matematični rezultat, hipotezo cikličnega dvojnega pokrivanja. Nastavitev je modelu onemogočila dostop do interneta. Razporedila je konkurenčne podagente, ki so bili zadolženi za samostojno razvijanje in stresno testiranje različnih strategij dokazovanja, z eksplicitnimi navodili proti prezgodnji konvergenci in zahtevo, da se kandidatni argumenti ovržejo le s konkretnimi protiprimeri. Modelu je bilo naročeno, naj nadaljuje, dokler popoln dokaz ne preživi notranjega kontradiktornega pregleda. Nastali predtisk, objavljen 27. julija 2026, vključuje celoten poziv, zaporedne osnutke rokopisov, formalizacijo vitkega načina dela in revizijo aksiomov.
Potrditev vrstnikov in vprašanje, kdo se zdaj ukvarja z matematiko
Dokaz so pregledali in potrdili matematik s Cornella Alex Townsend, numerična analitičarka Anne Greenbaum in sam Michel Crouzeix – prvotni avtor domneve. Formalni strokovni pregled še poteka. Osem dni po objavi prvega predtisa sta matematika Emiel Lorist in Felix Schwenninger objavila neodvisen petstranski dokaz z drugačno metodo, ki združuje klasično teorijo dvojnega potenciala z lemo perturbacije za 2-dilatacije. Jin je vzporedni rezultat pozdravil kot dopolnilo k svojemu delu.
Ta epizoda razkriva strukturni premik v matematičnih raziskavah, ki ga je težko prezreti. Ko problem, odprt od leta 2004, reši samouk klinični zdravnik z uporabo orodja za umetno inteligenco za potrošnike, se ovire za doseganje novih rezultatov znatno zmanjšajo – hkrati pa strokovno znanje, potrebno za preverjanje teh rezultatov, postane ustrezno bolj koncentrirano in dragocenejše.
Za področje umetne inteligence primer ponuja konkreten prikaz, kaj lahko dosežejo modeli mejnih jezikov, če jim damo dobro strukturirane avtonomne naloge in zadosten računski čas. Ali ima matematična skupnost infrastrukturo za absorpcijo količine rezultatov, ki bi lahko sledili, ostaja odprto vprašanje.
Zavrnitev odgovornosti
V skladu z Smernice projekta Trust, upoštevajte, da informacije na tej strani niso namenjene in se jih ne sme razlagati kot pravni, davčni, naložbeni, finančni ali kakršen koli drug nasvet. Pomembno je, da vlagate samo tisto, kar si lahko privoščite izgubiti, in da poiščete neodvisen finančni nasvet, če imate kakršne koli dvome. Za dodatne informacije predlagamo, da si ogledate določila in pogoje ter strani s pomočjo in podporo, ki jih nudi izdajatelj ali oglaševalec. MetaversePost se zavzema za natančno in nepristransko poročanje, vendar se tržni pogoji lahko spremenijo brez predhodnega obvestila.
O avtorju
Alisa, predana novinarka pri MPost, specializiran za kriptovalute, umetno inteligenco, naložbe in široko področje Web3. Z ostrim očesom za nastajajoče trende in tehnologije zagotavlja celovito pokritost za informiranje in vključevanje bralcev v nenehno razvijajočo se pokrajino digitalnih financ.
več člankov
Alisa, predana novinarka pri MPost, specializiran za kriptovalute, umetno inteligenco, naložbe in široko področje Web3. Z ostrim očesom za nastajajoče trende in tehnologije zagotavlja celovito pokritost za informiranje in vključevanje bralcev v nenehno razvijajočo se pokrajino digitalnih financ.
