Chii chaitika
Chidzidzo chitsva chearXiv chinotsanangura kuti chirongwa chekutsvaga cheAI chakabatsira sei nyanzvi dzemasvomhu kuvandudza miganhu inozivikanwa paGrothendieck nguva dzose, dambudziko rakazaruka rinosangana ne1953. Pepa racho rinopa zvose mhedzisiro yemasvomhu uye chinyorwa chakadzama chekuti hurongwa hwakaitwa sei zvakanaka, apo vanhu vaifanira kuitungamirira, uye izvo zvinodaro zvinoramba zvichisimbiswa nemashini pane kusimbiswa kwevanhu.
Iyo Grothendieck inogara ichiyera gaka riri pakati pedambudziko rakaoma combinatorial optimization uye kuzorora kwakanyanya semidefinite. Vanyori vanorondedzera nguva itsva ine yakaderera yakasungwa ye6pi / 11, inenge 1.7135, uye yepamusoro yepamusoro inenge 1.7818. Bepa remasvomhu rinoperekedza rinopa humbowo. Mhedzisiro yepasi-yakasungwa inocherechedzwa nekuti haigadziri yakaoma muenzaniso; iyo pachinzvimbo inotora chipingamupinyi chinoshanda pane akakodzera zvirongwa zvekutenderera.
Iyo sisitimu yekutsvagisa yakabatanidza muenzaniso wekufunga nemumiririri wekodhi. Bepa rinoti kumhanya kwakashandiswa GPT-5.5-Pro ​​uye gare gare GPT-5.6-Sol pakufunga, Claude Code neOpus uye gare gare Fable 5 pakuurayiwa, uye mana-GPU node yekutsvaga manhamba. Masesheni aienderera mberi kuburikidza nemafaira, zvinyorwa, zvinyorwa zvekuyedza, uye pfupiso yakarekodha zvichemo seyakapupurirwa, inotsigirwa nenhamba, yekufungidzira, kana heuristic pane kuvimba nechinhu chimwe chisina kukanganiswa.
Kumhanya kwacho kwakafukidza zvikamu mazana maviri nemakumi mana ekutsvagisa kubva munaChikumi 16 kusvika Chikunguru 24, paine 2,091 yekufunga-modhi yekufona uye anofungidzirwa mamirioni zana nemakumi mashanu ematokeni pamutengo unofungidzirwa we5,400 API. Inenge 40 mirairidzo yemazuva ano yevanhu yakatungamirira basa. Kana kutsvaga kwepamusoro-soro kwakakwira, vashandisi vakaziva kuti kutadza kudzokororwa kunogona kuratidza kuvharika kwakawanda uye kudzosera sisitimu kune gakava repasi. Iro bepa rinotsanangura shanduko mugwara rekutsvagisa sekupindira kwevanhu, kwete sarudzo yekuzvimiririra.
Iyo sisitimu yakaburitsa yepakati reframe uye humbowo hwakakwana hweiyo 6pi / 11 yakaderera yakasungwa, iyo iyo vanyori vakazogadziridza uye vakazvimiririra simbisa. Yakaburitsawo vakasimba nhamba dzepamusoro nedzepasi vakapasa iyo yemukati yekutarisa protocol, asi vanyori havana kuzvimiririra vakazvimiririra zvitupa izvozvo uye havazvitaure se theorems. Saka bepa rinopatsanura mhedzisiro yemasvomhu yakasimbiswa kubva kune inofungidzira zvakanyanya kana muchina-wakaedzwa zvinobuda.
Kwakabva mashoko: Long-horizon AI mathematics case study on arXiv ↗
Nei zvichikosha
Chidzidzo ichi chinopa humbowo husina kujairika hwechokwadi nezveAI inoshandiswa pachirongwa chekutsvagisa kwete basa rimwechete rebhenji. Kuwana kwayo kunonyanya kukosha ndiko kupatsanurwa kwevashandi: hurongwa hwaive hwakasimba pakuitwa kwehunyanzvi, nepo vaongorori vevanhu vakaramba vaine mhosva yekumisikidza hurongwa, kutonga, uye kuongororwa kwekupedzisira.
Tsvagiridzo yenguva refu yakaoma kune AI system nekuti chinangwa chinogona kuchinja sezvo nzira dzakakundikana dzinounganidza. Mushandi anobatsira anofanira kuchengetedza zvakayedzwa, kusiyanisa magumo kubva kune pfungwa isina kugadziriswa, uye osarudza kana mubvunzo mutsva uchikosha kupfuura kumwe kugadzirisa kwenzvimbo. Vanyori 'faira-based memory uye mazita ekuda kuedza kuita kuti tsvagiridzo iyi ionekwe uye itaridzike pane kutendera mhinduro yakatsetseka kumira mukufambira mberi.
Kuwanikwa kwepasi-pasi kunoratidza kuti sei kutonga kwevanhu kuchiri kukosha kunyangwe mumiririri achigona kuita masvomhu. Vashandi vakaona kuti kuyedza kuvaka kwakawanda kwaikundikana nenzira imwechete uye vakapa iyo conceptual pivot: ratidza kudzokororwa kudzokororwa pachako. Iyo sisitimu yakazobatsira kugadzirisa uye kusimbisa gakava. Kutevedzana ikoko kuri pedyo nekuongorora kwakatariswa pane kune yakazvimirira yemasvomhu yemuchina, uye musiyano unokosha kana uchitsanangura zvinotsigirwa nehumbowo.
Kuzvimiririra verification ndiyo gedhi rekuburitsa remhedzisiro. Nyaya yekuongorora inoti iyo yepasi yakasungwa yakaongororwa nevanyori uye kuti humbowo hwakakwana hunoonekwa mubepa rinofambidzana. Haitauri kuti nhamba yese inogadzirwa panguva yekumhanya ndeyechokwadi. Kuchengeta theorem-level zvichemo, vakaedzwa-muchina, uye fungidziro zvakaparadzana zvinopa vaverengi nzira yekuongorora mupiro vasingagamuchire chivimbo chemukati cheAI system sehumbowo hwemasvomhu.
Kune masangano ekutsvagisa, chidzidzo chinoshanda chinoshanda. Iyo AI sisitimu inogona kutsvaga mabhuku, kunyora kodhi, kumhanya kuyedza, kuchengetedza yakakundikana kuedza, uye kupa zano shanduko, asi yakatenderedza mafambiro ebasa inoda provenance, reproducible computations, yakajeka yekutarisa kwevanhu, uye nzira yekuvaka patsva nei timu yakachinja nzira. Iyo yakashumwa mutengo uye komputa zvakare inojekesa kuti kureba-yepamusoro kugona hausi chete mubvunzo wemuenzaniso njere; zvinoenderana nechikafu, nguva, uye kutariswa kwakasimba.
Interactive Mechanism: Iyo Inonyatsoshanda
Ongorora ari pasi tekinoroji kuseri kwekusimudzira uku uchipindirana.
What most distinguishes an AI agent from a basic chatbot?
Zvekutarisa zvinotevera
Mubvunzo unotevera ndewekuti nzira yekubatana iyi inowanda kupfuura dambudziko rimwe chete uye timu, uye kana vaongorori vakazvimiririra vanogona kuburitsa mhedzisiro yakasimbiswa vachiyera mutengo uye kuvimbika kwemupiro wemunhu wega wega neAI.
Kudzokorora kunofanirwa kuyedza mamwe masvomhu madomasi, marudzi ematambudziko, uye masisitimu ekutsvagisa ane ndangariro dzakasiyana uye magadzirirwo emidziyo. Dambudziko reGrothendieck rakatouya nehurongwa hwakakura hwakavakwa nevanhu, manotsi akaunganidzwa, muchina wekupihwa zvitupa, uye nzira dzevamiriri. Iyo yekutanga chimiro yakabatsira kumhanya, saka zvidzidzo zvenguva yemberi zvinofanirwa kuzivisa kuti yakawanda sei yenyika yekutsvagisa yakapihwa pachine nguva uye kuti mhedzisiro inoshanduka sei kana sisitimu inofanirwa kutsanangura dambudziko pacharo.
Vatsvaguri vanofanirwawo kuenzanisa kuita kwehunyanzvi nekutonga kwekutsvagisa vachishandisa zvinotarisirwa matanho. Metrics anobatsira anogona kusanganisira kunaka kwenzira dzakasarudzwa, nguva yekusiya nzira yekutadza, mwero wezvichemo zvisina kutsigirwa, huwandu hwekupindira kwevanhu, uye chidimbu chezvinobuda zvinopukunyuka kuongororwa kwakazvimirira. Chidzidzo chakakwenenzverwa chinogona kuratidza zvakaitika, asi kuenzanisa kunodzorwa kunodiwa kufungidzira kana mubatsiri weAI achivandudza maitiro pane kungowedzera imwe nhanho yekuongorora.
Muganho pakati pekuongororwa kwemuchina nekusimbiswa kwevanhu unofanirwa kuenderera mberi nekutariswa. Interval arithmetic, vabatsiri vehumbowo, bvunzo, uye ongororo yeanopikisa inogona kubata zvikanganiso zvakawanda, asi chitupa chinogona kuramba chakakodha chinangwa chisiri icho kana zvinoenderana nefungidziro dzisina kumbopokana. Basa rekutevera rinofanirwa kuburitsa zvinyorwa zvakazara, kudzokorodza miganho yakasimba isina kusimbiswa, uye kuita kuti zvakundikana kana kubviswa zvionekwe sezvakabudirira.
Chekupedzisira, mhando dzemodhi, kusimudzira, kutungamira mirairo, kodhi, komputa, uye zvinyorwa zvinofanirwa kuchengetedzwa painobvumidza uye kuvanzika. Bepa razvino rakakosha chikamu nekuti rinoshuma izvo mamiriro uye rinotsanangura kusasimba kwehurongwa, kusanganisira isina kusimba yekutsvagisa-nyika inomiririra uye kuzvitonga kudiki mukutonga. Kusvikira zvimwe zvikwata zvaburitsa patani, uhwu humbowo hwakasimba hweAI-yakabatsirwa kufambira mberi kwemasvomhu, kwete humbowo hwekuti maAI masisitimu anogona akazvimirira kuita tsvakiridzo yakazaruka.