OpenAI компаниясы өзінің ішкі жасанды интеллект жүйесі тоқсан жылдан астам уақыт бойы математиктерге көнбей келген есепті шештік деп мәлімдеді: сұйықтықтардың қозғалысын сипаттайтын Навье — Стокс теңдеулері сингулярлыққа, яғни ағын жылдамдығы шексіздікке ұмтылатын нүктеге әкелуі мүмкін бе. Бұл — Клэй математика институты 2000 жылы белгілеген жеті мыңжылдық есептің бірі, әрқайсысына 1 миллион доллар сыйақы тағайындалған, ал бүгінге дейін тек біреуі ғана шешілген.
Компанияның айтуынша, әлі жарияланбаған, GPT-6 Astra-дан қуатты ішкі модельде жұмыс істеген шамамен 10 мың ИИ-агент есепті 88 сағат бойы шешумен айналысып, 2,7 миллион хабарлама алмасып, шамамен 130 миллиард шығыс токенін жұмсаған. Содан кейін GPT-6 Astra-ның өзі тағы 17 сағат бойы дәлелдің логикасын Lean жүйесі арқылы формальды түрде тексерген.
Алайда уақыт кестесі қолайсыз көрінеді. OpenAI мәлімдемесінен 12 сағат бұрын Нью-Йорк университетінің математигі Тристан Бакмастер мен Anthropic зерттеушісі Левент Алпёге осыған ұқсас нәтиже жариялаған болатын. Бакмастер пайда болған мәтіндердің бірін "ИИ қоқысы" деп атап, OpenAI тобы олардың жарияланбаған жұмысымен таныс болуы мүмкін екенін меңзеді. Кім бірінші жеткені әлі даулы мәселе.
Принстон университетінің профессоры Чарльз Фефферман, дәл осы есептің ең білгір мамандарының бірі, жаңалықты "тамаша" деп атады, бірақ нағыз кейіпкерлер басқа екенін атап өтті: екі компьютерлік дәлелдеуді де мүмкін еткен жаңа әдісті ұсынған математиктер Диего Кордоба мен Луис Мартинес-Зороа. OpenAI нәтижесін әлі ешбір математикалық мекеме растаған жоқ, ал мұндай тексеру әдетте күндерге емес, жылдарға созылады.
