Anthropic компаниясының жасанды интеллект агенті 1939 жылғы математикалық гипотезаны жоққа шығарды: серпіліс ме, әлде тағы бір жалған ақпарат па?
2026 жылғы 20 шілдеде Anthropic зерттеушісі Левент Альпоге сенсациялық нәтиже жариялады: Claude Fable 5 тілдік моделі Якобиан гипотезасына қарсы мысал тапты — бұл неміс математигі Отто-Генрих Келлер 1939 жылы тұжырымдаған алгебралық геометрияның орталық шешілмеген мәселелерінің бірі.
Гипотезаның мәні қарапайым, бірақ терең. Сандардың бір жиынын екіншісіне түрлендіретін формуланы елестетіңіз. Математиктер мұндай формуланы «жергілікті» түрде тексере алады — әрбір жеке нүктеде ол ақпаратты жоғалтпайды және әртүрлі кіріс деректерін «біріктірмейді». Якобиан гипотезасы формула кішігірім көлемде мінсіз әрекет етсе, оның әрекетін жаһандық деңгейде де кері қайтаруға болады деп тұжырымдады: нәтиже бойынша бастапқы сандарды қалпына келтіру. Бұл қасиет «қайтымдылық» деп аталады.
Барлығын бұзатын қарсы мысал
Claude Fable 5 жергілікті тексерістен өтетін, бірақ үш түрлі сандар жиынын бірдей нәтижеге айналдыратын формула құрды. Бұл гипотезаны тікелей жоққа шығару: нәтиже бойынша бастапқы деректерді қалпына келтіру мүмкін емес. Альпоге Wolfram Alpha-ға сілтемелер жариялады, онда кез келген адам мысалды өз бетінше қайта есептей алады.
Айта кету керек, гипотеза туралы сұрақты Альпогенің досы қойған, ал Claude өзі футболдан әлем чемпионатының финалы кезінде мәселемен жұмыс істеген. Гипотеза өзінің 87 жылдық тарихында көптеген қате дәлелдемелерімен танымал болды. Математик Цяочу Юань бұл тілдік модельмен шешілген ең танымал ашық мәселе екенін атап өтіп, 2008 жылы Т.Т. Моның талдауын келтірді, ол тіпті Беньямино Сегре, Клод Шевалле және Игорь Шафаревич сияқты ғалымдардың да оны бағалауда қателескенін көрсеткен.
Математик Джаред Дюкер Лихтман нәтижені «көрнекті» деп атап, гипотезаның жеке жағдайы жай сандар теориясында серпіліс жасаған Итан Чжанның диссертациясының тақырыбы болғанын еске салды.
Шуға қарсы тексерілу мүмкіндігі
Бұл нәтиженің ЖИ компанияларының әдеттегі мәлімдемелерінен басты айырмашылығы — оның абсолютті тексерілу мүмкіндігі. Әдетте біз бенчмарктардағы немесе ішкі сынақтардағы рекордтар туралы естиміз. Мұнда нақты формула берілген, оны енгізіп, қолмен қайта есептеуге болады. Нәтиже әлі ресми рецензиядан өтпегенімен, оның табиғаты оны кез келген математикке тексеруге мүмкіндік береді.
Альпоге ғылымда жаңа емес. Ол Фильдс сыйлығының лауреаты Манджул Бхаргаваның жетекшілігімен Принстонда докторлық диссертация қорғаған, ал 2015 жылы математикадағы студенттік зерттеулер үшін АҚШ-тың ең жоғары наградасы — Морган сыйлығын алған.
Ашық мәселелерге қарсы ЖИ: контекст
Бұл ЖИ-дің математикалық есептерді шешуге көмектескен алғашқы жағдай емес. 2025 жылғы қазанда OpenAI вице-президенті Кевин Вейл GPT-5 Эрдештің он мәселесін шешті деп мәлімдеген, бірақ бұл расталмады — модель бұрыннан белгілі шешімдерді тапқан. 2026 жылғы қаңтарда GPT-5.2 Pro Эрдештің №397 мәселесін шешті, мұны Теренс Таоның өзі растады. Мамырда OpenAI моделі Эрдештің 1946 жылғы бірлік қашықтықтар туралы гипотезасын жоққа шығарды — бұл ЖИ үшін осындай деңгейдегі алғашқы жағдай. Дәлелдемені тоғыз сыртқы математик тексерген.
Алайда, Тао дұрыс атап өткендей, ЖИ әзірге стандартты әдістерге қолжетімді «төмен ілінген жемістерді» ғана жинап жатыр. Дегенмен, прогресс айқын: расталмаған мәлімдемелерден 80 жылдық гипотезалардың формальды түрде тексерілген жоққа шығарылуына дейін.
Менің пікірім: Альпоге мен Claude Fable 5 нәтижесі — бұл жай ғана кезекті ЖИ рекорды емес, тілдік модельдердің белгілі нәрселерді жинақтап қана қоймай, принципті жаңа математикалық объектілерді жасай алатынын көрсету. Егер тексеру дұрыстығын растаса, бұл суайырым болады: ЖИ есептеулерге арналған құрал ғана болудан қалып, іргелі жаңалықтарға қатыса бастайды. Алайда OpenAI қателерінің тарихы еске салады: әзірге әрбір осындай нәтиже Оккам ұстарасы мен тірі математиктің қолын қажет етеді.