„Keno Ono, kaip vieno žymiausių pasaulio matematikų, karjera nuvedė jį į vietas, kurių jis niekada nebūtų galėjęs pasiekti.
Garsus Virdžinijos universiteto profesorius reguliariai keliauja toli už universiteto ribų, nešdamasis savo formules visur – nuo Holivudo iki olimpinių žaidynių. Jis vienintelis skaičių teoretikas, kada nors buvęs alaus reklamos žvaigžde. O kitam savo žingsniui šis renesanso matematikas daro kažką neįtikėtino net pagal jo standartus.
Jis palieka savo nuolatinį darbą, kad dirbtų 24 metų merginai.
Ne taip seniai mintis prisijungti prie dirbtinio intelekto startuolio Silicio slėnyje jam būtų skambėjusi absurdiškai. Tiesą sakant, prieš tai, kai tai pakeitė jo karjeros kryptį ir sugriovė visą jo gyvenimą, jis laikė save dirbtinio intelekto skeptiku. Iki šiol jis pradėdavo kalbėti, pašiepdamas ažiotažą aplink besiformuojančią technologiją.
„Mano vardas Kenas Ono, o aš esu NI“, – sakė jis. „Žinoma, natūralus intelektas.“
Dabar jis yra mažiausiai tikėtinas startuolio, kuris tikisi pakeisti matematiką, pasitelkdamas dirbtinį intelektą, darbuotojas.
Būdamas 57 metų, Ono išeina ilgų atostogų iš akademinės bendruomenės ir neplanuoja grįžti. Jis pereina į įmonę, kurią įkūrė viena iš jo buvusių studentų Carina Hong, kurios gyvenimo aprašymas toks įspūdingas, kad dirbtinis intelektas jaustųsi nesaugiai.
Per trejus metus baigusi MIT, laimėjusi Morgano premiją, kaip geriausia matematikos tyrėja Amerikoje ir gavusi Rhodeso stipendiją, ji išvyko į Stanfordą siekti bendro teisės ir matematikos daktaro laipsnio. Kai ji metė studijas, kad įkurtų „Axiom Math“, ji surinko 64 mln. dolerių, perviliojo saujelę „Meta“ dirbtinio intelekto tyrėjų ir pasamdė jos mentorių. Jai tai buvo savaime suprantama.
„Kenas Ono yra daugelio matematikos studentų idealas“, – sakė Hong, „Axiom“ generalinė direktorė.
Hong įmonė pavadinta matematiniu terminu, reiškiančiu pagrindinę tiesą, kuri gali būti visos teorijos atspirties taškas. Jos tikslas – sukurti „DI matematikę“, gebančią samprotauti per žinomus dalykus. naujų problemų radime ir jų veikimo patvirtinime formaliais įrodymais. Jei jai pasiseks, „Axiom“ gali išspręsti problemas, kurios šimtmečius glumino paprastus žmones.
Startuolio investuotojai lažinasi, kad matematinis superintelektas turėtų įvairiausių komercinių pritaikymų – programinės ir aparatinės įrangos tikrinimą, logistikos optimizavimą, algoritminę prekybą ir finansinę inžineriją.
Turtingiausios pasaulio įmonės eikvoja pinigus ir kursto susirūpinimą, kad šis bumas gali išpūsti burbulą, tačiau matematikai vis labiau optimistiškai vertina dirbtinio intelekto potencialą padėti jų darbui ir padėti atrasti naujų dalykų.
Kai kalbėjausi su Ono, tai buvo kitą dieną po to, kai jis pasirašė dokumentus, oficialiai paskelbiančius jo atostogas. Rengdamasis persikelti į kitą šalies pusę, jis nenorėjo prognozuoti per tolimos ateities. Tačiau matematikos profesorius, kuris dabar dirba matematikos startuolyje, pasidalijo viena iš savo aksiomų.
„Jei esu pirmas, tebūnie“, – sakė jis. „Nebūsiu paskutinis.“
Ono yra išskirtinis asmuo, kurio karjera buvo netradicinė nuo pat pradžių. Vaikystėje tėvų spaudimas jį privertė jaustis taip apgailėtinai, kad nebaigė vidurinės mokyklos. Neturėdamas diplomo, jis vis tiek studijavo koledže, puoselėjo aistrą matematikai ir dešimtmečius dėstė Viskonsino ir Emory universitete, kol 2019 m. persikėlė į Virdžinijos universitetą. Jis taip pat vadovavo geriausiai šalies tyrimų programai, skirtai elitiniams bakalauro studentams, ir globojo 10 Morgano premijos laureatų, įskaitant jo naująją viršininkę.
„Jis – išskirtinė matematikos figūra“, – sakė Kenas Ribetas, buvęs Amerikos matematikų draugijos prezidentas.
Matematikos srityje Ono žinomas dėl savo darbų įvairiomis skaičių teorijos temomis – nuo Ramanujano kongruencijų [1] iki skėtinės mėnulio šviesos hipotezės [2].
Ir jei šis paskutinis sakinys privertė jus prakaituoti, dabar galite atsipalaiduoti.
Pasirodo, Ono taip pat žinomas dėl savo darbo, taikant matematiką kitose srityse. Jis konsultavo Virdžinijos universiteto plaukikus ir olimpinius aukso medalio laimėtojus JAV rinktinės baseine. Jis patarė Nacionalinei saugumo agentūrai. Jis padėjo sukurti 2015 m. filmą „Žmogus, kuris žinojo begalybę“. Tada jis pasirodė prieš kamerą alaus reklamai ir patvirtino, kad 64 (kalorijos „Miller64“) yra mažesnis skaičius, nei 80 (konkuruojančių lengvo alaus pavyzdžių).
Ir jis žinomas dar dėl dar vieno dalyko: įspūdingos havajietiškų marškinėlių kolekcijos.
„Tikiuosi, kad „Axiom“ pasirašys sutartį su „Tommy Bahama“, – sako jis. „Tai mano svajonė.“
Pastaraisiais metais Ono pradėjo stebėti nepaprastą dirbtinio intelekto pažangą, jam sparčiai tobulėjant. Jis buvo suintriguotas, nors ir ne išsigandęs. Dirbtinis intelektas buvo nuostabus atliekant pažintines užduotis ir sprendžiant jau matytas problemas, tačiau jam sunkiai sekėsi su kūrybiniais jo srities elementais, kuriems reikalinga intuicija ir abstraktus mąstymas.
Šis kūrybiškumas yra toks esminis grynajai matematikai, kad Ono manė, jog jo darbas bus saugus dešimtmečius.
Tačiau praėjusį pavasarį jis buvo vienas iš 30 matematikų, pakviestų kuruoti tiriamojo lygio problemas, kaip dirbtinio intelekto modelių testą. Jis paliko simpoziumą giliai sukrėstas to, ką pamatė.
„Mano persvara virš modelių mažėjo“, – sakė jis. „Ir matematikos srityse, kurios nebuvo mano rankose, jaučiau, kad modeliai mane jau pribloškia.“
Po to kelis mėnesius Ono jautėsi tarsi gedintis savo tapatybės. Jis nežinojo, ką daryti toliau, žinodamas, kad DI modeliai tik taps protingesni.
„Tada mane aplankė nušvitimas“, – sakė jis. „Supratau, kad modeliai siūlo kitokį matematikos atlikimo būdą.“
Jis jau bendradarbiavo su kolegomis, magistrantais ir puikiais bakalauro studentais. Dabar jis taip pat turi DI.
„Kasdien valandą ar dvi praleidžiu, kalbėdamas su modeliais“, – sako jis. „Vėlyvą vakarą, jei negaliu eiti miegoti, atidarau savo „iPhone“ ir kalbu apie matematiką su modeliais beprotiškai aukštu lygiu.“
Tuo tarpu DI nebuvo vienintelė priežastis, kodėl jo, kaip profesoriaus, darbas staiga tapo trapus.
Teisingumo departamentui nusitaikius į aukštąjį mokslą, jis nerimavo dėl grėsmių federaliniam mokslinių tyrimų finansavimui. Anksčiau šiais metais UVA prezidentas atsistatydino dėl Trumpo administracijos spaudimo. Būdamas provosto patarėju gamtos mokslų, technologijų, inžinerijos ir matematikos srityse, Ono daugiau laiko skyrė politikai, o tai reiškė mažiau laiko matematikai.
Jis nusprendė palikti UVA dėl dirbtinio intelekto, nes negalėjo atsispirti naujausiai galimybei palikti savo pėdsaką ant kažko kito, o ne ant kreidinės lentos.
„Turiu prabangą dalyvauti, keičiant pasaulio veikimą“, – sakė Ono. „Kaip grynas matematikas, tai retai kada nutinka.“
Kai jis apskaičiavo, kad atėjo laikas pokyčiams, jis žinojo, kur kreiptis.
Carina Hong 2020 m. buvo Ono tyrimų programos studentė, prieš laimėdama Morgano ir Schaferio premijas, kaip geriausia matematikos bakalauro studentė. Gimusi ir užaugusi Kinijoje, ji jaunystėje išmoko anglų kalbą ir skaitė pažangius šios srities vadovėlius. Ji mokėsi matematikos olimpiadų programų, spręsdama uždavinius, esant laiko spaudimui ir griežtiems apribojimams, tačiau tapo apsėsta kitos rūšies matematikos.
„Mane visada labai domino matematiniai atradimai“, – sakė ji. „Olimpiados matematika – tai nuolatinis dopamino smūgis, bet matematikos tyrimai – tai galvos daužymas į sieną. Tai skausmas ir kančia. Man patinka ši dalis.“
Mūsų pokalbio metu ji apibūdino ir matematikos tyrimus, ir pirmuosius teisės mokyklos metus kaip „labai smagius“. Ji viena iš nedaugelio žmonių, kurie tai žino. Pirmosios kartos koledžo studentė Hong buvo matematikos genijus MIT. Užuot ėjusi į rizikos draudimo fondą, kaip kvantinė prekiautoja, ji išvyko į Oksfordą, kaip Rodo stipendininkė. Studijavusi neuromokslus ir parašiusi dvi disertacijas, ji išvyko į Stanfordą įgyti teisės laipsnio ir matematikos daktaro laipsnio.
Savaitgaliais ji mėgo mokytis kavinėje netoli universiteto miestelio. Gerdama mačos latte, ji skaitė sudėtingus matematikos darbus ir susidraugavo su Shubho Sengupta, dirbtinio intelekto mokslininku iš „Meta Platforms“, kuris taip pat buvo nuolatinis dalyvis prie bendro stalo. Besikalbėdami suprato, kad galbūt galėtų suvienyti jėgas ir sujungti savo sritis.
Rytinių bėgimų metu, galvodama apie mokyklos baigimą ir įmonės įkūrimą, Hong prisiminė patarimą, kurį studentams siūlo Lisa Su, lustų milžinės AMD generalinė direktorė: bėkite link sunkiausių problemų.
„Tyrimai matematikoje yra tikrai sunkūs“, – sakė Hong. „Dirbtinis intelektas matematikai dar sunkesnis.“
Ji metė mokslus, kai tik praėjusią vasarą baigėsi „Axiom“ pradinio finansavimo etapas.
Po kelių dienų „Google DeepMind“ ir „OpenAI“ sužavėjo viso pasaulio mokslininkus, kai jų modeliai iškovojo aukso medalius Tarptautinėje matematikos olimpiadoje. Taip pat padarė ir „Harmonic“ – startuolis, kurį kartu įkūrė „Robinhood“ generalinis direktorius Vladas Tenevas, kuris sako, kad „matematinis superintelektas artėja su kiekviena minute“.
Lenktyniaudama su laiku, Hong pradėjo rinkti talentus su Sengupta, jos draugu iš kavinės, kuris dabar yra „Axiom“ vyriausiasis technologijų vadovas. Tarp „Meta“ samdytų tyrimų inžinierių buvo Francois Chartonas, dirbtinio intelekto matematikos pradininkas. Jų įdarbinimo kampanija patraukė dėmesį visame Silicio slėnyje ir patraukė žmogaus, esančio už tūkstančių mylių, dėmesį: Keno Ono.
Netrukus jis susikrovė daiktus su žmona ir jų šuneliu vardu Močis.
Šią savaitę jis pradėjo dirbti kaip, 15-asis „Axiom“ darbuotojas.
Kai jis pradėjo aptarinėti jo vaidmenį, startuolio pradinis pasiūlymas buvo „vyriausiasis matematikas“. Po derybų jie susitarė dėl oficialaus titulo: matematikas įkūrėjas.
Jo darbas – išbandyti įmonės dirbtinio intelekto modelius iki jų ribų. Jis sugalvos reprezentatyvias problemas, kurias galima išspręsti, tik suprantant matematinius principus, tuo pačiu metu kurdamas lyginamuosius rodiklius, kurie matuoja sistemos našumą ir vadovauja modeliams.
„Įsivaizduokite tai, kaip jūreivio žemėlapį“, – sako jis. „Prieš leisdamiesi atrasti naują kraštą, turite žinoti, kur esate ir kas jau buvo ištirta.“
Ono sako, kad tyrinėjimai jį atvedė į „Axiom“ labiau, nei bet kuri kita priežastis, įskaitant finansines.
„Aš to nedarau dėl pinigų“, – sakė jis. Jis jau buvo vienas geriausiai apmokamų UVA darbuotojų ir sako, kad atsisakydavo pelningesnių pasiūlymų ir didesnių akcijų paketų kitose dirbtinio intelekto įmonėse.
Startuolio biuruose Palo Alte, konferencijų salės pavadintos legendinių matematikų – Poincaré, Gausso, Hilberto, Lovelace'o, Turingo – vardais. Įmonei surinkus 64 mln. dolerių, darbuotojai pastebėjo, kad 64 metai yra 26 metai, ir juokavo, kad kitas finansavimo etapas gali būti 27 metai.
Tačiau stebina tai, kad daugelis Ono kolegų yra jo amžiaus.
„Daugelis geriausių tyrėjų iš tolimesnių sričių yra tokiame savo gyvenimo etape, kai jie turi patirties, turi darbų, yra finansiškai saugūs – ir ieško savo palikimo projekto“, – sakė Hongas.
Ir vienas iš jų ieško ir kažko kito.
„Net jei pasieksime superintelektą, liks neišspręstų matematinių klausimų“, – sakė Ono. „Aš vis dar ieškosiu atsakymų.“ [3]
1. Iš esmės Ramanujano kongruencijos yra šiuolaikinės skaičių teorijos kertinis akmuo, parodantis, kad, atrodytų, paprastos skaičiavimo problemos slepia gilias matematines struktūras.
2. Skėčio mėnulio spėlionės hipotezė siūlo gilų ryšį tarp 23 specifinių baigtinių grupių (susijusių su Niemeierio gardelėmis ir Mathieu grupe 𝑀24) ir Ramanujano paslaptingų netikrų teta funkcijų, teigdama, kad kiekviena grupė turi begalinį matmenį modulį, kurio „pėdsakų funkcijos“ yra šios specialios netikros modulinės formos, iš esmės veikiančios, kaip garsiosios monstriškos mėnulio spėlionės „šešėlis“ arba apibendrinimas. Įrodyta Duncano, Chengo ir Harvey, ji atskleidžia paslėptas simetrijas stygų teorijoje ir K3 paviršiuose, sujungdama skaičių teoriją, fiziką ir geometriją.
Baigtinė grupė yra elementų rinkinys (aibė), kuris, sujungus, naudojant konkrečią operaciją (pvz., sudėtis arba daugyba), visada sukuria kitą elementą toje pačioje aibėje, ir, svarbiausia, ši aibė turi tik ribotą, skaičiuojamą narių skaičių, skirtingai, nei begalinės grupės, pvz. visi sveikieji skaičiai, kuriuos galima sudėti. Šios grupės yra pagrindinės abstrakčiojoje algebroje, reprezentuojančios simetrijas matematikoje ir fizikoje, o dažni pavyzdžiai yra modulinės aritmetinės grupės (laikrodžio aritmetika) arba permutacinės grupės (būdai pertvarkyti elementus).
Pagrindinės sąvokos
• Monstriška mėnulio šviesa: originalus reiškinys, jungiantis Monstrų grupę (didžiausią sporadinę paprastą grupę) su modulinėmis funkcijomis.
(Modulio funkcija, dar žinoma, kaip absoliučios vertės funkcija, yra matematinė funkcija, kuri grąžina skaičiaus atstumą nuo nulio skaičių tiesėje, paversdama bet kokią neigiamą įvestį teigiama.)
• Skėčio mėnulio šviesa: tamsesnė, šešėlio tipo versija, apimanti 23 kitas baigtines grupes (Niemeierio gardeles) ir imitacines modulines formas, kurios yra modulinių formų „šešėliai“.
• Netikros teta funkcijos: funkcijos, atsirandančios paskutiniuose Ramanujano laiškuose, susijusios su imitacinėmis modulinėmis formomis, turinčios gilių savybių skaičių teorijoje.
• Mathieu mėnulio šviesa: konkretus skėčio mėnulio šviesos pavyzdys, apimantis Mathieu grupę 𝑀24 ir K3 paviršius, pagrindinę spėlionę.
• Įrodė: matematikai Johnas Duncanas, Miranda Cheng ir fizikas Jeffas Harvey, remdamiesi ankstesniais Terry Gannono darbais.
Ką tai reiškia
• Nustatytos 23 naujos „mėnulio šviesos“, kiekviena susieta su skirtinga gardele, atskleidžiant bendrą pagrindinę struktūrą.
• Numatomi gilūs ryšiai tarp šių grupių simetrijų, K3 paviršių geometrijos stygų teorijoje ir skaičių teorijoje.
• Pateikiami galingi nauji įrankiai (pvz., „šešėlio“ idėja) sudėtingoms matematikos ir fizikos problemoms spręsti.
3. EXCHANGE --- Science of Success: This Math Legend Just Got Hired by His Student --- He's the marquee hire at a mathematics startup. Cohen, Ben. Wall Street Journal, Eastern edition; New York, N.Y.. 06 Dec 2025: B1.
Komentarų nėra:
Rašyti komentarą