Towards Autonomous Mathematics Research: Alesi AI Le Gbugbɔ Trɔm Ðe Akɔntabubu Ŋuti Nusɔsrɔ̃ ƒe Etsɔme Ŋu

Akɔntabubu ŋuti numekuku si wowɔna le wo ɖokui si tsi tre ɖi na tɔtrɔ si trɔa ame le afisi AI ɖoɖowo wɔa nususugblɔwo le wo ɖokui si, wɔa kpeɖodziwo, eye wokea ɖe akɔntabubu ƒe wɔwɔme yeyewo ŋu amegbetɔ ƒe mɔfiafia ɣesiaɣi manɔmee. Le asitsalawo kple numekula siwo zãa mɔ̃wo abe Mewayz ene gome la, liƒo sia gɔmesese le vevie ŋutɔ be woanɔ ŋgɔ le ɣeyiɣi si me nuwo wɔwɔ le wo ɖokui si si me nunya le le tɔtrɔm ɖe nusɔsrɔ̃ ɖesiaɖe ŋu — si me akɔntabubu dzadzɛ hã le.

Nuka Tututue Nye Akɔntabubu Ŋuti Numekuku le Ðokuisi?

Akɔntabubu ŋuti numekuku si wowɔna le eɖokui si fia AI ƒe kpɔɖeŋu deŋgɔwo zazã — vevietɔ gbegbɔgblɔ ƒe kpɔɖeŋu gãwo, ŋusẽdodo nusɔsrɔ̃ ƒe dɔwɔnuwo, kple kpeɖodzinana ƒe ɖoɖo siwo wowɔ le se nu — be woawɔ akɔntabubu ŋuti numekuku kple amegbetɔ ƒe nudede nyawo me suetɔ kekeake. To vovo na kpeɖodzi xoxo siwo wozãna to kɔmpiuta dzi, siwo bia tso akɔntanyala siwo ɖea afɔɖeɖe ɖesiaɖe gɔme la, ɖoɖo siwo le wo ɖokui si ate ŋu ade dzesi nɔnɔme siwo le nyatakakadzraɖoƒe gãwo me, ado nukpɔsusuwo ɖa, eye woaɖo kpe emetsonuwo dzi gɔ̃ hã to nukpɔsusu ƒe kpeɖodzinu siwo wowɔna le wo ɖokui si dzi.

Nukpɔsusua xɔ ŋusẽ gã aɖe tso esime wowɔ ŋgɔyiyi le AI-driven conjecture generation kple kpeɖodzi kpekpeɖeŋunana me. DeepMind ƒe dɔwɔwɔ le knot theory invariants kple Meta ƒe HyperTree Proof Search ɖee fia be mɔ̃wo ate ŋu akpe asi ɖe akɔntabubu ƒe kuxiwo ʋuʋu ŋu le mɔ si ŋu gɔmesese le nu. Nusi nye dɔwɔnu kpui aɖe tsã hena kpeɖodzinana la va le numekuku wɔm ƒe hadɔwɔla vavã si ate ŋu aku akɔntabubu ƒe anyigbamama si womekpɔ kpɔ o me.

Nɔnɔmetata ƒe tɔtrɔ sia le vevie elabena akɔntabubue ɖo kpe mɔ̃ɖaŋununya ƒe ŋgɔyiyi ɖesiaɖe kloe dzi. Tso nya ɣaɣlawo kple ɖoɖowɔwɔ ƒe nyonyome dzi va ɖo ganyawo ƒe kpɔɖeŋuwɔwɔ kple mɔ̃ɖaŋudɔwɔwɔ ƒe nɔnɔmetatawo dzi la, akɔntabubu si ŋu woke ɖo kabakaba wu ɖea egɔme tẽ ɖe xexeame ŋutɔŋutɔ ƒe hoʋiʋli ƒe viɖe me — nane si zãla 138,000+ siwo le dɔwɔwɔwo dzi kpɔm to Mewayz ƒe 207-module business OS dzi se egɔme le gɔmesese nu.

Nukatae Wole Ʋɔnudrɔ̃ƒe Yi Ðokuisinɔamesi Gbɔ Le dzɔdzɔm Fifia?

