Anthropic tadqiqotchisi 87 yillik matematik masalasini AI yordamida yechdi

 


Asosiy yangiliklar

2026-yil 19-iyul kechqurun, Jahon chempionati finali o'ynalayotgan paytda, matematik Levent Alpyoge X (Twitter) platformasida qisqa, ammo matematika olamini larzaga soltirgan xabar joyladi: Jacobian gipotezasi noto'g'ri.

Anthropic kompaniyasida ishlaydigan sonlar nazariyachisi Alpyoge, bu natijani Claude Fable 5 (Anthropicning eng so'nggi flagman modeli) bilan birgalikda topganini ma'lum qildi — hattoki futbol o'yini davomida ham model ishlashda davom etganini hazil bilan ta'kidladi.

Jacobian gipotezasi nima?

1939-yilda Ott-Xaynrix Keller tomonidan ilgari surilgan bu gipoteza, algebraik geometriyaning eng qat'iy ochiq masalalaridan biri hisoblanadi: agar n o'lchovli fazodan o'ziga o'tuvchi polinomial funksiyaning Jacobian determinanti nolga teng bo'lmagan doimiy songa teng bo'lsa, bu funksiya albatta teskarilanadigan (polinomial teskarisiga ega) bo'lishi kerak. Bu masala matematik Stiven Smeyl tomonidan 21-asr uchun belgilangan 18 ta muhim masaladan biri sifatida ham tan olingan.

Qanday qilib rad etildi?

Alpyoge va Fable 5, gipotezani isbotlamadi — balki uni buzdi. Ular uch o'lchovli murakkab fazoda (C³), Jacobian determinanti aynan -2 ga teng bo'lgan, ammo teskarilanmaydigan bitta polinomial akslantirish topdilar. Uchta har xil kirish nuqtasi — (0, 0, -1/4), (1, -3/2, 13/2) va (-1, 3/2, 13/2) — barchasi bitta xil (-1/4, 0, 0) natijaga aks etgan. Bu, funksiyaning birma-bir emasligini, demak teskarisi mavjud bo'lmasligini isbotlaydi.

Eng hayratlanarlisi — bu qarshi misol atigi 216 belgidan iborat bo'lgan, va Alpyoge o'z postiga Wolfram Alpha orqali tekshiruv natijalarini ham qo'shgan.

Jamiyat munosabati

Professional matematiklar yuritadigan "Secret Blogging Seminar" blogiga ko'ra, natija matematika jamoasining darhol e'tiborini tortgan — matematik Endi Jiang esa bu akslantirishning deyarli nafis geometrik qurilishini taqdim etgan. Bu natija ikki o'lchovdan yuqori barcha holatlar uchun gipotezani rad etadi, ammo ikki o'zgaruvchili maxsus holat hali ham ochiq masala bo'lib qolmoqda.

Tekshiruv holati

Maqola yozilgan vaqtda, qarshi misol hali rasmiy taqriz va arXiv'ga yuklanishini kutmoqda. Biroq ko'plab matematiklar bunday tabiatdagi qarshi misolni hisoblash orqali tekshirish mumkinligini ta'kidlaydi — Jacobian determinantining doimiyligini va uch nuqtaning bir joyga tushishini tekshirish shunchaki polinomial arifmetika talab qiladi. Darhaqiqat, keyingi kunlarda (21-iyul) mustaqil matematiklar hisob-kitoblarni tekshirib, tasdiqlovchi preprint tayyorlashga ulgurishgan — biroq rasmiy jurnal taqrizi hali yakunlanmagan.

Alpyoge kim?

Prinston universitetida doktorlik darajasini olgan va ilgari Garvardning Society of Fellows tashkilotida Yosh A'zo bo'lib ishlagan Alpyoge, 2024-yilda Anthropicka qo'shilgan.

Xulosa

Bu voqea, sun'iy intellektning matematik tadqiqotlarda haqiqiy ilmiy hamkor sifatida ishlatilishining yorqin namunasi bo'lib qoldi — bir kechada, futbol o'yini davomida, o'nlab yillar davomida yechilmagan masalaga qat'iy va tekshirilishi oson bo'lgan yechim topilishi, sun'iy intellektning fanga qo'shayotgan hissasi tobora jiddiylashib borayotganini ko'rsatadi.


Fikringiz biz uchun muhim! Iltimos, sharh yozishda o‘zaro hurmat qoidalariga rioya qiling. Reklama yoki haqoratli sharhlar tasdiqlanmaydi.

Yangiroq Eskiroq