Bagong tagapagwagi ng Medalya ng Fields ay sumali sa OpenAI upang magtrabaho sa AI Safety

Kamakailan lang ay natanggap ang pinakamataas na parangal sa larangan ng matematika, at agad niyang inihayag: pupunta ako sa OpenAI.

Jacob Tsimerman, ang tao na nasa pader kasama si Wang Hong at Deng Yu, ay agad nagpakita sa lahat pagkatapos bumaba:

Ang pinakadramatikong sandali sa kabuuang karanasan ng isang matematiko.

Ang dahilan kung bakit ginamit ang salitang "drama" ay dahil maraming pagkakaiba-iba sa taong ito:

Hindi mo akalain, isang tao na naniniwala na "ang AI ay magdudulot ng pagkawala ng sangkatauhan" ay ngayon ay sumali sa isang AI company.

Kahit isang papel ang isinulat niya na espesipikong nagtataglay ng klasipikasyon para sa “paano nganghusgahan ng AI ang sangkatauhan”.

Ang kanyang X account ay nag-post lamang ng isang post, na tungkol sa kung paano magiging walang trabaho ang mga matematiko.

Ngayon, siya ang unang nawala sa propesyon ng matematiko.

Mayroon siyang isang mag-aaral na tatlong araw na ang nakalipas ay gamit ang Claude Fable 5 ay nagbago ang 87-taong kaso ng Jacobi Conjecture sa isang gabi; nasa Anthropic siya.

Ngayon, sinagip ng guro ang OpenAI. Isang mag-aaral, isang guro.

Hindi lang iyon, ang mga alamat tungkol kay Jacob mismo ay puno ng isang kahon…

Jacob, ipinanganak noong 1988 sa Kazan, Russia, at kasama ng kanyang pamilya ay umalis sa Israel, at pagkatapos ay nanatili sa Canada.

Kinatawan ang Canada sa IMO sa dalawang sunod-sunod na taon, 2003 at 2004, at nakuha ang dalawang ginto, kabilang ang perfect score noong 2004.

16 taong gulang pumasok sa University of Toronto para mag-aral ng matematika, natapos ang bachelor’s degree sa loob ng dalawang taon.

Nakuha ang doktorado noong 2011 sa Princeton, na may tagapayo na si Peter Sarnak. Pagkatapos ay pinaglingkuran ng Harvard Society of Fellows, bumalik sa University of Toronto upang magturo at maging pinakabataeng full professor sa kasaysayan ng departamento ng matematika ng paaralan.

Ang pagkakatanggap na ito ay nagpapahalaga sa kanyang pagpapatotoo sa hipotesis ni André-Oort, isang pangunahing problema sa aritmetikong heometriya na naiwan na nang higit sa 40 taon.

Siya rin ang unang matematiko na nakakakuha ng Fields Medal habang nagtatrabaho sa isang unibersidad sa Canada.

Sa pagkakasundo, ang halaga ng kasalukuyang Fields Medal ay medyo nakakatakot na: ang Kakeya Conjecture, nakahintay na mula 1917; ang kinetik na bahagi ng Hilbert's Sixth Problem, itinakda noong 1900; kasama na ang André-Oort.

Tatlong malalaking kaso na hindi nalulutas sa loob ng isang apat-taon na panahon.

Ibig sabihin, si Jacob ay ang nanalo sa isang "malaking taon" ng matematika, laban sa pinakamalakas na klase ng mga kalaban.

IMO perfect score, youngest full professor, solver of a 40-year cold case.

Ang may-ari ng resume na ito, ayon sa iskrip, ay dapat nasa entablado upang magpasalamat sa mga guro at magpanaginip tungkol sa kinabukasan ng disiplina.

Ano ang resulta?

Local time, July 23, Philadelphia, opening ceremony of the International Congress of Mathematicians (ICM).

Sa press conference, natanong siya tungkol sa kanyang mga plano para sa hinaharap, at agad niyang sinabi: Sasamahan niya ang OpenAI sa malapit na pagkakataon, sa larangan ng AI safety.