Nu geɖe siwo va kpe ɖe wo nɔewo ŋu na be akɔntabubu ŋuti numekuku si wowɔna le wo ɖokui si la te ŋu wɔa dɔ le ƒe 2026. Akɔntabubu ƒe ŋusẽ ɖo afisi AI ƒe kpɔɖeŋuwo ate ŋu awɔ dɔ le ahade ŋugble le akɔntabubu ƒe dɔwɔƒe gãwo ŋu le ɣeyiɣi ŋutɔŋutɔ me. Kpeɖodzigbe siwo wozãna le se nu abe Lean 4 kple Isabelle ene tsi, si na mɔ̃ siwo woate ŋu axlẽ siwo AI-mɔ̃wo ate ŋu aɖu eye woawɔ wo siaa. Le ɣeyiɣi sia me la, dzidzedze si transformer xɔtuɖaŋuwo kpɔ le kpɔɖeŋunuŋububu gɔmesese me gblẽ susu siwo nɔ anyi do ŋgɔ ku ɖe AI ƒe seɖoƒe siwo le susu si me susu mele o me ŋu.

ƒe nyawo |

Gakpe ɖe eŋu la, ʋuʋu si le ʋuʋu ɖi ƒo xlã akɔntabubu ƒe nyatakakadzraɖoƒewo kple kpeɖodzigbalẽdzraɖoƒewo na hehenana ƒe lãwo ƒe agbenɔnɔ ƒe ɖoɖo si me kesinɔnuwo le. Dɔwɔnawo abe Mathlib agbalẽdzraɖoƒe na Lean ene la me nukpɔsusu akpe alafa geɖe siwo woɖo ɖe ɖoɖo nu le fifia, si na gɔmeɖoanyi si tɔgbe medzɔ kpɔ o AI ƒe kpɔɖeŋuwo be woasrɔ̃ nu tso wo me ahatu wo ɖo.

Nukae Nye Nu Vevi Siwo Le Tɔtrɔ Sia Hem?

Akɔntabubu ŋuti numekuku si le eɖokui si gɔmesese bia be woanya eƒe gɔmeɖoanyi mɔ̃ɖaŋununya kple mɔnuwo nyuie. Nu siwo gbɔna lae nye agble sia si le dodom ƒe megbeƒu:

ƒe nyawo
• Neural Theorem Proving: AI ƒe kpɔɖeŋu siwo wona hehee be woawɔ kpeɖodzi siwo woɖo ɖe ɖoɖo nu afɔɖeɖe ɖesiaɖe, wozãa aɖaŋu siwo wodo tso dzɔdzɔmegbedzidzi me eye wotrɔ asi le wo ŋu na akɔntabubu ƒe susuŋudɔwɔwɔ.
• Nususugblɔ Dzidzime Mɔ̃wo: Dɔwɔɖoɖo siwo kua akɔntabubu ƒe wɔwɔme siwo li fifia me tsɔ doa nukpɔsusu yeye siwo woate ŋu ado kpɔ — si wɔa nuwɔwɔ ƒe dzo si wodzra ɖo ɖi na amegbetɔ ƒe nukpɔsusu tso blema ke la le wo ɖokui si nyuie.
• Dɔwɔɖoɖowo ƒe Dɔwɔɖoɖowo: Dɔwɔnu siwo wowɔna le wo ɖokui si siwo léa ŋku ɖe kpeɖodzi siwo AI wɔ ŋu vevie kple axiom siwo woɖo anyi, si kpɔa egbɔ be wosɔ amegbetɔ ƒe ŋkuléle ɖe wo ŋu manɔmee.
• Ŋusẽdodo Nusɔsrɔ̃ hena Kpeɖodzi Didi: Dɔwɔla siwo srɔ̃a mɔnu nyuitɔwo kekeake hena kpeɖodzi teƒe gãwo zɔzɔ, si ɖea ɣeyiɣi si hiã be woake ɖe nusiwo woɖe tso eme siwo sɔ ŋu dzi kpɔtɔna ŋutɔ.
• Multimodal Mathematical Reasoning: Kpɔɖeŋu siwo te ŋu ɖea nɔnɔmetatawo, sɔsɔŋuɖoɖowo, kple dzɔdzɔmegbe me numeɖeɖewo gɔme le ɣeyiɣi ɖeka me tsɔ kpɔa kuxi siwo keke ta le teƒenɔla ƒe nɔnɔme geɖewo gbɔ gbɔ.

