Kini o ṣẹlẹ
Awọn oniwadi ṣe apejuwe Ibusọ naa, agbegbe ṣiṣi-aye nibiti awọn aṣoju AI lati oriṣiriṣi awọn idile awoṣe ni ominira yan awọn itọsọna iwadii, ṣiṣe awọn idanwo, ṣe ifowosowopo ati ṣe alabapin si iwe imọ-jinlẹ ti o pin. Kọja awọn iṣoro ikole 12 lati katalogi AlphaEvolve ati awọn iwadii ọran afikun meji, iwe naa ṣe ijabọ awọn abajade tuntun lori ọpọlọpọ awọn iṣoro mathematiki, pẹlu awọn eto Kakeya aaye-ipari, awọn atunto ifẹnukonu ati iṣoro agbekọja-kere ti Erdős.
Orisun naa ṣapejuwe Ibusọ naa gẹgẹbi agbegbe-aṣoju ọpọlọpọ-aye fun wiwa mathematiki adase. Awọn aṣoju AI lati oriṣiriṣi awọn idile awoṣe lepa ibi-afẹde iwadi pinpin laisi oluṣakoso aarin tabi opo gigun ti iwe afọwọkọ. Wọn yan awọn itọsọna tiwọn, ṣe awọn idanwo, ṣe ifowosowopo pẹlu ara wọn ati kọ awọn iwe imọ-jinlẹ ti o pin. Iṣeto yii yatọ si ohun elo ti eto kan ti o rọrun lati ṣe ilana ti a ti pinnu tẹlẹ ti awọn iṣẹ ṣiṣe mathematiki: ibeere agbedemeji iwe naa ṣe ifiyesi bii awọn aṣoju ṣe ṣeto iṣẹ ṣiṣe iwadii ni agbegbe ti o ni ihamọ.
Awọn áljẹbrà ko ni pato awọn orukọ, titobi tabi awọn agbara ti awọn awoṣe ti a lo, tabi ko ṣe iṣiro awọn orisun iširo tabi akoko ti a beere. Kọja awọn iṣoro ikole 12 ti o fa lati inu iwe akọọlẹ AlphaEvolve ati awọn iwadii ọran meji miiran, awọn onkọwe ṣe ijabọ awọn abajade ti wọn ṣe apejuwe bi aramada ni ibatan si awọn iwe iṣaaju lori awọn iṣoro marun. Awọn abajade ti a ṣe akojọ pẹlu idile ailopin tuntun ti awọn eto Kakeya ti o ni opin; titun gangan 604-ojuami fenukonu atunto ni apa miran 11; awọn igbasilẹ tuntun fun abẹrẹ Kakeya ti a sọ di mimọ ati fowo si awọn iṣoro aidaniloju; ati imudara isale kekere fun iṣoro agbekọja-kere ti Erdős. Awọn áljẹbrà tun Ijabọ wipe awọn aṣoju awari aramada ailopin idile fun Book Ramsey awọn nọmba. Iwọnyi jẹ awọn ẹtọ ti a ṣe ni áljẹbrà iwe; orisun ti a pese nibi ko ṣe idasile aratuntun mathematiki tabi atunse ti abajade kọọkan.
Iwe naa sọ pe awọn aṣoju ṣe agbejade diẹ sii ju awọn iṣelọpọ nọmba. Wọn tun ṣe ipilẹṣẹ awọn imọ-jinlẹ ati awọn itupalẹ ti n ṣalaye bi awọn ikole ṣe n ṣiṣẹ, eyiti awọn onkọwe ṣe afihan bi ṣiṣe awọn abajade diẹ sii itumọ ati rọrun fun awọn onimọ-jinlẹ lati kọ lori. Awọn oniwadi naa sọ pe wọn n ṣe idasilẹ awọn ijiroro aṣoju aise, awọn ẹri ati koodu ijẹrisi, pẹlu awọn ohun-ini ijẹrisi miiran. Itusilẹ yẹn le gba awọn oniwadi ita laaye lati ṣayẹwo ọna lati ṣawari aṣoju si awọn ẹtọ ikẹhin. Orisun naa ko pese awọn akoonu ti awọn ohun-ọṣọ wọnyẹn, awọn abajade isọdọtun ominira, tabi akọọlẹ alaye ti eyikeyi atunyẹwo eniyan ti a ṣe ṣaaju ifakalẹ.
Awọn alaye orisun: arxiv.org ↗
Kini idi ti o ṣe pataki
Iṣẹ naa jẹ ohun akiyesi nitori pe awọn aṣoju ṣe agbejade kii ṣe awọn iṣelọpọ nọmba nikan ṣugbọn awọn imọ-jinlẹ ati awọn itupalẹ ti a pinnu lati ṣalaye wọn. Ti awọn abajade ba duro fun iṣayẹwo siwaju sii, eto naa le funni ni awoṣe fun iwadii mathematiki iranlọwọ AI ninu eyiti awọn aṣoju ṣawari awọn iṣoro ṣiṣi-iṣiro ju ki o tẹle ilana ti o wa titi, ṣiṣiṣẹ iwe afọwọkọ aarin.
Awọn awari ti o royin jẹ pataki nitori pe wọn gbe awọn aṣoju AI sinu ipa iwadii ti o gbooro ju iran idahun lọ. Awọn aṣoju jẹ apejuwe bi yiyan awọn itọnisọna, idanwo awọn imọran ati pinpin iṣẹ agbedemeji ni ilepa awọn abajade mathematiki. Apẹẹrẹ yẹn le wulo fun awọn iṣoro nibiti aaye ti awọn iṣelọpọ ti o ṣeeṣe ti tobi ju fun ilana wiwa ti o rọrun, paapaa nigbati awọn aṣoju le pin iwadii kaakiri awọn ọna oriṣiriṣi ati lẹhinna kọ lori awọn awari ọkan miiran. Iwe naa ko fi idi rẹ mulẹ pe Ibusọ naa munadoko diẹ sii ju awọn oniwadi eniyan tabi wiwa adaṣe adaṣe ni gbogbogbo.
Ijọpọ ti a royin ti awọn ikole, awọn ẹri ati awọn itupalẹ alaye jẹ pataki pataki fun lilo imọ-jinlẹ. Nkan oni nọmba le nira lati ṣe ayẹwo tabi faagun ti eto ipilẹ rẹ ko ba ṣe akiyesi. Awọn onkọwe sọ pe Ibusọ ti ipilẹṣẹ awọn ariyanjiyan ti n ṣalaye idi ti awọn ikole rẹ n ṣiṣẹ, ni agbara fifun awọn ohun elo mathimatiki ti wọn le rii daju, sọ di mimọ tabi ṣakopọ. Iyatọ yẹn tun ṣe iranlọwọ lati ṣalaye idiwọn iṣe fun wiwa iranlọwọ AI: iṣelọpọ iwulo gbọdọ jẹ ayẹwo ati oye, kii ṣe iwo aramada lasan tabi aṣeyọri iṣiro. Orisun ko funni ni iṣiro ominira ti didara tabi pipe ti awọn alaye wọnyẹn.
Apẹrẹ-ìmọ-aye tun jẹ ki iwadii naa ṣe pataki si idagbasoke ti awọn eto AI aṣoju-pupọ. Alakoso aringbungbun ati opo gigun ti iwe afọwọkọ le ṣe idiwọ ihuwasi ati irọrun igbelewọn; Ibusọ dipo ngbanilaaye awọn aṣoju lati ṣeto awọn itọnisọna ati ṣe ifowosowopo nipasẹ ẹgbẹ iṣẹ ti o pin. Ti o ba tun ṣe, eyi le sọ fun awọn ọna ṣiṣe fun iṣawari imọ-jinlẹ ni mathimatiki ati o ṣee ṣe awọn aaye miiran. Ni akoko kanna, ominira-ipinnu le jẹ ki iyasọtọ, abojuto ati itupalẹ ikuna le. Orisun naa ko sọ bawo ni a ṣe yanju awọn edekoyede, bawo ni a ṣe fi awọn abajade ṣinalọ, tabi boya awọn aṣoju ṣe fikun awọn laini ero inu ti ko tọ.
Ibaraẹnisọrọ Mechanism: Bii O Ṣe Nṣiṣẹ Lootọ
Ṣawari imọ-ẹrọ abẹlẹ lẹhin idagbasoke yii ni ibaraenisọrọ.
An agent must create a draft calendar event for Tuesday at 2 p.m. Which evidence would establish the requested result?
Kini lati wo tókàn
Iwe naa jẹ ifisilẹ arXiv aipẹ, ati pe awọn ẹtọ rẹ yẹ ki o ṣe itọju bi awọn abajade ti o royin nipasẹ awọn onkọwe ni isunmọ ayẹwo mathematiki gbooro. Awọn aimọ pataki pẹlu iye ilowosi eniyan ti o nilo, eyiti awọn idile awoṣe ṣe alabapin eyiti awọn iwadii wo, iye igba ti eto naa kuna, ati boya awọn ọna ti a royin ṣakopọ ju awọn iṣoro ti a yan lọ.
Ibeere lẹsẹkẹsẹ jẹ ijẹrisi. Orisun naa sọ pe awọn oniwadi n ṣe idasilẹ awọn ẹri, koodu, awọn ijiroro aise ati awọn ohun-ini ijẹrisi, ṣugbọn ko sọ pe awọn mathimatiki ominira ti jẹrisi awọn abajade. Awọn oluka yẹ ki o wa ayewo alaye ti awọn ikole tuntun ti a sọ, awọn aala ati awọn idile ailopin, pẹlu boya awọn ẹri fi idi awọn ipinnu ti a sọ kalẹ ni kikun ati boya lafiwe pẹlu awọn iwe iṣaaju jẹ deede. Titi ti iṣẹ yẹn yoo fi ṣe, apejuwe ailewu ti o lagbara julọ ni pe iwe naa ṣe ijabọ awọn awari wọnyi.
Iwe akọọlẹ iwe naa fi awọn alaye iṣẹ ṣiṣe pataki ti ko ni pato silẹ. Ko ṣe idanimọ awọn idile awoṣe ti o kopa ninu arosọ ti a pese, ṣalaye bi awọn aṣoju ṣe paarọ alaye, ṣe iwọn ilowosi eniyan, iṣiro iṣiro tabi awọn idiyele ami, tabi fifun aṣeyọri ati awọn oṣuwọn ikuna kọja gbogbo awọn igbiyanju igbiyanju. Awọn alaye wọnyẹn yoo pinnu boya eto naa ṣe aṣoju ọna iwadii ti o wulo ni gbooro tabi iṣafihan ti a ti yan daradara. O tun jẹ aimọ boya awọn aṣoju ṣe awari awọn imọran bọtini ni ominira, ṣajọ wọn lati awọn ohun elo ti o wa tẹlẹ, tabi gbarale apẹrẹ ti a ṣe apẹrẹ eniyan ni ikọja agbegbe funrararẹ.
Iṣẹ siwaju yẹ ki o ṣe idanwo boya ọna gbigbe si awọn kilasi iṣoro tuntun ati awọn ipo ti ko dara. Awọn igbelewọn to wulo yoo ṣe afiwe Ibusọ naa pẹlu awọn eto aṣoju-ọkan, imọ-jinlẹ adaṣe adaṣe adaṣe deede, wiwa ti a fojusi ati ṣiṣan iṣẹ-dari eniyan; ṣe ijabọ iṣẹ lori awọn iṣoro ti o waye; ati wiwọn igbẹkẹle ati mimọ ti awọn ẹri ti ipilẹṣẹ. Orisun naa ko tun fi idi mulẹ bi eto ṣe huwa nigbati awọn aṣoju gbejade awọn iṣeduro rogbodiyan tabi nigbati ijẹrisi jẹ gbowolori. Awọn idiwọn wọnyẹn ṣe pataki fun imuṣiṣẹ ni ọjọ iwaju ti awọn aṣoju iwadii adase, nibiti awọn igbasilẹ ṣiṣafihan ati idajọ mathematiki eniyan yoo jẹ pataki.