Lu xew
Gëstukat yi dañuy leeral Gaaraas bi, ap bërëb bu ubbeeku fu ay ndawu juntuwaay yu bees yu juge ci ay njaboot yu wuute di tann seen bopp ay yooni gestu, def ay jangat, ligeeyandoo ak bokk ci benn mbindu siyaas bu ñu bokk. Ci 12 jafe-jafe tabax yu bawoo ci katalogu AlphaEvolve ak ñaari yeneen jangat, këyit bi dafa joxe njariñ yu bees ci jafe-jafe math yu bari, lu ci melni ensemble Kakeya yu am àpp, configurations kissing ak jafe-jafe Erdős bi gëna ndaw.
Woykat bi dafay wax ni Station bi environmaa bu ubbeeku la, bari ay ndawu liggéey ngir gis-gis math buy demal boppam. Agent IA yu bawoo ci ay famiy model yu wuute ñu ngi topp benn mébet gëstu bu ñu bokk te amul benn koordinatër bu mag wala buñ bind. Ñoom ñooy tànn seeni yoon, ñuy amal ay jàngat, ñuy liggéeyandoo seen biir, ba noppi ñu tabax téere science bu ñu bokk. Tabluwaay bii wuute na bu baax ak sistem buy def ay liggéey yu ñu tànn bu njëkk ci wàllu math: li gëna am solo ci këyit bi mooy naka la ndawu liggéey yi di amalee liggéeyu gëstu ci barab bu gëna néew ay jafe-jafe.
Résumé bi leeralul tur yi, dayo yi wala kàttanu model yiñ jëfandikoo, te leeralul itam jumtukaayi ordinatër yi wala diir bi war. Ci 12 jafe-jafe tabax yuñ jëlee ci katalogu AlphaEvolve ak ñaari yeneen jangat, bindkat yi dañu wax ni resultaa yi ñuy wax ni ay téere yu bees lañu ci juróomi jafe-jafe yi. Resultaa yiñ lim dañuy àndaale ak famiy bu bees bu amul àpp ci ensemble Kakeya yu am àpp; konfiguraasioŋ fóonante bu bees bu am 604 poñ ci dimension 11; dokimaa yu bees ngir Kakeya needle discretized ak siñe jafe-jafe ñàkka xam; ak benn yam bu gëna suufe ngir jafe-jafe Erdős bi gëna ndaw. Abstract bi dafa wax itam ni ndawu liggéey yi gis nañu famiy yu bees yu amul àpp ngir nimero Book Ramsey. Loolu mooy li ñu wax ci abstract bu këyit bi; source biñu joxe fii mënul fësal boppam ni math bu bees la wala bu jub ci resultaa bu nekk.
Këyit dafa wax ni agent yi defar nañu lu ëpp ay tabax ci nimero. Defar nañu itam ay theorem ak ay jàngat yuy leeral ni tabax yi di doxee, te bindkat yi dañu wax ni loolu moo tax ñu gëna mëna tekki li ñu gis, ba noppi gëna yombal mathematicien yi ñu tabax ci kaw. Gëstukat yi neena ñu ngi génne ay waxtaan agent yu bees, firnde ak kodu firnde, ak yeneen mbiri firnde. Li ñuy génne mën na may gëstukat yi ci biti ñu xool yoon wi tàmbalee ci saytu ab ndawu liggéey ba ci laaj yu mujj yi. Boroom bi joxewul limu ëmb ci mbiri art yooyu, njariñu replication moomel sa bopp, wala nettali bu leer ci bépp jàngat bu nit def balaa ñu koy joxe.
Ay leeral ci cosaan: arxiv.org ↗
Lu tax mu am solo
Liggéey bi amna solo ndax dañu wax ni agent yi defaru ñu ay construction numérique rek waaye ñu defar itam ay theoreme ak ay analyse yuñ bëgga leeral. Sudee resultaa yi mën nañu muñ yeneen saytu, sistem bi mën na joxe xeetu gëstu math bu IA jàppale, fu ndawu liggéey yi di banneexu ci jafe-jafe yu ubbeeku yi, duñu topp benn liggéey buñ tëral, buñ bind ci digg bi.
Li ñu gis ci rapoor yi amna solo ndax deñuy def ay ndawu juntuwaay yu bees yi ci ligeeyu gestu bu gina yaatu defar ay tontu. Dañuy wax ci ndawu liggéey yi ni ñooy tànn yoon yi, natt ay xalaat ak séddoo liggéey bu digg bi ngir am njariñu math. Modèle boobu mën na am njariñ ci jafe-jafe yi nga xamni espace bi mëna am ci tabax dafa yaatu lool ngir ñu mëna def seetlu bu yomb, rawatina sudee agent yi mën nañu xaaj gëstu ci yeneen xeeti gis-gis, ba noppi tabax ci li ñu gis. Këyit dafay firndeel ni Station bi moo gëna am njariñ gëstukat nit ñi wala seetlu otomatik buñ miin ci àdduna bi yépp.
Njaxasu tabax yi, firnde yi ak jàngat yiy leeral dañu am solo lool ci jëfandikoo gi ci wàllu science. Objet numérique mën na nekk lu jafe xool wala yaatal sudee structure bi ci suuf leerul. Auteur yi neenañu Gaaraas bi defarna ay argument yuy leeral lu tax tabaxam yi di dox, lu muna jox mathematicien yi ay mbir yu ñu muna xool, setal mbaa yamale. Taxawaay boobu itam dafay jàppale ci joxe leeral ci ni ñuy jëfandikoo ngir gis-gis bi IA jàppale: génne gu am njariñ dafa wara nekk luñu mëna saytu ak xam, te baña yam ci nuru lu bees wala lu am njariñ ci wàllu ordinatër. Wolof bi joxewul benn jàngat bu moom boppam ci kalite wala matt gi ci leeral yooyu.
Defarum àdduna bu ubbeeku bi dafay tax itam gëstu bi am njariñ ci defar sistem IA yu bari ndawu liggéey. Koordinatër bu mag ak buñ bind mën nañu tënk doxalin bi ba noppi yombal jàngat bi; Lu moy loolu, Gaaraas bi dafay may ndawu liggéey yi ñu mëna tànn seeni yoon, ñu liggéeyandoo ci liggéey bu ñu bokk. Sudee mën nañu ko defaraat, loolu mën na tax sistem yi gëna am njariñ ci gëstub science ci wàllu math ak ci yeneen wàll. Ci jamano jooju, moom seen bopp bu ubbeeku mën na gëna yombal joxe, saytu ak jàngat njuumte. Woykat bi waxul naka lañu saafaraa jafe-jafe yi, naka lañu seggee ay resilta yu réer, wala ndax ay ndawu liggéey dañu musa dooleel xalaat yu jaarul yoon.
Mekanism buy weccoo xalaat: naka lay doxee
Saytu xarala yu bees yi ci ginaaw yokkute bii ci anam wu weccoo xalaat.
An agent must create a draft calendar event for Tuesday at 2 p.m. Which evidence would establish the requested result?
Li nga wara seetaan ci topp
Këyit dafay nuru lu arXiv joxe ci jamono yii, te dañu wara jàppee liñu ci wax ni resultaa yi bindkat yi joxe, ñuy xaar jàngat bu gëna yaatu ci wàllu math. Li am solo buñu xamul mooy ba ñaata intervention nit lañu soxla, ban xeetu njaboot lañu jàppale ci ban gis-gis, ban yoon la sistem bi lajj, ak ndax pexe yi ñu xamle dañu ëpp jafe-jafe yiñ tànn.
Laaj bi ci saasi mooy xool ndax dëgg la. Woykat bi neena gëstukat yi ñungi genne ay firnde, ay kod, ay waxtaan yu ñor ak ay mbiri firnde, waaye waxul ni ay math yu moom seen bopp firndeelnañu li ñu gis. Jàngatkat yi dañu wara seet bu baax xool bu leer ci tabax yu bees yi ñuy wax, ay pexe ak ay njaboot yu amul àpp, boole ci ndax firnde yi dañuy firndeel bu baax li ñu wax ci conclusions yi ak ndax méngale bi ak literature bi njëkk dëgg la. Bañu demee ba liggéey boobu jeex, li gëna am solo mooy surnaal bi dafay wax ci gis-gis yooyu.
Kontu këyit bi dafa bàyyi ay leeral yu am solo ci liggéey bi. Xammewul famiy model yi bokk ci abstract biñ joxe, leeral ni agent yi di weccoo xibaar, xayma limu nit ñi bokk, rapoor calcul wala njëg, wala joxe tolluwaayu ndam ak ñàkk ci jafe-jafe yépp ñu jéem. Ay detay yooyu ñooy wane ndax sistem bi dafay nuru njuréefi gëstu bu am njariñ ci àdduna bi, wala dafay nuru njubluwaay buñ tànnee bu baax. Xamu ñu itam ndax ndawu liggéey yi ñoo gis xalaat yu am solo yi ci seen bopp, dajale leen ci mbir yu yàgg, wala dañu wéeru ci scaffold yu nit ñi defar, ginaaw environmaa bi ci boppam.
Yokkug liggéey dafa wara natt ndax gis-gis bi dafay toxal ci xeetu jafe-jafe yu bees ak ci anam yu gëna néew njariñ. Evaluation yu am njariñ dina ñu méngale Gaaraas bi ak sistem yu am benn ndawu liggéey, firnde theorem otomatik buñ miin, seetlu buñ tëral ak def liggéey bu nit jiite; rapor liggéey ci jafe-jafe yiñ tëye; ak natt wóor ak leer gi ci firnde yiñ defar. Source bi itam waxul ni sistem bi di doxee sudee agent yi dañu def ay claim yu wuute wala sudee verification bi seer na lool. Limitation yooyu dañu am solo ci bepp jëfandikoo ëlëg bu agents gëstukat yu demal seen bopp, fu dokimaa yu leer ak àtteb math bu nit ñi di gëna soxla.