Ka ɲɛsin yɛrɛmahɔrɔnya jatebɔ ɲinini ma : AI bɛ ka jatebɔ sɔrɔli siniɲɛsigi labɛn kokura cogo min

Jateminɛ yɛrɛmahɔrɔnyalen ɲinini bɛ fɛn caman tigɛli jira, AI sigidaw bɛ jateminɛw labɛn u yɛrɛma, ka daliluw dilan, ka jatebɔ jɔcogo kura sɔrɔ k’a sɔrɔ hadamadenw ma bilasirali kɛ tuma bɛɛ. Jagokɛlaw ni ɲininikɛlaw minnu bɛ baara kɛ ni plateformew ye i n’a fɔ Mewayz, o dancɛ in faamuyali nafa ka bon walasa ka to ɲɛfɛ waati la, waati min na otomatiki hakilitigi bɛ ka kalan bɛɛ ɲɛfɔ kokura — jatebɔ saniyalen fana sen bɛ o la.

yɛrɛmahɔrɔnya jatebɔ ɲinini ye mun ye tigitigi ?

Jateminɛ ɲinini yɛrɛmahɔrɔnyalenw bɛ tali kɛ AI misali kɔrɔlenw baara la — kɛrɛnkɛrɛnnenya la kanko misalibaw, fanga kalanni fɛɛrɛw, ani sɛgɛsɛgɛli kɛcogo fɔlɔw — walasa ka jatebɔ ɲininiw kɛ ni hadamadenw ka dɛmɛ fitinin ye. A tɛ i n’a fɔ laadala dalilu minnu bɛ kɛ ni ɔridinatɛri dɛmɛni ye, minnu b’a ɲini jatebɔlaw fɛ u ka fɛɛrɛ bɛɛ ɲɛfɔ, yɛrɛmahɔrɔnya siratigɛw bɛ se ka misaliw dɔn kunnafonidilanbaw kɔnɔ, ka hakilinaw labɛn, ani hali ka jaabiw tiɲɛ ni otomatiki teoriw sɛgɛsɛgɛbagaw ye.

Hakilila in ye fanga sɔrɔ kosɛbɛ kabini AI-driven conjecture generation and proof support (daliw dɛmɛni) kɛra sababu ye ka ɲɛtaa sɔrɔ. DeepMind ka baara min kɛra knot theory invariants kan ani Meta ka HyperTree Proof Search y’a jira ko masinw bɛ se ka dɛmɛ don cogo kɔrɔ la jatebɔ gɛlɛyaw dabɔli la. Fɛn min tun ye sɛgɛsɛgɛli baarakɛminɛn fitinin ye fɔlɔ, o bɛ ka kɛ ɲininikɛla lakika ye min bɛ se ka jatebɔ yɔrɔ sɛgɛsɛgɛbaliw sɛgɛsɛgɛ.

Nin paradigme jiginni in nafa ka bon bawo jatebɔ de bɛ fɛɛrɛbɔ yiriwali bɛɛ lajɛlen sinsin. K’a ta kriptografi ni logistiki ɲɛnabɔli la ka se wariko misali ni ɛntɛrinɛti simulasiw ma, jatebɔ sɔrɔli teliya bɛ baara kɛ k’a ɲɛsin diɲɛ kɔnɔ ɲɔgɔndan nafa lakika ma — fɛn min bɛ baarakɛla 138.000+ minnu bɛ baara ɲɛnabɔ Mewayz ka 207-module business OS fɛ, olu bɛ min faamuya ni hakili ye.

Mun na yɛrɛmahɔrɔnya gɛlɛya bɛ ka kɛ sisan ?

Fɛn damadɔ minnu bɛ ɲɔgɔn sɔrɔ, olu y’a to yɛrɛmahɔrɔnya jatebɔ ɲinini kɛra se ka kɛ san 2026. Jatebɔ fanga sera dakun dɔ ma, AI misaliw bɛ se ka baara kɛ ani ka hakilinata kɛ jatebɔ jɛkulubaw kan waati yɛrɛ la. Dalilu kan minnu bɛ fɔ cogo la i n’a fɔ Lean 4 ani Isabelle, olu kɔgɔra, u bɛ se ka kɛ sababu ye ka baarakɛminɛnw di minnu bɛ se ka kalan masin fɛ, AI sitɛmuw bɛ se ka minnu dun ani ka minnu lawuli. O waati kelen na, transformateur architectures ka ɲɛtaa taamasiyɛn hakilina faamuyali la, o ye hakilina fɔlɔw tiɲɛ AI ka dantigɛliw kan miirili jɛlenw na.