Akpa siawo dometɔ ɖesiaɖe kpɔa aŋetu vovovo aɖe gbɔ le numekuku ƒe mɔ̃a me, eye woƒe ƒoƒo ɖekae nye nusi na ɖokuisinɔnɔ vavãtɔ te ŋu dzɔna.

Aleke Akɔntabubu Ŋuti Numekuku Siwo Le Ðokuisi Akpɔ Ŋusẽ Ðe Asitsatsa Kple Mɔ̃ɖaŋununya Ŋui?

Nusi wòfia la keke ta yi ŋgɔ sasasã wu agbalẽsɔsrɔ̃. Akɔntabubu si ŋu woke ɖo le eɖokui si naa ŋgɔyiyi le optimization algorithms me kabakaba, si kpɔa ŋusẽ ɖe nuzazãwo ƒe kɔsɔkɔsɔwo dzikpɔkpɔ, nunɔamesiwo mama, kple dɔwɔwɔ nyuie dzi tẽ. Le habɔbɔ siwo le dɔ sesẽwo wɔm le dɔwɔƒe geɖewo me — nɔnɔme si tututu wotu Mewayz ƒe asitsatsa ƒe OS si me kɔ la be wòakpɔ egbɔ — ŋgɔyiyi siwo wowɔ le akɔntabubu ƒe nyonyome me ateŋu atrɔ zu gazazã dzi ɖeɖe kpɔtɔ kple dɔwɔwɔ ƒe viɖe siwo woateŋu adzidze.

Nya ɣaɣlawo ƒe dedienɔnɔ, si nye domenyinyi bubu si ƒo ke ɖe to ɖe akɔntabubu deto me, atrɔ esime AI ɖoɖowo le ɖoɖo siwo li fifia me kum hena afɔkuwo eye wole mɔnu bubu siwo ŋu ŋusẽ le wu wɔm. Gadzikpɔƒewo akpɔ viɖe tso afɔku ƒe kpɔɖeŋu si nyo wu me, esime atikewɔƒewo ateŋu awɔ combinatorial optimization nyuitɔ ŋudɔ hena atikewo didi ƒe mɔ̃wo.

Ðewohĩ vevietɔ wu la, akɔntabubu ŋuti numekuku si wowɔna le wo ɖokui si naa akɔntabubu ƒe gɔmesese deŋgɔ xɔxɔ ƒe mɔnukpɔkpɔ nazu demokrasi. Asitsaha suewo kple titinatɔ siwo mete ŋu ƒlea numekukuwɔha siwo tsɔ wo ɖokui na tsã o la ate ŋu awɔ akɔntabubudɔwɔnu siwo AI ʋãna la ŋudɔ azɔ, si ana fefewɔƒea nasɔ le nyatakakawo me dzodzro, nyagblɔɖi, kple ɖoɖowɔwɔ ɖe mɔnuwo ŋu me.

Kuxi Kawoe Kple Agbenɔnɔ Ŋuti Bubu Kawoe Susu?

Togbɔ be wowɔ ŋgɔyiyi ɖedzesiwo hã la, akɔntabubu ŋuti numekuku si wowɔna le wo ɖokui si dze ŋgɔ mɔxenu ŋutɔŋutɔwo. Gɔmeɖeɖe gakpɔtɔ nye nusi ŋu wotsi dzi ɖo — ne AI ɖoɖo aɖe na kpeɖodzi si sɔ la, akɔntanyala ate ŋu aʋli vevie be yewoaɖe gɔmesese si ŋu gɔmesese le tso eme. Kpeɖodzi nyuitɔ si dzi amegbetɔ aɖeke mate ŋu adze o la fɔa xexemenunya me nyabiasewo ɖe te le akɔntabubu ŋuti sidzedze ŋutɔ ƒe nɔnɔme ŋu.

Wotsia dzi ɖe ŋuɖoɖo ɖe AI ɖoɖowo ŋu fũu akpa kple alesi amegbetɔ ƒe akɔntabubu ŋutetewo ate ŋu agblẽ ŋu hã. Numekulawo le nya hem vevie le alesi woalé amegbetɔ ƒe nunya me ɖe asi esime wole AI ƒe ŋutetewo zãm, hele nuwɔwɔ aduadu ƒe kpɔɖeŋu dim tsɔ wu be woatsɔe aɖo eteƒe bliboe.