Naniniwala akong nagbabago ang mundo. Ang mga propesyon sa matematika na kilala natin ngayon… hindi naniniwala akong magiging ganito pa ito sa hinaharap.

Isang pahayag na ginawa ang gawain bilang isang pagpapahayag ng paglipat.

Ang bilis ng reaksyon ng OpenAI ay parang makakakuha ng limited edition:

Ipinost ng seguridad na researcher at propesor ng Harvard, Boaz Barak: Inaasahan at "nagdudulot ng malalim na pagkabigla" ang pagtanggap kay Jacob para magtrabaho kasama sa AI security.

Kasama rin ni Sebastien Bubeck, dating vice president ng Microsoft at kasalukuyang OpenAI: Maligayang pagdating sa team, lalabas ang napakaganda.

Habang nagkakaroon ng pagkagulat o kagulitan, sinuri ng mga tao ang kanyang mga pag-aaral at pahayag sa loob ng mga taon.

Nakikita na, lahat ay may mga tanda.

Buksan ang homepage ng X account ni Jacob, kung saan ipinapakita na kasali siya noong 2014.

Ngunit matapos ang mga dekada, mayroon lang isang post sa itaas, kaya ang post na iyon ang naging mahalagang susi upang makilala siya.

Ang post ay isang tugon niya sa isang artikulo ni Daniel Litt, at ang usaping tinalakay ay napakasimple:

Ano ang halaga ng problem-solving sa pag-aaral ng matematika.

Ang kanyang sagot ay: Halos lahat.

Pagkatapos ay isinampa niya ang isang napakalalalim na bagay. Sinabi niya na ang kanyang karamihan sa oras ay ginagamit para lutasin ang mga problema, at kahit sino ang makalutas ng pangkalahatang anyo ng Zilber-Pink conjecture…

Nawala ang buong aking pangunahang larangan ng pag-aaral.

Buong komunidad ng akademiko, mga matematiko, postdoctoral, at mag-aaral sa gradwado, lahat ay nakapaligid sa isang konjektura lamang: paghihiwalay ng mga partikular na kaso, pagsubok ng mga estratehiya, paghahanap ng mga katulad.

At ang araw na malutas ang ganitong hipotesis, lahat ay kailangang maghanap muli ng problema.

Ipinaliwanag niya ang proseso bilang “nagdudulot ng pagkakalito, nagpapalabas ng maraming enerhiya, hindi simple, at hindi laging kasiya-siya.”

Noong nakaraan, ang “taong lutasin ang isang konhektura” ay maaaring tanging isang matematiko lamang, at nangyayari ito isang beses sa isang siglo.

Ngayon, maaaring isang modelo, at maaaring dumating kahit anong oras.

Gaano kabilis ito? Binigay niya ang iskedyul sa isang interbyu sa AMS Notices (Announcements ng American Mathematical Society) sa taong ito:

Limang taon? Sa tingin ko, loob ng dalawang taon, mas magaling na siya sa pagpapatotoo ng teorema kaysa sa atin. Sa panahong iyon, kailangan lang nating sabihin: Ito ang proposition, pumapatotoo ka na.

Sa post, nag-isip siya ng isang eksperimento sa isip: Ipagpalagay na mayroon ka sa iyong kamay na isang AI oracle machine, kung saan anumang matematikal na proposition ay agad na makakatanggap ng tama o mali.

Ano ang magiging pang-araw-araw ng mga tagabuo ng teorya?

Ibinigay mo ang isang depinisyon, tapos agad mong tinanong ang libo-libong tanong. Mula sa “totoo ba ang mga pangunahing katangiang ito?” hanggang sa “oh, tama pala, totoo ba ang malalim na konjeturang ito?” Patuloy na bumabalik ang mga sagot, at patuloy mong binabago ang depinisyon. Sa loob ng ilang araw, maaaring lumikha at tapusin ang buong direksyon ng pag-aaral.

Sobrang tahimik at malalim ang kanyang pagpapasya sa skena na ito: Ito ay dalawang magkaibang bagay, sobrang iba sa modernong matematika.

Kakaibang bagay, ang sarili niya ay nasa version na mas mababa na ng ganitong uri ng buhay.

