OpenAI разом опубликовала ИИ-решения 377 сложных задач по математике и физике; по данным Scientific American, все они получены от ещё не опубликованной передовой модели — одним агентом по одному запросу.
Среди математических рукописей, опубликованных OpenAI 6 октября, 31-страничная статья заявляет о полном доказательстве гипотезы Кэннона и сопровождается формальной проверкой в Lean.
Неопубликованная исследовательская версия Claude подняла границу для дзета-функции, связанную с гипотезой Римана, с 41,6% до 67,2%, говорится в записи на исследовательском сайте Anthropic от 5 октября, которую 7 октября собрал Ground News.
Шесть когнитивистов опубликовали формальное доказательство — «теорему Ingenia»: даже при идеальных данных создание ИИ человеческого уровня путём обучения NP-трудно, так что тезис о неизбежности AGI через масштабирование не подкреплён теоремами.
Доцент Уортонской школы бизнеса Edgar Dobriban с помощью GPT-5.6 Sol Pro опроверг гипотезу в области проверки множественных гипотез, которая держалась около 20 лет, и опубликовал результат как препринт на arXiv, указав себя единственным автором.
В 1946 году Пал Эрдёш поставил задачу о единичных расстояниях: сколько пар из n точек на плоскости могут находиться на расстоянии ровно 1? Почти 80 лет математики считали оптимальной квадратную решётку. OpenAI заявила, что её внутренняя модель рассуждений дала первое полностью автономное доказательство через контрпример.
OpenAI опубликовала собрание математических результатов, созданных внутренней передовой моделью: 722 рукописи и 372 «семейства результатов» по теории чисел, алгебре, топологии, логике и теоретической информатике. По сообщениям, модель работала примерно с 4000 открытых задач, а уцелевшие результаты были собраны и выложены.