„Nuo tada, kai paskutinį kartą pagalvojote apie matematiką, žmonės, kurie apie ją galvoja kiekvieną dieną, ėmė panikuoti.
Prieš mėnesį, kai „OpenAI“ paskelbė, kad vienas iš jos galingų vidinių modelių išsprendė liūdnai pagarsėjusį Tūkstantmečio premijos uždavinį, tai atrodė kaip įspūdingiausia dirbtinio intelekto pažangos matematikos srityje demonstracija.
Tada matematikai sukilo.
Matematikos pasaulio nepasitenkinimas sutapo su pasauliniu susimąstymu apie Silicio slėnio laboratorijas, kurios lenktyniauja kurdamos technologijas, kurios gali išaugti ne jų kontroliuojamoje padėtyje. Tą pačią dieną, kai „OpenAI“ paskelbė savo svarbų įrodymą, vienas tyrėjas dėl saugumo problemų pasitraukė iš „Anthropic“. Per kelias valandas dirbtinio intelekto proveržį nustelbė baimės, kad dirbtinis intelektas gali sunaikinti žmoniją.
Tuo tarpu matematikai sprendė savo egzistencinius klausimus.
Tačiau viešai diskutuodami apie savo senovinės srities ateitį, „OpenAI“ modelis už uždarų durų nuolat teikė naujus įrodymus. Tai paliko bendrovei problemą, kurią turėjo išspręsti daugybė žmonių: ką daryti su visa ta dirbtinio intelekto sukurta matematika.
Antradienio vakarą „OpenAI“ paskelbė šimtus įrodymų, kad matematikai galėtų suvokti savo mintis. aplinkui.
Per vieną naktį buvo rastas precedento neturintis skaičius atsakymų, kurie dešimtmečius buvo vengę matematikų. Šis lavinos lavina apėmė daugiau nei 300 skaičių teorijos, algebrinės geometrijos ir kitų sričių uždavinių sprendimus, kurių pavadinimai galėtų sukelti migreną kiekvienam, kam persekioja vidurinės mokyklos matematika. Tarp pagrindinių maždaug 720 straipsnių rinkinio atradimų buvo pažanga, susijusi su trimis iš penkių likusių Tūkstantmečio premijos uždavinių, įskaitant Riemanno hipotezę.
„Jei žmogus tai padarytų, tai būtų akimirksniu, be jokių klausimų, Fildso medalis“, – apie „kvazi-Riemanno hipotezės“ įrodymą X rašė žymus Rutgerso universiteto matematikos profesorius Alexas Kontorovičius.
Nesureikšmintas tokių monumentalių rezultatų paskelbimas žymėjo „OpenAI“ požiūrio į mokslinių atradimų skelbimą pokytį – tai buvo dalis pastangų susigrąžinti matematikus, kurie pastaraisiais mėnesiais tapo alergiški dirbtinio intelekto ažiotažui. Praėjusią savaitę daugelis jų pranešė jautę pagarbią baimę.
Nustebusiems matematikos ekspertams peržiūrint rezultatus ir pradedant juos įsisavinti, net „Anthropic“ tyrėjas pavadino paskelbimą „akivaizdžiai reikšmingiausiu momentu“. matematikos istorija.“
Tai Tai taip pat buvo naujausias stulbinantis posūkis istoriniais metais DI ir pačiai matematikai.
Šiais metais „OpenAI“ ir „Anthropic“ sudėtingą matematiką pavertė neįprasta savo protingiausių modelių rinkodaros forma, trimituodami sprendimais problemoms, kurios žmones kamavo beveik šimtmetį.
Tačiau tai, kas kažkada atrodė kaip saugus būdas pasigirti DI galimybėmis, pradėjo atsigręžti prieš save, nes amerikiečiai vis labiau skeptiškai vertino DI.
Laboratorijos taip pat prarado kai kurių žmonių, kurie savo gyvenimą skyrė matematikai ir kadaise DI įrankius priėmė kaip neįtikėtinai galingus skaičiuotuvus, pasitikėjimą, tačiau dabar jaučiasi kaip šalutinė žala trilijonų dolerių vertės įmonių mūšyje. Jų konkurencija tokia nuožmi, kad „OpenAI“ teigia, jog savo pažangų modelį nukreipė į Tūkstantmečio premijos problemas – ir į šias pastangas investavo milijonus dolerių skaičiavimo galios – tik išgirdusi, kad „Anthropic“ jau išsprendė bent vieną.
Kritika sustiprėjo, kai daugiau nei dvi dešimtys prestižinio Fieldso medalio laureatų paskelbė įnirtingą atvirą laišką, kuriame perspėjo, kad pramonės skubėjimas spręsti matematikos problemas kelia grėsmę pačiai matematikos paskirčiai.
Mokslo bendruomenės, kurią, anot „OpenAI“, siekia įgalinti, spaudimas pastūmėjo bendrovę neseniai suburti nepriklausomą pirmaujančių matematikų patariamąją grupę.
„Laukia sunkūs klausimai apie tai, kaip dirbtinis intelektas gali paremti matematinį supratimą“, – praėjusį mėnesį pareiškė „OpenAI“. „Norime, kad matematikai būtų atsakymų formavimo centre.“
Praėjusią savaitę šis patariamasis komitetas, remdamasis šimtų matematikų atsiliepimais, nustatė gaires, kaip dirbtinio intelekto laboratorijos turėtų skelbti savo išvadas.
„OpenAI“ teigia, kad, paleisdama šią matematikos laviną, ji rėmėsi šiomis rekomendacijomis.
Užuot skelbusi išvadas po vieną, „OpenAI“ jas visas iš karto pateikė.
Bendrovė išleido 372 rezultatų grupes ir teigė, kad modelis iš viso bandė išspręsti maždaug 4000 uždavinių. Ji taip pat pateikė modelio „minčių grandinės“ santraukas ir įvertino, kad vidutiniam rezultatui reikia tik dalelės skaičiavimo galios, kuri buvo panaudota Tūkstantmečio premijos laimėjimui.
Anksčiau šią savaitę, sklandant gandams, kad „OpenAI“ netrukus pateiks įrodymų laviną, matematikai skubėjo publikuoti savo dirbtinio intelekto pagalba atliktus darbus, kol jie dar nebuvo paskelbti. Pranešime atsispindėjo matematikos tarybos rekomendacijos ir nuogąstavimai – su viena išimtimi.
„Prašome jų nebetikrinti sudėtingų matematinių uždavinių sprendimo, naudojant uždaro kodo modelius“, – teigia vyriausiasis matematikas praėjusią savaitę.
„OpenAI“ atsakė: „Svarbu ir toliau vertinti mūsų vidinius pažangiausius modelius matematikos ir kitų mokslų srityse, kad galėtume paspartinti įrankių, skatinančių pažangą šiose srityse, kūrimą.“ [1]
1. EXCHANGE --- Science of Success: AI Just Hit a Milestone. It Cracked Hundreds of Math Problems. --- OpenAI released findings on more than 300. It may be 'the most significant moment in mathematical history.' Cohen, Ben. Wall Street Journal, Eastern edition; New York, N.Y.. 10 Oct 2026: B4.
Komentarų nėra:
Rašyti komentarą