Sa parehong interbyu, ipinahayag niya na nagdulot na ang AI ng pagdoble ng kanyang produktibidad sa pananaliksik, at noong 2025, isinumite niya ang limang papel sa matematika sa arXiv. Ang kanyang araw-araw na proseso ay ang paggamit ng ChatGPT at Claude upang maunawaan ang hangganan ng problema, hingin ang mga sanggunian, at hilingin sa modelo na patunayan ang mga lema:

Kadalasan ay mali ang patunay na ibinibigay nito. Pero karaniwang nakakakuha ito ng tamang direksyon, at nakakatulong sa akin na tapusin ang 80%, at ang natitira ay aking hahawakan.

Sa ibang salita, ang oracle machine ay hindi pa dumating, ngunit ginagamit niya ang sample araw-araw.

Dahil sa malalim na paggamit, mas hindi siya maayos sa pag-iisip ng kanyang mga kasamahan:

May malaking dami ng cope sa larangan ng matematika; dahil sa pagmamasid na mas mababa pa ang AI sa kasalukuyan kaysa sa mga matematiko, sila ay nagtatapos na laging mas mababa ito.

Sa mga kakilala, maaaring sapat na radikal ang mga salitang ito.

Ngunit para kay Jacob, ang "AI ay lalampas sa mga matematiko sa loob ng dalawang taon" ay ang pinakamababang bahagi ng kanyang lahat ng mga pagtataya.

Ang totoong kaniyang pagtataya ay:

Naniniwala ako na may malaking posibilidad na magdulot ang AI sa pagkawala ng sangkatauhan.

Hindi ito pangungusap na sinasabi lang. Noong 2025, ang kanyang ika-6 na artikulo na isinumite sa arXiv ay hindi matematika; ang pamagat nito ay “Taxonomy of Existential Futures Involving AI,” at ang kanyang kasamang may-akda ay ang kanyang matandang kaibigan na si Andrew Critch, na isang eksperto sa AI safety.

Ang abstrak ay sinulat nang direkta: Ang artikulong ito ay klasipikasyon at pagbibigay ng mga halimbawa ng mga pagkakataon ng pagkawala dahil sa AI, kung saan ang lahat o halos lahat ng tao ay nasasakop. Ang mga pangyayaring ito ay hindi hindi maiiwasan, kundi mga posibilidad na maaari nating iwasan sa pamamagitan ng ating pagsisikap.

Isang matematikong may award na Fields, gamit ang katiyakan ng pagsusulat ng papel, nagbuo ng isang klasipikasyon para sa "Paano ang AI ay magpapalabas sa tao".

Kung takot ka naman sa ganito, bakit ka pa sumali sa isang AI company?

Sa interbyu, sinagot niya rin: sumusuporta siya sa pagpapahinga sa AI, ngunit hindi naniniwala na mangyayari ito. Dahil hindi ito matitigil, mas mabuti na pumasok upang maunawaan at makilahok sa pagbuo nito, kaysa magtanggi mula sa labas—kung hindi, “mababawasan tayo.”

Pumunta sa OpenAI, pumunta sa security department, naging lohikal na.

At sa dulo ng post, sinabi niya na mayroong nag-claim na naggagawa sila ng matematika para lamang sa paghahanap ng katotohanan, at mayroon ring nagpapahalaga dito bilang tanging marangal na motibo.

Hindi siya sumasang-ayon.

Naglalaro ako ng matematika, pangunahin dahil natutuwa ako dito at masisigla ako dito. Ang mga matematiko ay tao rin, kailangan ng pera, tirahan, pagkain, pag-ibig, ehersisyo, at iba’t ibang anyo ng kahulugan. Kung nawala ang kasiyahan sa paglutas ng mga problema, marami ang maaaring hindi na gustong magpatuloy sa matematika, kahit mayroon pang ibang daan.

Sa pamamagitan ng mga salitang ito, madaling makita ang ilang dahilan sa likod ng mga pagpili.

Ang galaw ni Jacob ay nagiging dahilan upang pag-usapan ang isang iba pang bagay:

