🚀 🧠 OpenAI Astra решила 10 математических задач, часть ждала ответа с 1999 года
Компания выложила доказательства и логи рассуждений в открытый доступ. Среди побед — подтверждение существования несофических групп, опровержение 80-летней гипотезы о единичных расстояниях и доказательство 50-летней гипотезы о двойном покрытии циклами — на это модели хватило меньше часа.
По данным Scientific American, авторы теста считают, что AI верно решил лишь две задачи, а независимые эксперты оценивают результат в 6–8 правильных ответов. Официальной оценки пока нет, но даже черновой прорыв в чистой математике — серьёзная заявка.
«Задачи тысячелетия» Astra не осилила, а поиск ответов обошёлся примерно в $2000 по API-тарифам. Пока это не замена математикам, а мощный ассистент для сложнейших головоломок 🚀