Stêrkên Nû yên Wîlayetî Ya Zanîna Hîşdarî Matematîkê, Axiom, 4 Pirsgirêkên Berê Çareser Kirine

Dewletên Yekbûyî - Ajansa Nûçeyan A Ekhbary

Stêrkên Nû yên Wîlayetî Ya Zanîna Hîşdarî Matematîkê, Axiom, 4 Pirsgirêkên Berê Çareser Kirine

Di pêşkeftinek ku tê hêvîkirin ku sînorên vedîtina zanistî ji nû ve pênase bike, destpêka zanîna hîşdarî Axiom destkeftiyek awarte bi dest xistiye bi çareserkirina çar pirsgirêkên tevlihev ên matematîkî ku bi salan matematîknasan matmayî hiştine. Ev destkeftî qabiliyetên zû pêşketî yên AI di çareserkirina kêşeyên tevlihev de ku hewcedariya têgihiştina kûr a teorîk û hilberîna delîlên hişk hewce dike, ronî dikin.

Koka vê destkeftiyê pênc sal berê dest pê dike, dema ku matematîknas Dawei Chen û Quentin Gendron di lêkolîna qadek dijwar a geometriya algebrîkê de rastî astengiyek girîng hatin. Karê wan cîhadên (differentials) dihewand, ku têgehek hesibandinê ye ji bo pîvandina dûrahiyên li ser rûberên qelebalix. Di dema şopandina teorema taybet de, ew rastî astengiyek nediyar hatin: argûmana wan li ser formûlek nezelal a ji teorîya jimareyan bû, formûlek ku ew nikarîbûn çareser bikin an jî rast bikin. Ji ber vê yekê, Chen û Gendron encamên xwe wekî texmînek (conjecture) weşandin, ku puzzleyek matematîkî ya domdar bêçares hişt.

Di demên dawî de, Chen wextê xwe yê girîng ji bo hewldana karanîna modelên zimanî yên mezin wekî ChatGPT ji bo dîtina çareseriyek ji vê pirsgirêka domdar re, lê bêyî serkeftinê. Di dawiya meha borî de li Washington D.C., di resepsiyona konferansa matematîkê de, Chen bi Dr. Ken Ono re hevdîtinek bextewar kir. Ono matematîknasek navdar e ku herî dawî ji Zanîngeha Virginia derketiye da ku beşdarî Axiom bibe. Axiom, ku ji hêla yek ji şagirtên berê yên Ono, Carina Hong ve hatî damezrandin, di pêşengiya sepandina AI li warên zanistî yên tevlihev de ye.

Chen pirsgirêka domdar bi Ono re parve kir. Sibeha din, Ono ji Chen re delîlek temamî pêşkêş kir, ku ji hêla AI-ya pispor a Axiom, AxiomProver ve hatî çêkirin. Chen got, "Piştî wê hemî tişt bi xwezayî li cihê xwe ketin." Chen bi Axiom re hevkarî kir û ji bo formalîzekirina delîlê xebitî, ku naha li ser arXiv, depoyek girîng a pêş-çapên akademîk, bi gelemperî peyda dibe.

Hêza AI ya Axiom di şiyana wê ya nasîna girêdanên nediyar di navbera pirsgirêka matematîkî û fenomenek hejmarî de ku yekem car di sedsala 19-an de hate lêkolîn kirin de ye. AxiomProver ne tenê delîlek amade kir, lê di heman demê de encamên xwe jî bi hişkî verast kir. Ono ji WIRED re got: "Ya ku AxiomProver dît, tiştek bû ku hemî mirovên winda kiribûn," ku tekezî li ser nêzîkatiya nû ya AI dike.