Nasaan ngayon ang apat na tagapagwagi na ito, at sino pa ang posibleng maging target ng mga malalaking kumpanya?

Bago ang pagmamarka, gamitin muna ang framework ni Jacob sa kanyang sariling post.

Ibinahagi niya ang matematikong gawain sa dalawang kategorya: paglutas ng problema (problem-solving) at pagbuo ng teorya (theory-building).

At ang pinakamalaking pangangailangan ng AI lab sa kasalukuyan ay ang unang uri ng tao:

Ang pagbibigay ng isang proposition, pagtataya kung tama o mali, at paghahanap ng patoto o kontrabidyo ay ang pinakamainam na kakayahan para sa pagsasanay at pagtataya ng mga modelo ng pag-iisip.

Sa ibang salita, mas mataas ang halaga sa merkado ng paglipat ng isang matematiko na mas katulad ng “machine na lutasin ang problema”.

I-scan ang listahan ayon sa pamantayan na ito.

Wang Hong, kasalukuyang propesor ng New York University at nagtatrabaho sa Institut des Hautes Études Scientifiques (IHES) ng Pransya.

Ang kanyang 127-pahina na patotoo sa Kakeya Conjecture, na isinama ni Joshua Zahl, ay tinawag na “isang beses sa isang daan” at nagpapakita sa kanya bilang ikatlong babae sa kasaysayan ng 90 taon ng Fields Medal.

Bago siya makatanggap ng parangal, nakalikom na siya ng mahabang lista ng mga parangal tulad ng Salem Award, Ostrowski Award, Clay Research Award, at New Horizons Award, at siya ang may pinakamataas na akademikong pagkakakilanlan sa grupo.

Ang ganitong uri ng harmonious analysis ay tama sa direksyon na pinakakailangan ng AI reasoning research.

Ang paraan ng paglutas ng mga tanong tulad ng Kakeya—matigas na pagtataya, mga teknik sa kombinatorika, at pagkakaroon ng hakbang-hakbang na pagkakaroon ng pag-unawa—ay halos isang high-end na bersyon ng set ng pagsusuri sa mga modelo ng pag-iisip.

Dagdag pa sa pinakamataas na public voice, malamang siya ang unang linya sa listahan ng headhunter.

Ang tanging reverse signal ay:

Kamakailan lang niyang natanggap ang posisyon sa IHES sa akademya at nasa panahon ng “pinakamalaking kapakinabangan sa akademya”; kaya’t maliit ang kanyang pagkakataon na umalis nang may aktibong layunin.

Deng Yu, propesor ng University of Chicago, ay nagwagi ng parangal dahil sa kanyang trabaho na nag-uugnay sa mikroskopiko at makroskopiko na paglalarawan ng gas, o ang kinetikong bahagi ng Hilbert Sixth Problem.

Pagkatapos mabigyan ng abiso ng pagpanalo noong Enero, naglakad siya nang ilang araw sa tabi ng Lake Michigan upang magpahinga, tapos bumalik sa opisina para magtrabaho muli, “gawin mong parang wala nang nangyari.”

Ang detalyeng ito ay nagpapaliwanag nang lubos: ang isang tao na nakakakuha ng parangal at maaaring "gawing parang wala" ay malamang na maaari ring gawing parang wala ang isang offer mula sa malaking kumpanya.

At ang kanyang direksyon ay mas nakatuon sa matematika at pisika at PDE, na kaunting layo sa pangunahang larangan ng kasalukuyang mga modelo ng pag-iisip, at parehong interes ay mahina.

Ang tingin ay siya ang pinakamaliit na posibilidad na magpalit ng trabaho sa apat.

John Pardon, propesor sa Simons Center for Geometry and Physics ng Stony Brook University, espesyalista sa symplectic topology.

Ang pinakabata sa apat na legend, nag-resolba ng isang 30-taong problema habang nasa undergraduate.

Ayon sa pagkakasuri ni Jacob, siya ay isang tipikal na "batang lalaking naglulutas ng problema," at ang ganitong resume ay nagpapahinga sa mga laboratorio.

