OpenAI показала Astra: модель нашла результаты для десяти старых математических задач
OpenAI показала Astra: модель нашла результаты для десяти старых математических задач
OpenAI сообщила, что внутренняя версия Astra, следующей крупной модели компании, получила новые результаты для десяти задач в математике и теоретической информатике. По словам OpenAI, эти задачи оставались без прогресса по главному результату как минимум десять лет, а в большинстве случаев намного дольше.
Компания перечисляет результаты в упаковке сфер, теории кодов, группах, алгебрах фон Неймана, арифметической сложности, квантовых играх, решётках, задачах Эрдаша и экстремальной теории графов. Это не пользовательский запуск Astra и не готовый продукт: OpenAI показывает исследовательский результат внутренней модели.
Почему это громче обычного бенчмарка
Обычные тесты измеряют, как модель решает заранее подготовленные задачи. Здесь ставка другая: OpenAI утверждает, что система дала новые математические аргументы. Компания пишет, что поиск решений суммарно потребовал бы около $2000 по тарифам Sol API, затем люди подготовили рукописи с той же моделью, а сама модель формализовала каждый аргумент в Lean-сертификате.
Lean важен потому, что математическое сообщество не обязано верить пресс-релизу. Формальная проверка не заменяет живую экспертизу, но даёт путь к воспроизводимой проверке: можно смотреть не только красивое объяснение, а структуру доказательства.
Что теперь должна проверить наука
OpenAI отдельно признаёт проблему ответственности. Если доказательство полностью сгенерировано ИИ, называть его человеческой работой было бы нечестно; но и компания не может в одиночку решить, как такая работа должна входить в математику. Поэтому она просит сообщество изучить результаты и поставить их в контекст.
Для читателя главный смысл в смене роли моделей. До сих пор сильные AI-системы чаще обсуждали как помощников для кода, анализа данных и поиска идей. Astra показывает более жёсткую планку: модель претендует на вклад в область, где ценятся не впечатляющие ответы, а проверяемые доказательства. Если результаты выдержат независимую экспертизу, разговор об ИИ в науке станет намного конкретнее.
- openai.comTen advances in mathematics and theoretical computer science
- techmeme.comOpenAI says an internal version of Astra, its next big model, produced results for 10 problems in math, quantum complexity, and theoretical computer science
- commons.wikimedia.orgFile:Pure-mathematics-formulæ-blackboard.jpg - Wikimedia Commons
- openai.comChatGPT for Academic Researchers