Ev ne ji bo Axiom serkeftinek tenê ye. Şirket îdîa dike ku pergala wê di hefteyên dawî de ji bo çend pirsgirêkên din ên matematîkî yên bêçareserkirî çareserî hilberandiye. Her çend AI ya Axiom hîna jî nehatiye mijûlî pirsgirêkên herî navdar an jî qezencker ên matematîkê be jî, şiyana wê ya pêşkêşkirina bersivan ji bo pirsên ku bi salan pisporên qadê matmayî hiştine, delîlek mecbûrî ya zêdebûna jêhatîbûna matematîkî ya AI ye. Ev bi raporên dawî yên matematîknasên din re ku amûrên AI ji bo lêkolîna hîpotezên nû û çareserkirina kêşeyên heyî bikar tînin, li hev dike.

Encamên pêşkeftinên Axiom ji matematîka safî pir dûrtir dirêj dibin. Teknîkên bingehîn dibe ku di pêşxistina nermalava bihêztir de, nemaze di zêdekirina berxwedana li dijî hin cûreyên gefên ewlehiya sîber de, bêqîmet bin. Ev karanîna AI ji bo verastkirina hişk a kodê, misogerkirina pêbaweriya wê ya delîl û pêbaweriya wê, ku di dîmena dîjîtal a îroyîn de hewcedariyek krîtîk e, dihewîne.

Carina Hong, CEO ya Axiom, matematîkê wekî "qada ceribandinê ya mezin û qada lîstikê ji bo rastiyê" diyar dike, û dilpakiyê ji bo potansiyela "gelek karanîna girîng ên bi nirxa bazirganî ya bilind" ku ji van teknolojiyan derdikevin, diyar dike. Nêzîkatiya nûjen a Axiom modelên zimanî yên mezin bi pergalek AI ya xwedan, AxiomProver re ku bi taybetî ji bo têgihiştina pirsgirêkên matematîkî û hilberîna çareseriyên ku bi awayekî delîlker rast in, yek dike. Ev dişopîne xebatên têgehî yên mîna Pergala AlphaProof ya Google ku di sala 2024-an de hate pêşandan, her çend Hong tekez dike ku AxiomSolver pêşkeftinên girîng û rêbazên nûtir dihewîne.

Dr. Ono, delîla ku ji hêla AI ve hatî hilberandin ji bo texmîna Chen-Gendron wekî guheztina paradîgmayê dibîne, dibêje: "Ev paradîgmayek nû ye ji bo îsbatkirina teoriyan", ku nîşan dide ka AI naha çawa dikare wekî hevkarikek watedar ji bo matematîknasên profesyonel bixebite.

Pergala Axiom bi şiyana wê ya verastkirina delîlan bi karanîna zimanek matematîkî ya fermî ya taybetî ya bi navê Lean, xwe ji modelên AI yên asayî cuda dike. Ev şiyan dihêle ku AxiomProver ji tenê lêgerîna di wêjeya heyî de derbas bibe û li şûna wê stratejiyên çareserkirina pirsgirêkê yên nûjen pêş bixe. Yek destkeftiyek girîng a din ji hêla AxiomProver ve çareseriya serbixwe ya Texmîna Fel (Fel’s Conjecture) ye, pirsgirêkek ku bi syzygies ve girêdayî ye - îfadeyên algebrîkî ku jimare li hev tên. Meriyetek balkêş, ev texmîn tê de formûlên ku cara yekem di defterên matematîknasê efsanewî yê Hindî Srinivasa Ramanujan zêdetirî 100 sal berê hatine tomar kirin, hene. Di vê rewşê de, AxiomProver tenê valahiyek tije nekir; ew tevahiya delîlê ji destpêkê heya dawiyê ava kir.

Ev pêşkeftin ji pêşkeftinên tenê teknîkî zêdetir têne; ew nîşan didin veguherînek potansiyel di pratîka lêkolîna zanistî de, ku AI wekî hevkarikek neçar di keşfkirina zanînê û çareserkirina pirsgirêkên hişmendî yên herî tevlihev ên mirovahiyê de cih digire.

ئاژانسی هەواڵی ئەخباری