Ngunit ang simplicial topology ay ang pinakamalalim na abstraktong heometriyang hindi kayang lutasin ng mga modelo sa kasalukuyan, at sa maikling panahon, hindi makakatulong ang modelo sa kanya, at hindi rin kailangan niyang tumulong sa modelo.

Ang variabel ay ang kanyang kabataan; kung talagang magsisimula ang AI na makaharap sa hardcore geometry pagkatapos ng dalawang taon, siya ang unang makararanas ng epekto at may pinakamaraming kapital upang magbago ng karera.

Sa kabuuan, isa ay umalis na, isa ay walang kulang, isa ay hindi nais, at isa ay hindi nagmamadali.

Ngunit sa kasalukuyang pagkakataon, ang listahang ito ay malamang ay hindi magiging matatag nang matagal dahil sa pagkakaroon ng labanang pangunahin ng mga AI lab para sa mga matematiko.

Huwag kalimutan na ang laban para sa mga talento sa matematika ng Google DeepMind, OpenAI, at Anthropic noong nakaraang taon ay hindi kahit anong mas maliit kaysa sa paghahanap ng mga inhinyero.

Sa gayon, lahat ng apat na tagapagwagi ay nagsikap na.

Ngunit may isa pang huling pagbabalik ang kwentong ito.

Ibalik ang oras sa tatlong araw bago ang pagbibigay ng parangal.

Sa gabi ng final ng World Cup, ang matematikong si Levent Alpöge ay nag-post sa X: Ang Jacobi Conjecture ay mali.

Ang isang hipotesis na ipinakilala noong 1939 ay nanatiling hindi lutasin sa loob ng 87 taon at nakalista sa sikat na talaan ni Smale ng mga problema sa matematika para sa ika-21 siglo.

Ang halimbawang ipinakita ni Alpöge ay may 216 na karakter lamang, na maaaring patunayan ng anumang matematiko nang manual.

Ang naghanap ng karayom sa loob ng bungkal ng kahoy para sa kanya ay ang Claude Fable 5, na inilabas ng Anthropic noong nakaraang buwan.

Lumabas siya ng espesyal na pagpapala sa “fable” dahil sa pagpapatuloy nito sa pagtatrabaho sa panahon ng World Cup Final.

The counterexample was quickly independently verified.

Ipinapakita ni Timothy Gowers, tagapagwagi ng Fields Medal, na ito ang unang pagkakataon na nakikita niya ang isang LLM na lutasin ang isang "nangungunang problema" sa labas ng kanyang sariling larangan.

Isang modelo, isang gabi lang ay nalutas ang isang kaso na naiwan na walang solusyon noong 1987.

Ang hinaharap na ilarawan ni Jacob sa post ay ganito.

Punto ng pagkakataon.

Ang Alpöge na ito, isang alumnus ng Harvard Society of Fellows, ay isang matematiko ngayon sa Anthropic.

Samantalang siya ay nagsasagawa ng kanyang undergraduate studies sa Harvard, ang kanyang tagapayo sa thesis ay si Jacob Tsimerman, na naging Junior Fellow sa Harvard noong panahong iyon.

Ang guro ay nagsalita sa iisang post na ang AI ay magiging namamahala sa paglutas ng mga problema; ang isang mag-aaral ay gamit ang AI sa isang gabi noong nakaraang linggo ay nagbago sa isang matagal nang teorya, at nagbigay ng pagpapatotoo sa propesya ng guro nang maaga.

Sa loob ng tatlong araw, matapos makuha ang Medalya ng Fields, ipinahayag ng guro ang kanyang pagkakasama sa OpenAI.

At ang estudyante, sa Anthropic.

Dalawang magkakasamang magtuturo at mag-aaral, isang pamilya bawat isa.

Link ng referensya:

[1]https://x.com/chi_t_williams/status/2080339331139424727

[2]https://x.com/torgeirlysen/status/2080393136962957471?s=20

[3]https://x.com/proofchecker/status/2080386577595822537?s=20

[4]https://x.com/Jacob_Tsimerman

[5]https://www.ams.org/journals/notices/202607/noti3372/noti3372.html

Ang artikulong ito ay galing sa WeChat public account na “Quantum Bit”, may-akda: Yi Shui