
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 OpenAI   свои попытки доказательства 14 февраля в рамках  , соревнования, организованного 11 ведущими математиками из учебных заведений, таких как Гарвард, Йель, Стэнфорд и MIT. опубликовала First Proof Соревнование представляет собой набор из 10 неопубликованных математических задач исследовательского уровня, специально разработанных так, чтобы модели искусственного интеллекта (ИИ) не могли видеть их раньше. Цель состоит в том, чтобы понять, действительно ли ИИ   при решении задачи, или потенциально   способ решения уже известной математической задачи. рассуждает запоминает Результаты изнурительного теста были неоднозначными, но замечательными. На основе отзывов экспертов OpenAI считает, что по крайней мере пять попыток доказательства моделей (задачи 4, 5, 6, 9 и 10) имеют высокую вероятность быть правильными, а несколько других все еще находятся на рассмотрении. Главный научный сотрудник Якуб Пачоцки позже уточнил это число до шести, написав: «Основываясь на отзывах экспертов, мы считаем, что по крайней мере шесть решений (2, 4, 5, 6, 9, 10) имеют высокую вероятность быть правильными, а некоторые другие выглядят многообещающими». Он  , что попытка «была побочным спринтом, выполненным за неделю в основном путем запроса одной из моделей, которую мы сейчас обучаем», признав, что «применяемая нами методология оставляет желать лучшего». добавил https://x.com/merettm/status/2022517085193277874?s=20&embedable=true Однако математики уже выявили потенциальные недостатки по крайней мере в одном из этих шести, и окончательный вердикт будет зависеть от официального рецензирования. Конкретных сроков рецензирования публично не объявлялось. Попытка стала результатом недельного спринта, в ходе которого новейшие внутренние модели OpenAI работали вместе с математиками-людьми, обладающими опытом в соответствующих областях. Важно отметить, что правила First Proof требуют, чтобы все математические идеи исходили от ИИ автономно; человеческий ввод математического контента явно запрещен, что делает сотрудничество с экспертами предметом пристального внимания. Сама команда First Proof обнаружила, что без ограничений системы ИИ, включая GPT 5.2 Pro и Gemini 3.0 Deepthink, уверенно выдавали доказательства для всех 10 задач, но только два из них выдержали экспертную оценку. Это усилие вписывается в более широкие усилия OpenAI по развитию научного и численного мышления. В июле 2025 года одна из ее моделей завоевала золотую медаль на   с 35 очками из 42. Международной математической олимпиаде Совсем недавно GPT-5.2 помог исследователям решить открытую теоретическую проблему в области статистики, причем роль человека ограничивалась проверкой и написанием, а не математической поддержкой. Что такое First Proof? First Proof — это эталон, созданный 11 исследователями-математиками, включая имена, близкие к Филдсовской премии, из Гарварда, Йеля, Колумбийского университета и EPFL, чтобы проверить, может ли ИИ автономно решать задачи, которые естественно возникают в академических исследованиях. В отличие от соревновательной математики (например, олимпиадных задач с четкими числовыми ответами), это леммы: небольшие, технические доказательства, с которыми математики сталкиваются при работе над более крупными результатами. Задачи охватывают такие области, как алгебраическая топология, спектральная теория графов, симплектическая геометрия и численная линейная алгебра. Ключевым моментом является то, что ни одно из решений не было опубликовано в Интернете до начала соревнования, что исключает любую возможность загрязнения обучающих данных ИИ. Решения были зашифрованы и опубликованы 13 февраля, что дало участникам ровно неделю на решение задач. Соревнование получило свое название от кулинарной метафоры: первая расстойка — это основная ферментация теста, первый этап перед тем, как что-либо будет сформировано в конечный продукт. Вывод из First Proof заключается не в том, что ИИ потерпел неудачу. А в том, что планка того, что считается «решением» математической задачи, значительно повысилась. 
 
 Хуан Пабло Агирре Осорио, журналист, The Sociable

This story contains new, firsthand information uncovered by the writer.

Follow us on Twitter 

Read My Stories

Этот звук создан на языке оригинала истории!

OpenAI расширяет возможности нейронных сетей в области высшей математики

About Author

КОММЕНТАРИИ

БИРКИ

ЭТА СТАТЬЯ БЫЛА ПРЕДСТАВЛЕНА В

Related Stories

Повысьте свою производительность с помощью этих 18 инструментов разработчика 🚀🔥

Невидимые слои: почему интервью с пользователями являются незаменимым активом

Valhalla Флоки станет ассоциированным спонсором индийского тура по Шри-Ланке

Создание криптопродуктов, ориентированных на пользователя: важность отзывов клиентов

Повысьте свою производительность с помощью этих 18 инструментов разработчика 🚀🔥

Невидимые слои: почему интервью с пользователями являются незаменимым активом

Valhalla Флоки станет ассоциированным спонсором индийского тура по Шри-Ланке

Создание криптопродуктов, ориентированных на пользователя: важность отзывов клиентов

Light-Mode

Classic

Newspaper

Minty

Dark-Mode

Neon Noir

Minty

HN StartUps