د 150 کلونو څخه زیات، د ریمان فرضیه په ریاضیاتو کې د یوې لویې ناحل شوې ستونزې په توګه ولاړه ده، چې د اصلي شمیرو د ویش په اړه اوږدمهاله اسرار دی. اوس مهال د فرضیې د یوه کاري عمومي ثبوت لپاره د 1 ملیون ډالرو انعام شتون لري، کوم چې ادعا شوې نه ده.
د AI معاصر ماډلونه لاهم نشي حل کولی - مګر دوی کولی شي ستاسو د تمه په پرتله خورا ډیر پرمختګ وکړي ، یوه موندنه چې احتمال لري د نوي ساینسي او ریاضيکي نظرونو موندلو لپاره د معاصر AI وړتیا په اړه اوږدمهاله پوښتنې بیا پرانیزي.
د دوشنبې په ورځ، انتروپیک اعلان وکړ چې یو تر اوسه نه خپور شوی ماډل د ریمان فرضیه کې د پام وړ پرمختګ کړی، د پام وړ د حلونو ټیټ حد زیات کړی چې فرضیه یې ریښتیا ده.
حتی ډیر اغیزناک دا دی چې پرمختګ څنګه رامینځته شو: د انتروپیک کارمند غړي د پام وړ ریاضيیک روزنې پرته ماډل ته وهڅول چې د فرضیې په ثابتولو کې "ریښتیني چاقه واخلي" ، بیا یې ماډل پریښود ترڅو د یوې نیمې ورځې په اوږدو کې دنده همغږي کړي.
ټولو ته ویل شوي، ماډل د ستونزې د حل لپاره 650 مختلف نظرونه ازمول، د 60 فرعي اجنټانو سره همغږي کول او په ټولیز ډول 31 ملیون مصرف کول.
"د 60 فرعي اجنټانو څخه، دوه یې د کلیدي ریاضيیکي نظریاتو د جوړولو مسولیت درلود،" د مقالې یوه فوټ نوټ تشریح کوي، "د دې اجنټانو سره 13 نظرونه شریک کړل، 30 هڅه وکړه (مګر ونه توانیدل) چې نوي نظرونه رامینځته کړي، 13 د دلیلونو د سموالي د چک کولو لپاره د اعتبار ورکوونکو په توګه دنده ترسره کړه، او وروستي دوه یې د ابتدايي کاغذ په لیکلو کې مرسته وکړه.
موندنه د انتروپیک د کور دننه ریاضی پوهانو لخوا تایید شوې، او د خلاصې سرچینې ثبوت معاون لین په کارولو سره رسمي شوې.
دا د لویې ژبې موډلونو، یا LLMs لخوا رهبري شوي ریاضیاتي بریالیتوبونو کې وروستی دی. د دې کال په جریان کې د ایرډوس یو شمیر ستونزې د AI ماډلونو لخوا حل شوي ، او د ډیرو پیاوړو ماډلونو خوشې کول د ډیرو اغیزمنو پایلو لامل شوي. OpenAI پدې وروستیو کې د لسو لویو پایلو یوه مجموعه خپره کړه چې د دې داخلي "Astra" ماډل لخوا ثابت شوي، پداسې حال کې چې د انتروپیک څخه جلا هڅې د جیکوبیان اوږدمهاله اټکل رد کړ.
د پایلو مخ پر ودې بدن د ریاضیاتو په ساحه کې د لیوالتیا او اندیښنې لامل شوی. په یوه عامه اعالمیه کې چې د جون په میاشت کې لاسلیک شو، د نامتو ریاضي پوهانو یوې ډلې اندیښنې راپورته کړې چې AI کولی شي د ساحې مهم ارزښتونه کمزوري کړي - په ځانګړي توګه هغه معیار چې ریښتیني ریاضيکي ثبوتونه باید "ځانګړي لیکوالانو ته منسوب وي چې د دوی د کشف لپاره کریډیټ اخلي او د دوی د سموالي مسؤلیت په غاړه اخلي."
مګر ساحه لاهم ویشل شوې ده چې څنګه ریاضي پوهان باید د څیړنې نوي تخنیکونو ته مراجعه وکړي. په بلاګ پوسټ کې اعلامیې ته په ځواب کې ، د فیلډز مډال ګټونکي تیموتي ګوورز پوښتنه وکړه چې ایا د AI نفوذ ممکن ریاضیات په خورا پیچلي او مثبت ډول بدل کړي.
"که موږ داسې نړۍ ته ورسیږو چیرې چې ریاضیاتي تیورونه نور د ریاضي پوهانو سره تړاو نلري ، شاید دا به د دې حقیقت څخه ډیر ستونزمن نه وي چې ستوري د ستورپوهانو په نوم نه دي نومول شوي او ډیری یې په هیڅ نوم ندي ،" ګوورز لیکلي.