ye

Hakilila kunbaba : ɲɛtaa min nafa ka bon kosɛbɛ, o tɛ ko AI bɛ se ka gɛlɛya dɔntaw ɲɛnabɔ joona — o ye ko yɛrɛmahɔrɔnya siratigɛw bɛ ka daminɛ ka jatebɔ ɲininkaliw kɛ hadamadenw ma minnu jateminɛ fɔlɔ, ka ɲininikɛyɔrɔ kura da wuli pewu.

Ka fara o kan , dakun dafalenw lamagacogo jatebɔ kunnafonidilanw ni dalilu gafemarayɔrɔw lamini na , o ye kalanko sigida nafama dɔ da . Porozɛ minnu bɛ i n’a fɔ Mathlib gafemarayɔrɔ Lean kama, sisan, teori ba kɛmɛ caman bɛ yen minnu bɛ kɛ cogoya la, minnu bɛ AI misaliw di jusigilan ma min ɲɔgɔn ma deli ka kɛ fɔlɔ, u bɛ se ka kalan sɔrɔ min na ani ka jɔ a kan.

fɛn koloma jumɛnw bɛ nin jiginni in bila sen kan ?

jatebɔ ɲinini yɛrɛmahɔrɔnyalenw faamuyali bɛ a ɲini ka a ka fɛɛrɛ jɔnjɔnw n' a ka fɛɛrɛw dɔn . nin yɔrɔ ninnu de bɛ kɛ nin foro bɔlen in kɔkolo ye :

• Neural Theorem Proving : AI modɛliw degecogo ka dalilu jɔnjɔnw dilan senfɛ-senfɛ , ka baara kɛ ni fɛɛrɛw ye minnu juru donna kanw bɔli la dacogo la ani minnu bɛ bɛn jatebɔ hakilina ma .
• Jateminɛw bɔli motɛriw : Sisitɛmu minnu bɛ jatebɔ sigicogo kɔrɔw sɛgɛsɛgɛ walasa ka hakilina kuraw labɛn, minnu bɛ se ka kɔrɔbɔ — ka daɲɛw labɛncogo ɲuman kɛ otomatiki la, laada la, min maralen bɛ hadamadenw ka hakilinata kama.
• Sɛgɛsɛgɛli pibiliki forobaciyɛn : baarakɛminɛnw cakɛda minnu bɛ kɛ otomatiki la minnu bɛ daliluw lajɛ kosɛbɛ AI fɛ ka kɛɲɛ ni aksiyɔmu sigilenw ye , ka tiɲɛni sabati k’a sɔrɔ hadamadenw ma segin u kan .
• Barikɛ kalanni dalilu ɲinini kama : Ciden minnu bɛ fɛɛrɛ ɲumanw dege dalilu yɔrɔbaw taamacogo la , o bɛ dɔ bɔ kosɛbɛ waati la min bɛ kɛ walasa ka bɔyɔrɔ ɲumanw sɔrɔ .
• Jateminɛ kɛcogo caman : Modeli minnu bɛ se ka jatebɔw, daɲɛw, ani kanko dafalenw ɲɛfɔ waati kelen na walasa ka gɛlɛyaw ɲɛnabɔ minnu bɛ tali kɛ jiracogo caman na.

o yɔrɔ kelen-kelen bɛɛ bɛ buteli danfaralen dɔ ɲɛnabɔ ɲinini siratigɛ la , wa u faralen ɲɔgɔn kan , o de bɛ yɛrɛmahɔrɔnya lakika kɛ sababu ye .

Jateminɛ ɲinini yɛrɛmahɔrɔnyalen bɛna nɔ bila jago ni seko ni dɔnko la cogo di ?

