
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 OpenAI   ya kuedzwa kwayo pa Feb 14 kuti  , bango rakatangwa nevanyori vane mukurumbira 11 kubva kumayunivesiti akadai seHarvard, Yale, Stanford, uye MIT. yasalayo First Proof Bango iri iunganidzwa yemamwe mapurobulemu gumi asati abudiswa, ematekinoroji ekutsvagurudza akagadzirirwa kunyatsonzwa kuti mamodheru eAI haasati aambosangana nawo. Chinangwa ndechekunzwisisa kana AI iri kunyatsoita   payiri kugadzirisa purobulemu, kana kungoti iri kungoitira   kugadzirisa purobulemu remasvomhu rakatozivikanwa. kufunga kuyeuka Mhedzisiro yeekisamu ino yakaoma yakanga isina kufanana, asi yakanga inoshamisa. Zvichienderana neongororo yenyanzvi, OpenAI inotenda kuti zviyero zvinodarika zvishanu kubva muzana zvamaMoutera ayo emamodheru (purobulemu 4, 5, 6, 9, ne 10) zvine mukana mukuru wekuva chaiwo, uye mamwe achiri kuongororwa. Masayendisiti mukuru Jakub Pachocki akazozivisa kuti nhamba iyi yakawedzerwa kusvika kune nhanhatu, achinyora achiti: “Zvichienderana neongororo yenyanzvi, tinotenda kuti zviyero zvinodarika nhanhatu (2, 4, 5, 6, 9, 10) zvine mukana mukuru wekuva chaiwo, uye zvimwe zviri kutaridzikawo. Aka  kuti kuedza uku “kwakaitika nekukurumidza kwevhiki rose ndichishandisa rimwe remamodheru atiri kudzidzisa,” achirega kuti “nzira yatiri kushandisa ine zvakawanda zviri kusiya zvichidiwa.” wedzera https://x.com/merettm/status/2022517085193277874?s=20&embedable=true Zvisinei, vanyori vakatoona maburi anogona kuva mukati meimwe yeyakasiya, uye chisarudzo chekupedzisira chichatsamira pane kuongororwa kwakadzama nevatsigiri. Hapana nguva chaiyo yekudzokorora kwakadzama yakaziviswa pachena. Kuedza uku kwaive mhedzisiro yekukurumidza kwevhiki rose uko mamodheru matsva eOpenAI akashanda pamwe chete nevanyori vane ruzivo munzvimbo dzakakodzera. Zvakakosha, mitemo yeFirst Proof inoda kuti mazano ese emasvomhu abve kune AI oga; kupindira kwevanhu kune zvemavhukusi kunorambidzwa zviri pachena, izvo zvinoita kuti kubatana nenyanzvi kuve chinhu chekuongororwa. Chikwata cheFirst Proof chacho chakaona kuti, pasina zvirambidzo, masisitimu eAI, kusanganisira GPT 5.2 Pro neGemini 3.0 Deepthink, akagadzira neushingi huzhinji hwese hwezvirongwa gumi, asi maviri chete akatsigirwa neongororo yenyanzvi. Kuedza uku kunoenderana nekuedza kweOpenAI kwakakura mukufunga nesayenzi nenhamba. Muna Chikunguru 2025, rimwe remamodheru ayo rakawana menduru yegoridhe pa  ne35 kubva pa42 mapoinzi. International Mathematical Olympiad Nguva pfupi yadarika, GPT-5.2 yakabatsira vatsvagurudzi kugadzirisa dambudziko rakavhurika mu statistics, nekupindira kwevanhu kwakaganhurirwa pakusimbisa nekunyora pane zvemasvomhu. First Proof Ndei? First Proof ibenchmark yakagadzirwa nevanyori gumi nerimwe, kusanganisira mazita akakurumbira kubva kuHarvard, Yale, Columbia, neEPFL, kuyedza kana AI ichikwanisa kugadzirisa ega marudzi ezvinetso zvinowanikwa mukutsvagurudza kwemayunivhesiti. Kusiyana nemakwikwi ematekinoroji (fungidzira mibvunzo yeOlympiad iine mhinduro dzakachena enhamba), aya anongova ma lemmas: zvidiki, zvine hunyanzvi zvinobvumikisa izvo vanyori vanosangana nazvo pavanenge vachishanda pazvibereko zvikuru. Mabasa acho anotenderera munzvimbo dzakadai sealgebraic topology, spectral graph theory, symplectic geometry, ne numerical linear algebra. Zvakakosha, hapana kana chimwe chezviyero chakambobudiswa online isati yaitika bango iri, zvichidzivisa mukana chero wekuora kweAI data yekudzidzira. Zviyero zvakavharwa nekadhi ndokuburitswa musi waFebruary 13, zvichipa vapinduri vhiki rimwe chete kuti vagadzirise huzhinji. Bango iri rinowana zita rayo kubva kune chimwe chakaenzaniswa nekubika: proof yekutanga ndiyo fermentation huru yedough, nhanho yekutanga isati chinhu chipi nechipisi chakaumbwa kuita chigadzirwa chekupedzisira. Chidzidzo kubva kuFirst Proof hachisi chekuti AI yakundikana. Ndicho chekuti chikumbaridzo chezvinonzi “kugadzirisa” purobulemu remasvomhu chiri kungosvika kure zvishoma. 
 
 Juan Pablo Aguirre Osorio, Mutoridzi, The Sociable

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

Follow us on Twitter 

Read My Stories

Codkan waxa lagu soo saaray afkii asalka ahaa ee sheekada!

OpenAI Imiyala Umkhawulo We-Advanced Math

About Author

FAALLO

HANG TAGS

MAQAALKAN AYAA LAGU SOO BANDHIGAY

Related Stories

88 Stories To Learn About Branding

Meet the Writer: HackerNoon's Contributor Aayush Naik, Software Engineer @ Apple

Meet PennyFly Entertainment, Startups of the Year Winner (Malibu, CA)

Bitcoin NFTs are Getting Easier Every Day: Introducing Ordinals

88 Stories To Learn About Branding

Meet the Writer: HackerNoon's Contributor Aayush Naik, Software Engineer @ Apple

Meet PennyFly Entertainment, Startups of the Year Winner (Malibu, CA)

Bitcoin NFTs are Getting Easier Every Day: Introducing Ordinals

Light-Mode

Classic

Newspaper

Minty

Dark-Mode

Neon Noir

Minty

HN StartUps