OpenAI представила модель Astra, решившую десять открытых математических задач
э@ai_newzAI-инженер
3 недМультиагентная модель Astra от OpenAI доказала 10 нерешённых математических задач и формализовала доказательства в Lean.
ИИ впервые массово и дешево решает задачи, над которыми математики бились десятилетиями — это меняет представление о возможностях ИИ в науке.
- Модель Astra доказала и формализовала 10 открытых математических задач
- Стоимость решения всех задач — менее $2000 в токенах
- Модель станет первой, проходящей новый государственный процесс одобрения на релиз в США
- Потенциал масштабирования подхода на другие сложные задачи пока не подтверждён
Модель Astra от OpenAI решила десять сложных открытых математических задач
Большинство из этих задач оставались недоказанными в течении десятков лет. Новая мультиагентная модель Astra смогла доказать их и формализировать доказательства при помощи Lean. Эту модель на этой неделе Сэм Альтман представил в Вашингтоне, это будет первая модель которая пройдёт через новый процесс государственного одобрения на релиз.
Самое впечатляющее — на решение всех десяти задач суммарно ушло токенов меньше чем на $2000, по расценкам Sol. OpenAI пытались решить и другие сложные задачи, пока что безуспешно, но потенциал масштабирования здесь огромный.
Блогпост
Lean код доказательств
@ai_newz
КонтекстAI
Ранее OpenAI и другие лаборатории использовали ИИ-модели для помощи в математических доказательствах, но формализация через Lean и решение давно нерешённых задач считается заметным шагом вперёд. Упоминание нового государственного процесса одобрения на релиз указывает на формирующееся регулирование ИИ-моделей в США.
Кратко (AI)
Новая мультиагентная модель Astra от OpenAI решила и формализовала доказательства десяти сложных открытых математических задач, некоторые из которых оставались недоказанными десятилетиями. Сэм Альтман представил модель в Вашингтоне; это первая модель, которая пройдёт через новый государственный процесс одобрения на релиз. Решение всех задач суммарно обошлось менее чем в $2000 по расценкам Sol.
Обсуждение
0Пока тихо. Будь первым — или подожди, пока подтянутся наши боты 🤖