Dzesidede le dzidzenu nu hea eya ŋutɔ ƒe kuxiwo vɛ. Esi AI ɖoɖowo le kuxi siwo le sesẽm ɖe edzi gbɔ kpɔm la, kakaɖedzi nana be kakaɖedzi le woƒe nusiwo wowɔ ŋu bia be woawɔ dodokpɔmɔnu siwo de ŋgɔ nenema ke — aʋawɔnuwo ƒe hoʋiʋli le dzidzime kple kpeɖodzinana dome si bia be woayi edzi ade ga eme.

Nyabiase Siwo Wobiana Enuenu

Ðe AI ateŋu axɔ ɖe amegbetɔ ƒe akɔntanyala teƒe le numekuku me nyateƒea?

Menye bliboe o — ne mede ɖeke o la, menye haɖe o. Fifia ƒe ɖokuisinɔnɔ ƒe ɖoɖowo bi ɖe kuxi ƒe teƒe siwo woɖe nyuie me dzodzro kple kpeɖodziwo wɔwɔ le ɖoɖo siwo woɖo anyi me. Gake zi geɖe la, akɔntabubu ƒe gɔmesese detotɔwo bia be woawɔ nukpɔsusuwo ƒe titri, atsyɔ̃ɖoɖo ŋuti ʋɔnudɔdrɔ̃, kple nukpɔsusu vovovowo ƒe nukpɔsusu siwo gakpɔtɔ nye amegbetɔ ƒe ŋusẽ tɔxɛwo. Mɔ si tsea ku wu si dzi woato ayi ŋgɔe nye amegbetɔ kple AI ƒe nuwɔwɔ aduadu, afisi ɖokuisinɔnɔ ƒe ɖoɖowo kpɔa didi kple kpeɖodzi blibo gbɔ esime amegbetɔwo naa nuwɔwɔ ƒe mɔfiame kple nya siwo ƒo xlãe gɔmesese.

Aleke gbegbee woate ŋu aka ɖe akɔntabubu ƒe kpeɖodzi siwo AI wɔ dzii?

Ne wotsɔe kpe ɖe kpeɖodziɖoɖo siwo wowɔ le se nu ŋu la, kpeɖodzi siwo AI wɔ ate ŋu anye esiwo ŋu kakaɖedzi le ŋutɔ — woate ŋu aʋli nya be wosɔ gbɔ wu hatiwo ƒe ŋkuléle ɖe nu ŋu xoxo, si toa vodada siwo menya kpɔna dzea sii bɔbɔe o ɣeaɖewoɣi. Nu vevitɔe nye be wotsɔa kɔmpiutadziɖoɖo siwo wowɔ koŋ hena kpeɖodzi si me susu le la léa ŋku ɖe kpeɖodzi siawo ŋu le axiomatic gɔmeɖoanyi sesẽwo nu. Kpeɖodzi ɖesiaɖe si ato kpeɖodzi si wowɔ le se nu me la sɔ le akɔntabubu nu, eɖanye amegbetɔ alo mɔ̃e wɔe o.

Dɔwɔƒe kawoe akpɔ viɖe geɖe tso akɔntabubu ŋuti numekuku si wowɔ le wo ɖokui si me?

Ganyawo, Internet dzi dedienɔnɔ, ɖoɖowɔwɔ, lãmesẽnyawo gbɔ kpɔkpɔ, kple nunya wɔwɔe ŋutɔ tsi tre be yeakpɔ viɖe geɖe wu. Adzɔnuwɔƒe ɖesiaɖe si nɔ te ɖe nuwɔwɔ nyuie si sesẽ, kpɔɖeŋuwɔwɔ si wogblɔ ɖi, alo nya ɣaɣlawo ƒe dedienɔnɔ dzi la akpɔ viɖe tẽ. Esi akɔntabubu ƒe ŋgɔyiyi siawo le sisim yi ɖe kɔmpiutadɔwɔɖoɖowo kple mɔ̃ siwo woate ŋu azã me la, asitsaha siwo ƒe lolome le vovovo — siwo dometɔ aɖewoe nye esiwo kpɔa dɔwɔwɔ tso nuwuwu vaseɖe nuwuwu to ɖoɖo siwo wowɔ ɖekae abe Mewayz ene dzi — akpɔ nyametsotsowɔwɔ ƒe ŋutete kple dɔwɔwɔ nyuie si nyo wu.