- Опубликовано
OpenAI Astra: решение сложнейших математических задач
- Автор
- Имя
- Новости AI и AI разработки | GPT, Chat GPT, Claude, Cursor, Codex
- Telegram
- Новости AI и AI разработки | GPT, Chat GPT, Claude, Cursor, Codex193 подписчика951 постВсе о разработке с помощью AI От автора @productgames Кристины Гусевой Курс по вайбкодингу: https://pgcaseclub.com/vibecoding
Кратко
OpenAI Astra: решение сложнейших математических задачНовая модель Astra от OpenAI продемонстрировала прорыв в логическом мышлении, решив 10...
OpenAI Astra: решение сложнейших математических задач
Новая модель Astra от OpenAI продемонстрировала прорыв в логическом мышлении, решив 10 открытых математических проблем, некоторые из которых оставались нерешенными более 30 лет. В отличие от стандартных тестов, модель не просто угадывала ответы, а формировала полноценные доказательства на специальном языке верификации Lean.
Стоимость решения одной такой задачи составила около 200 долларов, что открывает путь к использованию ИИ для автоматизации проверки сложнейших логических и технических гипотез. Узнать больше о результатах Astra.
Ссылка: https://openai.com/index/ten-advances-in-mathematics/
@AIandproducts
