Почему OpenAI продолжает превосходить математиков — 29 сентября 2026 г. в 06:17:51.739
Почему OpenAI продолжает превосходить математиков OpenAI продолжает выпускать системы искусственного интеллекта (ИИ), которые решают математические задачи уровня международных олимпиад и исследовательских работ. Свежие тесты показывают: модели не просто ускоряют перебор вариантов, а находят неочевидные доказательства, которые ставят в тупик профессиональных математиков. Разрыв между машинным перебором и человеческой интуицией сокращается быстрее, чем ожидало научное сообщество. Ключевой фактор — не только объём данных. Модели обучаются на корпусах научных статей, теорем и доказательств, а затем дорабатываются с помощью обучения с подкреплением. Система получает обратную связь не от человека, а от формальных проверок: верно ли каждый шаг рассуждения, ведёт ли он к цели. Такой подход позволяет отбрасывать ложные пути и концентрироваться на перспективных ветвях. По сути, это имитация работы математика, но в масштабе, недоступном отдельному человеку. Однако у метода есть ограничения. Вне области обучающей выборки модель может уверенно генерировать правдоподобные, но неверные рассуждения — так называемые галлюцинации. Поэтому результаты, полученные ИИ, всё ещё требуют независимой проверки. Для математиков это одновременно вызов и инструмент: рутинные и комбинаторные части работы можно делегировать алгоритмам, освобождая время для постановки новых задач. Но статус первого доказательства и нормы авторства становятся менее очевидными, когда вклад вносит машина. Продолжающееся давление OpenAI на математическое сообщество заставляет быстрее отвечать на практические вопросы: как проверять машинные доказательства, как фиксировать приоритет и как перестраивать образование, чтобы люди работали вместе с ИИ, а не конкурировали с ним. Главное: • OpenAI выпускает модели, решающие задачи уровня олимпиад и исследований • ИИ находит неочевидные доказательства быстрее профессиональных математиков • Обучение с подкреплением помогает отбрасывать ложные пути рассуждений • Вне обучающей выборки модели могут генерировать неверные доказательства • Математикам предстоит пересмотреть нормы авторства и проверки #ИИ #OpenAI #Математика #Наука #Технологии