A nɔfɛkow bɛ taa kalanko la kosɛbɛ. Jateblaw sɔrɔli yɛrɛmahɔrɔnyalen bɛ ɲɛtaa teliya optimisation algorithmes la, o min bɛ nɔ bila tigitigi fɛnw dilancogo ɲɛnabɔli la, nafolo tilacogo la, ani baarakɛcogo ɲuman na. Jɛkulu minnu bɛ baara gɛlɛnw kɛ baarakɛda caman kɔnɔ — Mewayz ka jago OS bɛɛjɛfanga jɔlen bɛ cogo tigitigi min na — jatebɔko ɲɛnabɔli ɲɛtaa bɛ se ka kɛ musaka dɔgɔyali ye min bɛ se ka suman ani baarakɛcogo tɔnɔ.

Kriptografu lakanani, n’o ye yɔrɔ wɛrɛ ye min ju bɔra jatebɔ juguw la, o bɛna yiriwa ni AI sitɛmuw bɛ ka protocol kɔrɔw sɛgɛsɛgɛ walasa ka gɛlɛyaw sɔrɔ ani ka fɛɛrɛ wɛrɛw labɛn minnu barika ka bon kosɛbɛ. Nafolosɔrɔtɔnw bɛna nafa sɔrɔ faratiw misali ɲɛnabɔli la, k’a sɔrɔ furakɛlitɔnw bɛ se ka nafa sɔrɔ combinatorial optimisation fisaman na fura sɔrɔli pibilikiw kama.

Laala min nafa ka bon kosɛbɛ , o ye ko yɛrɛmahɔrɔnya jatebɔ ɲininiw bɛ demokarasi kɛ ka se ka jatebɔ dɔnniya ɲɛtaa sɔrɔ . Jagokɛyɔrɔ fitininw ni cɛmancɛ minnu tun tɛ se ka ɲininikɛla jɛkulu kɛrɛnkɛrɛnnenw sɔrɔ fɔlɔ, olu bɛ se ka jatebɔminɛnw ta sisan minnu bɛ baara kɛ ni AI ye, ka tulonkɛyɔrɔ kɛ kelen ye kunnafonidilanw sɛgɛsɛgɛli la, kofɔlenw na, ani fɛɛrɛw bolodacogo la.

Gɛlɛya ni jogoɲumanya jateminɛ jumɛnw tora ?

Hali ni ɲɛtaa kabakoma kɛra , yɛrɛmahɔrɔnya jatebɔ ɲininiw bɛ gɛlɛya lakikaw sɔrɔ . Fasiri bɛ to haminanko ye — ni AI sitɛmu dɔ ye dalilu jɔnjɔn dɔ bɔ, jatebɔlaw bɛ se ka gɛlɛya sɔrɔ ka faamuyali kɔrɔ bɔ a la. dalilu ɲuman min bɛ hadamaden si tɛ se ka tugu min kɔ, o bɛ filozofi ɲininkaliw lawuli jatebɔ dɔnniya yɛrɛ cogoya kan.

Jɔrɔnankow fana bɛ yen , minnu bɛ tali kɛ AI sitɛmuw ka dannaya kojugu la ani hadamadenw ka jatebɔ sekow tiɲɛni min bɛ se ka kɛ . Ɲininikalan jɛkulu bɛ ka sɔsɔli kɛ kosɛbɛ hadamadenw ka dɔnniya maracogo kan k’a sɔrɔ u bɛ AI sekow ta, ka jɛkafɔ misali ɲini sanni ka kɛ a nɔnabila dafalen ye.

Sɛgɛsɛgɛli kɛli sɛgɛsɛgɛli la , o b' a yɛrɛ ka gɛlɛyaw lase a ma . Ni AI sitɛmuw bɛ gɛlɛya gɛlɛnw ɲɛnabɔ minnu bɛ ka caya ka taa a fɛ, k’u ka sɔrɔw dannaya sabati, o bɛ sɛgɛsɛgɛli kɛcogo caman de wajibiya o cogo kelen na — marifatigiw ka ɲɔgɔndan min bɛ kɛ mɔgɔw bɔli ni u tiɲɛni cɛ, min bɛ wari bilali wajibiya.

