150 سالن کان به وڌيڪ عرصي تائين، ريمن جو مفروضو رياضيات ۾ هڪ اهم حل نه ٿيل مسئلن جي حيثيت ۾ بيٺو آهي، پرائم نمبرن جي ورڇ بابت هڪ ڊگهو اسرار آهي. في الحال هڪ $ 1 ملين انعام آهي هڪ ڪم ڪندڙ عام ثبوت جي فرضي ثبوت لاءِ، جيڪو اڻ اعلانيل رهي ٿو.
همعصر AI ماڊل اڃا به ان کي حل نٿا ڪري سگهن - پر اهي توهان جي توقع کان گهڻو وڌيڪ ترقي ڪري سگهن ٿا، هڪ ڳولڻ جو امڪان آهي ته معاصر AI جي نئين سائنسي ۽ رياضياتي خيالن کي دريافت ڪرڻ جي صلاحيت بابت ڊگهي سوالن کي ٻيهر کولڻ.
سومر تي، انٿروپڪ اعلان ڪيو ته اڃا تائين اڻ ڇپيل ماڊل ريمن جي مفروضي تي اهم ترقي ڪئي آهي، خاص طور تي حل جي هيٺين حد کي وڌايو جنهن لاءِ مفروضو صحيح آهي.
اڃا به وڌيڪ متاثر ڪندڙ اهو آهي ته ترقي ڪيئن ڪئي وئي: هڪ اينٿروپڪ اسٽاف ميمبر بغير ڪنهن اهم رياضياتي تربيت جي ماڊل کي اشارو ڪيو ته "هڪ حقيقي وار وٺو" مفروضي کي ثابت ڪرڻ تي، پوء ماڊل کي ڇڏي ڏنو ڪم کي ترتيب ڏيڻ لاء ايندڙ ڏينهن ۽ اڌ ۾.
سڀني ٻڌايو، ماڊل مسئلو حل ڪرڻ لاءِ 650 مختلف خيالن جي جانچ ڪئي، 60 ذيلي ايجنٽن کي همٿائيندي ۽ مجموعي طور تي 31 ملين خرچ ڪيو.
”60 ذيلي ايجنٽن مان، ٻه اهم رياضياتي خيالن جي ترقيءَ جا ذميوار هئا،“ پيپر جو هڪ فوٽ نوٽ بيان ڪري ٿو، ”انهن ايجنٽن ۾ 13 خيالن جو اظهار ڪيو، 30 ڪوششون ڪيون (پر ناڪام رهيا) نوان خيال پيدا ڪرڻ جي، 13 دليلن جي درستي کي جانچڻ لاءِ تصديق ڪندڙ طور ڪم ڪيو، ۽ آخري ٻن ابتدائي پيپر لکڻ ۾ مدد ڪئي.
دريافت جي تصديق ڪئي وئي اينٿروپڪ جي ٻن اندر جي رياضيدانن، ۽ اوپن سورس پروف اسسٽنٽ لين استعمال ڪندي رسمي ڪئي.
اهو جديد آهي رياضياتي ڪاميابين جي هڪ تار ۾ جنهن جي اڳواڻي Large Language Models, or LLMs. هن سال جي دوران AI ماڊلز پاران اي آرڊوس جا ڪيترائي مسئلا حل ڪيا ويا آهن، ۽ وڌيڪ طاقتور ماڊلز جي رليز سان وڌيڪ متاثر ڪندڙ نتيجا سامهون آيا آهن. OpenAI تازو ئي پنهنجي اندروني "Astra" ماڊل پاران ثابت ڪيل ڏهن وڏن نتيجن جو هڪ سيٽ جاري ڪيو، جڏهن ته انٿروپڪ کان هڪ الڳ ڪوشش ڊگھي بيٺل جيڪبين جي قياس کي غلط ثابت ڪيو.
نتيجن جي وڌندڙ جسم رياضياتي ميدان ۾ ٻنهي جوش ۽ تشويش جو سبب بڻيل آهي. جون ۾ دستخط ٿيل هڪ عوامي اعلان ۾، ممتاز رياضيدانن جي هڪ گروهه خدشات جو اظهار ڪيو ته AI فيلڊ جي نازڪ قدرن کي خراب ڪري سگهي ٿي - خاص طور تي اهو معيار ته حقيقي رياضياتي ثبوت "مخصوص ليکڪن ڏانهن منسوب ڪيا وڃن جيڪي انهن جي دريافت جو ڪريڊٽ وٺن ٿا ۽ انهن جي درستي جي ذميواري ڪن ٿا."
پر فيلڊ اڃا تائين ورهايل آهي ته ڪيئن رياضي دانن کي نئين تحقيقي ٽيڪنالاجي ڏانهن رجوع ڪرڻ گهرجي. اعلان جي جواب ۾ هڪ بلاگ پوسٽ ۾، فيلڊز ميڊل فاتح ٽيموٿي گوورس سوال ڪيو ته ڇا AI جو اثر رياضي کي وڌيڪ پيچيده ۽ مثبت انداز ۾ تبديل ڪري سگهي ٿو.
”جيڪڏهن اسان هڪ اهڙي دنيا ۾ پهتاسين جتي رياضي جا نظريا هاڻي رياضيدانن سان جڙيل نه آهن، شايد اهو ان حقيقت کان وڌيڪ مسئلو نه هوندو ته ستارن جا نالا astronomers جي نالي تي نه آهن ۽ اڪثر انهن جا نالا ئي ناهن،“ گوورس لکيو.
