87 yil davomida hal bo'lmagan matematik muammo kutilmagan natijaga erishdi: sun'iy intellekt tadqiqotchi yordamida ushbu sohadagi eng mashhur gipotezalardan birini inkor etuvchi kontr-misolni aniqlashga yordam berdi.
Jakobian gipotezasini inkor etish
New Scientist ma'lumotlariga ko'ra, matematik Levent Alpyoge tomonidan kashf etilgan bu yangilik matematikaning katta qismi AI ishtirokida hal etilgan eng murakkab holatlardan biri bo'lishi mumkin. Harvard universiteti tadqiqotchisi Alpyoge 19-iyul kuni ijtimoiy tarmoq X'da faqat 216 belgidan iborat kontr-misolni e'lon qildi, bu esa shunday ataladigan Jakobian gipotezasiga zid keladi.
Bu gipoteza 1939 yilda matematik Ottom-Heinhrich Keller tomonidan ishlab chiqilgan va ma'lum bir turdagi matematik funksiya teskari yo'nalishda ham ishlay olishi kerakligini taxmin qilgan. Muammo o'n yillar davomida yakuniy javob topa olmadi va 1998 yilda Steven Smil tomonidan tuzilgan XXI asrning 18 ta yirik matematik muammolari ro'yxatiga kiritilgan.
Kashfiyotdagi AI ning roli
Alpyoge o'z nashrida o'zining 'yaqin do'sti Fable' yordamidan foydalanganini ma'lum qildi, bu ehtimol, Anthropic kompaniyasining Claude Fable 5 AI modeliga ishora. Tadqiqotchi shuningdek, tizimni Jahon chempionati yakuniy o'yinida bajarilgan ish uchun minnatdorchilik bildirdi. Ekspertlar bu natija AI ning matematik tadqiqotlardagi rolini kengaytirayotganini ta'kidlashmoqda.
Queen Mary University of Londondagi matematika tadqiqotchisi Abishek Saha, ehtimol, AI ning isbot yoki inkor qilishda sezilarli rol o'ynagan eng yirik gipoteza ekanligini ta'kidladi. U bu juda muhim ekanligini ta'kidladi, chunki AI oxirgi yilda sezilarli taraqqiyotga erishgan. Saha e'lon qilingan kontr-misol tekshirish uchun oddiy ekanligini va ko'plab matematiklar uning ishonchliligini allaqachon tasdiqlaganini qayd etdi. Biroq, AI qanday yo'l bilan bu yechimga kelgani tushunib olish muhimdir.
Kashfiyotning asosiy jihatlari
E'tibor tortgan jihatlar orasida: gipotezaning hal bo'lmagan muddati (87 yil), kontr-misolning minimal hajmi (216 belgilar), ma'lum shartlar ostida gipotezani inkor etishi, shuningdek, AI tomonidan qo'llanilgan jarayon hali to'liq tushuntirilmaganligi. Tadqiqotchi bu kashfiyot kutilmagan bo'lgan, chunki ko'pgina olimlar gipotezani intuitiv ravishda to'g'ri deb hisoblashgan va uni inkor qilishdan ko'ra isbotlashga harakat qilishgan.
Matematik tadqiqotlarning kelajagi
Kashfiyotning ahamiyatiga qaramay, u Jakobian gipotezasi bilan bog'liq barcha savollarni yopmaydi. Alpyoge kontr-misoli uchta o'zgaruvchili holatda gipotezani inkor etsa-da, faqat ikkita o'zgaruvchiga tegishli ekvivalent versiya hali ham to'g'ri bo'lishi mumkin, bu esa muammoning bir qismini ochiq qoldiradi. Bu yutuq shuningdek, matematikaning sohasidagi sun'iy intellekt imkoniyatlarining chegaralari haqidagi munozarani qayta uyg'otdi. York universiteti Kris Bowman-Skargill texnologiya murakkab vazifalarda yechim topish qobiliyatini namoyish etganini hisoblaydi, ammo bu inson ijodkorligi ahamiyatini yo'qotgani degani emas.
U 1994 yilda Andrew Wiles tomonidan hal qilingan Oxirgi Fermat teoremasini bunday erishish misoli sifatida keltiradi, bu faqat yakuniy javobdan ko'ra ko'proq narsani talab qildi, ya'ni ko'p yillik ish davomida yangi matematik nazariyalar yaratishni. Westlake universiteti Ivan Fesenko AI ning tobora mukammallashtirilayotgan modellarining yaqin yillarda matematik tadqiqotlarni o'zgartirishini, potentsial ravishda yangi bilimlar ishlab chiqish usullarini transformatsiya qilishini va ilmiy bilimlarning yangi bosqichini ochishini taxmin qiladi.