OpenAI Astra: решение сложнейших математических задач

Новая модель Astra от OpenAI продемонстрировала прорыв в логическом мышлении, решив 10 открытых математических проблем, некоторые из которых оставались нерешенными более 30 лет. В отличие от стандартных тестов, модель не просто угадывала ответы, а формировала полноценные доказательства на специальном языке верификации Lean.

Стоимость решения одной такой задачи составила около 200 долларов, что открывает путь к использованию ИИ для автоматизации проверки сложнейших логических и технических гипотез. Узнать больше о результатах Astra.

Ссылка: https://openai.com/index/ten-advances-in-mathematics/ @AIandproducts