Anthropic с помощью модели Claude создала проверяемую компьютером версию доказательства Великой теоремы Ферма — одного из сложнейших математических утверждений.
OpenAI опубликовала решения десяти давних математических проблем, что вызвало бурную реакцию в научном сообществе. Многие ведущие математики признают: это стало неожиданностью, хотя ИИ по-прежнему плох в элементарной арифметике и не может правильно назвать дни недели. Однако на высоком уровне абстрактной математики модели достигли впечатляющих результатов.
Гипотеза Римана более 150 лет остаётся одной из главных нерешённых задач математики, связанной с распределением простых чисел. За её полное доказательство до сих пор не выплачен приз в миллион долларов.
Математик Джеймс Мейнард, лауреат Филдсовской премии и профессор Оксфорда, признаётся, что весь последний год провёл в «поисках себя» — настолько быстро AI меняет его традиционно неспешную дисциплину.
OpenAI впервые официально подтвердила существование модели Astra, назвав её «следующим крупным семейством моделей». По данным компании, внутренняя версия помогла решить десять открытых задач математики и теоретической информатики.
Компания OpenAI сообщила, что её модель GPT-5.6 Sol доказала гипотезу о двойном покрытии циклами (Cycle Double Cover Conjecture), остававшуюся нерешённой более 50 лет. Доказательство было получено одновременно с выпуском новой версии ИИ.
OpenAI заявляет, что их новая модель рассуждений впервые самостоятельно доказала нерешенную гипотезу Эрдёша (1946). Ранее компания ошибочно приписывала GPT-5 решение других задач, но теперь ошибка учтена.