
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 OpenAI   ny fiezahan'ny porofo nataony tamin'ny 14 Febroary ho an'ny  , fanamby iray namboarin'ny mpanao matematika 11 lehibe avy amin'ny andrim-panabeazana toy ny Harvard, Yale, Stanford, ary MIT. namoaka First Proof Ny fanamby dia andiana olana matematika 10 tsy navoaka, ambaratongam-pikarohana, natao manokana mba tsy ho azon'ny maodelin'ny artifisialy intelligence (AI) hoe efa nahita azy ireo. Ny tanjona dia ny hahatakatra raha tena   ny AI rehefa mamaha olana, raha ampitahaina amin'ny mety   ny fomba famahana olana matematika efa fantatra. mamakafaka mahatsiaro Ny vokatra azo avy amin'ny fitsapana mafy dia mifangaro, saingy mahagaga. Miorina amin'ny valin-kafatra avy amin'ny manampahaizana, mino i OpenAI fa farafahakeliny dimy amin'ireo fiezahan'ny maodelin'izy ireo (olana 4, 5, 6, 9, ary 10) no mety ho marina, ary mbola misy hafa maromaro eo ambany fandinihana. Ny lehiben'ny mpahay siansa Jakub Pachocki dia nanavao izany isa ho enina, nanoratra hoe: "Miorina amin'ny valin-kafatra avy amin'ny manampahaizana, mino izahay fa farafahakeliny enina amin'ireo vahaolana (2, 4, 5, 6, 9, 10) no mety ho marina, ary misy hafa toa mampanantena." Nampiany  fa ny fiezahana dia "fisehoan-javatra an-tsivana natao tao anatin'ny herinandro, nataon'ny famononana ny iray amin'ireo maodely izay omenay fiofanana", ary nekeny fa "ny fomba nampiasanay dia mbola maro no tsy maintsy hatsaraina." 
 https://x.com/merettm/status/2022517085193277874?s=20&embedable=true Na izany aza, efa nahita lavaka mety hisy ao amin'ny enina amin'ireo, ny mpanao matematika, ary ny didim-pitsarana farany dia miankina amin'ny fandinihana ara-pitsarana. Tsy misy daty voalohany ho an'ny fandinihana ara-pitsarana no nambara tamin'ny fomba ofisialy. Ny fiezahana dia vokatry ny herinandro famohazana izay niasan'ny maodely farany indrindra avy ao amin'ny OpenAI niaraka tamin'ny mpanao matematika olombelona manam-pahaizana momba ny sehatra mifanaraka amin'izany. Tena zava-dehibe, ny fitsipiky ny First Proof dia mitaky fa ny hevitra matematika rehetra dia tokony avy amin'ny AI amin'ny fomba tena izy; ny fidirana an-tsehatry ny olombelona amin'ny votoatin'ny matematika dia voarara tanteraka, izay mahatonga ny fiaraha-miasa amin'ny manampahaizana ho lohahevitry ny fanaraha-maso. Ny ekipan'ny First Proof mihitsy no nahita fa, raha tsy misy famerana, ny rafitra AI, anisan'izany ny GPT 5.2 Pro sy Gemini 3.0 Deepthink, dia namokatra porofo ho an'ny olana 10 rehetra, fa roa ihany no nahavita ny fandinihan'ny manampahaizana. Ity ezaka ity dia anisan'ny ezaka lehiben'ny OpenAI amin'ny fanaovana siansa sy fanisa. Tamin'ny Jolay 2025, iray tamin'ireo maodeliny no nahazo ny medaly volamena tamin'ny   tamin'ny isa 35 tamin'ny 42. International Mathematical Olympiad Vao haingana, ny GPT-5.2 dia nanampy ireo mpikaroka hamaha olana ara-teorika misokatra amin'ny antontan'isa, ny andraikitry ny olombelona dia voafetra amin'ny fanamarinana sy ny fanoratana fa tsy amin'ny fananganana matematika. Inona no atao hoe First Proof? Ny First Proof dia mari-pamantarana noforonin'ny mpanao matematika 11, anisan'izany ny anarana akaikin'ny Fields Medal avy amin'ny Harvard, Yale, Columbia, ary EPFL, mba hizaha toetra raha afaka mamaha samirery ny AI ny karazana olana izay miseho voajanahary amin'ny fikarohana akademika. Mifanohitra amin'ny fifaninanana matematika (eritrereto ny olana Olympiad miaraka amin'ny valiny nomerika madio), ireo dia lemmas: porofo kely sy teknika izay sendra ny mpanao matematika rehefa miasa amin'ny voka-dratsy lehibe kokoa. Ny olana dia miitatra amin'ny sehatra toy ny algebraic topology, spectral graph theory, symplectic geometry, ary numerical linear algebra. Zava-dehibe, tsy nisy tamin'ireo vahaolana no navoaka an-tserasera talohan'ny fanamby, ka n Sakana ny mety ho loto avy amin'ny angona fiofanana AI. Nisy encryption ny vahaolana ary navoaka tamin'ny 13 Febroary, ka nomen'ny mpandray anjara herinandro iray fotsiny mba hamahana ny porofo. Ny fanamby dia mandray anarana avy amin'ny fanoharana fanaovana mofo: ny porofo voalohany dia ny fampangatsiahana lehibe ny koba, ny dingana voalohany alohan'ny handrahoana zavatra ho vokatra farany. Ny lesona avy amin'ny First Proof dia tsy hoe tsy nahomby ny AI. Fa ny tsipika ho an'izay heverina ho "famahana" olana matematika dia vao mainka niakatra be. 
 
 Juan Pablo Aguirre Osorio, Mpanangarama, The Sociable

This story contains new, firsthand information uncovered by the writer.

Follow us on Twitter 

Read My Stories

Ity horonam-peo ity dia novokarina tamin'ny fiteny niandohan'ny tantara!

OpenAI manosaka ny tambatsalan'ny tambatsala ho amin'ny fetran'ny matematika mandroso

About Author

COMMENTS

HANG TAGS

ITY ARTICLE ITY NO NARESAKA TAMIN'NY

Related Stories

Light-Mode

Classic

Newspaper

Minty

Dark-Mode

Neon Noir

Minty

HN StartUps