DI pasiekė du proveržius dešimtmečius spręstose matematikos problemose

Per kelias savaites dirbtinis intelektas pasiekė du istorinius rezultatus grynojoje matematikoje: įrodė hipotezę, kuri klaidino specialistus daugiau nei 20 metų, ir pasistūmėjo sprendžiant vieną garsiausių neišspręstų disciplinos problemų.

Gydytojas, pokalbių robotas ir 22 metų senumo hipotezė

Jin Shanmu, neurochirurgijos rezidentas ir podoktorantūros tyrėjas Pekino sąjungos medicinos koledžo ligoninėje, įrodė Crouzeix hipotezę – skaitinės tiesinės algebros problemą, kurią 2004 m. iškėlė prancūzų matematikas Michelis Crouzeix – naudodamas OpenAI ChatGPT. Pasak South China Morning Post, Jin 16 valandų autonomiškai vykdė GPT-5.6-Sol ChatGPT Work platformoje, ir modelis pateikė išsamų įrodymą.scmp

Jin nėra profesionalus matematikas. Prieš studijuodamas mediciną jis studijavo geologiją ir tyrinėjo transkranijinį ultragarsą, kai netyčia susidūrė su matricų analize. Hipotezė teigia, kad bet kokia funkcija, pritaikyta matricai, duoda rezultatą, ne didesnį nei dviguba funkcijos maksimali vertė tos matricos skaitiniame diapazone – tai abstrakti, bet ilgalaikė kliūtis šioje srityje.interestingengineering+1

Alexas Townsendas, Kornelio universiteto matematikas, pats raginęs DI spręsti šią problemą, liepos 30 d. sužinojo, kad ChatGPT jį informavo, jog hipotezė buvo išspręsta prieš kelias dienas. Townsendas peržiūrėjo Jin rankraštį ir pasidalijo juo su Anne Greenbaum iš Vašingtono universiteto bei pačiu Crouzeix, kurie patvirtino, kad įrodymas yra teisingas.interestingengineering

Claude imasi Rymano hipotezės

Atskirai Anthropic paskelbė, kad neišleista tyrimų Claude modelio versija pagerino ribą, susijusią su 167 metų senumo Rymano hipoteze, padidindama žinomą Rymano dzeta funkcijos nulių dalies apatinę ribą kritinėje linijoje nuo 41,6% iki 67,2%. Darbas neįrodė pačios hipotezės, tačiau tai yra didelis žingsnis į priekį sprendžiant susijusią problemą, kurioje dešimtmečius buvo stebima tik laipsniška pažanga.datacamp+1

Pastangos prasidėjo, kai Jarredas Sumneris, Anthropic darbuotojas, paragino Claude pabandyti išspręsti Rymano hipotezę. Po to, kai kelias dienas nesėkmingai išbandė apie 650 idėjų, Sumneris skatino modelį žinutėmis, tokiomis kaip „tęsk“ ir „tikėk savimi“. Tada Claude pusantros paros bendradarbiavo su maždaug 60 savo kopijų, sunaudodamas 31 milijoną išvesties žetonų, kol pasiekė rezultatą. Pasak The Wall Street Journal News Corp ↗ 0.73%, Stanfordo skaičių teoretikas pavadino tai „įspūdingiausiu rezultatu, kurį DI iki šiol sugeneravo matematikoje“.wsj+1

Besiformuojantis modelis

Šie rezultatai seka po OpenAI gegužės mėnesio pranešimo, kad vidinis modelis paneigė Erdős vienetinio atstumo hipotezę, problemą, siekiančią 1945 metus. Liepos pabaigoje OpenAI taip pat paskelbė dešimties matematikos ir informatikos pasiekimų, kuriuos atliko jos modeliai, sąrašą. Sparti proveržių seka suteikia svorio matematiko Terence'o Tao prognozei, kad 2026 m. lygio DI taps „patikimu bendraautoriumi matematiniuose tyrimuose“.phys+3