Ɲininkali minnu bɛ kɛ tuma caman na

Yala AI bɛ se ka hadamaden jatebɔlaw nɔnabila tiɲɛ na ɲininiw na wa ?

A ma kɛ pewu — a dɔgɔyalenba tɛ fɔlɔ. Sisan yɛrɛmahɔrɔnya siratigɛw ka fisa ni gɛlɛya yɔrɔw ɲinini ye minnu ɲɛfɔlen don koɲuman ani ka daliluw lase sigida sigilenw kɔnɔ. Nka, jatebɔ dɔnniya jugumanbaw bɛ ɲini tuma caman na hakilinata-taama, ɲɛnajɛko jateminɛ, ani dɔnniyaw cɛtigɛlenw na minnu bɛ to hadamaden fanga kɛrɛnkɛrɛnnenw ye. Sira min bɛ nafa caman lase ɲɛtaa ma, o ye hadamaden ni AI jɛ-ka-baara ye, yɔrɔ min na yɛrɛmahɔrɔnya siratigɛw bɛ ɲinini ni sɛgɛsɛgɛli dafalenw ɲɛnabɔ k’a sɔrɔ hadamadenw bɛ daɲɛw ɲɛminɛcogo ni sigida faamuyali di.

Jateminɛ dalilu minnu bɛ sɔrɔ AI fɛ, olu bɛ se ka da u kan cogo di ?

Ni u farala ɲɔgɔn kan ni sɛgɛsɛgɛli kɛcogo fɔlɔw ye, dalilu minnu bɛ sɔrɔ AI fɛ, olu bɛ se ka da u kan kosɛbɛ — sɔsɔli bɛ se ka kɛ ko u ka ca ni laadala ɲɔgɔndan seginnkanni ye, min bɛ fili nɔgɔlenw to yen tuma dɔw la. O kunba ye ko o daliluw bɛ lajɛ ni axiomatiki jusigilanw ye minnu ka gɛlɛn, porogaramuw fɛ minnu dabɔra kɛrɛnkɛrɛnnenya la walasa ka sɛgɛsɛgɛli kɛ ni hakili ye. Dalilu o dalilu bɛ tɛmɛ sɛgɛsɛgɛli foroba la, o ye jatebɔ siratigɛ la, a mana kɛ hadamaden fɛ wo, a kɛra masin fɛ wo.

izini jumɛnw bɛna nafa caman sɔrɔ yɛrɛmahɔrɔnya jatebɔ ɲinini na ?

Nafolo , ɛntɛrinɛti lakanani , fɛnw ladonni , kɛnɛyako , ani hakililata yɛrɛ jɔlen bɛ ka nafa caman sɔrɔ . Industri o Industri min bɛ tali kɛ optimisation complexe, predictive modeling, walima cryptographic security la, o bɛna nafa tilennenw ye. Ni nin jatebɔ ɲɛtaa ninnu bɛ ka jigin ka don porozɛw baarakɛminɛnw ni sigidaw la minnu bɛ se ka kɛ, jagokɛlaw hakɛ bɛɛ — hali minnu bɛ baara labanw ɲɛnabɔ ni sigida jɛlenw ye i n’a fɔ Mewayz — olu bɛna latigɛ seko ni baarakɛcogo ɲuman sɔrɔ.

I labɛnnen don k’i ka jago baarakɛcogo ɲɛnabɔ siniko la ni ɲɛnabɔli hakilitigi ye, min bɛɛ bɛ kɛ kelen na? Mewayz bɛ modulu barikama 207 fara ɲɔgɔn kan, kɛnɛ kelen kan, baarakɛla 138.000 ni kɔ dalen bɛ min na diɲɛ kɔnɔ — k’a ta porozɛw ɲɛnabɔli la ani CRM la ka se wariko ma, HR, ani a kɔfɛ aw ka kɔrɔbɔli fu daminɛ app.mewayz.com ani k’a dɔn baarakɛcogo nɔgɔmanw bɛ se ka ɲɔgɔndan kɛ cogo min na walasa ka ɲɛtaa sɔrɔ diɲɛ kɔnɔ min bɛ AI ɲɛminɛ.