Внутренняя модель OpenAI опровергла известную гипотезу в дискретной геометрии
Внутренняя модель OpenAI самостоятельно опровергла центральную гипотезу в дискретной геометрии, области математики, связанной с применениями в cryptography, wireless device communication и medical imaging. Речь идёт о задаче, сформулированной Paul Erdős в 1946 году. Корректность доказательства подтвердили известные математики в сопутствующей научной работе; там результат называют подлинным прорывом по одному из самых обсуждаемых вопросов этой области.
По словам исследователей, которые проверяли доказательство, задача считается одной из наиболее известных в Discrete Geometry. Один из них заметил: если бы такую работу прислал человек и статья оказалась в Annals of Mathematics, он без колебаний рекомендовал бы её к публикации. В том же материале говорится, что ранее ни одно доказательство, созданное ИИ, не находилось на сопоставимом уровне.
Авторы связывают результат с более широкой тенденцией: системы ИИ всё чаще решают задачи автономно, действуя как агент. OpenAI описывает модель, получившую доказательство, как general-purpose систему, не специализированную на математике. Отмечается, что она способна выстраивать длинные и новые цепочки рассуждений в сложных задачах. Особенно заметно это в областях, где итог легко проверить, например в математике или cybersecurity. В качестве примера приводится Claude Mythos от Anthropic: система обнаружила тысячи уязвимостей во всех основных операционных системах и web browser и была признана слишком опасной для публичного выпуска.
На фоне таких возможностей растёт интерес государства к оценке frontier AI models. В исследованиях ИИ многие результаты можно быстро проверить, и, как утверждают исследователи из OpenAI и Anthropic, это ускоряет разработку. Старшие исследователи принимают решения на уровне стратегии, а значительную часть программирования выполняет ИИ. Компании также рассчитывают применять ИИ для улучшения будущих моделей при минимальном человеческом контроле, подчёркивая необходимость опережать конкурирующие лаборатории в U.S. или Chinese labs. При этом ряд ведущих экспертов предупреждает, что подобная гонка может закончиться human extinction, и призывает к международным ограничениям на технологию. Политические лидеры из разных стран всё чаще выражают согласие с этой позицией.
Ключевые факты
Внутренняя модель OpenAI автономно опровергла центральную гипотезу в дискретной геометрии, связанную с вопросом, поставленным Paul Erdős в 1946 году.
Доказательство было проверено известными математиками в сопроводительной научной работе, и один из них назвал задачу «возможно, самой известной проблемой в Discrete Geometry».
OpenAI описывает систему, создавшую доказательство, как модель общего назначения, не специализированную на математике.
Anthropic сообщала, что модель Claude Mythos обнаружила тысячи уязвимостей во всех основных операционных системах и веб‑браузерах и была признана слишком опасной для публичного выпуска.