OpenAI заявила о 10 математических прорывах: достижения новой модели Astra
habr.comOpenAI опубликовала исследование, в котором утверждает, что ее внутренняя модель Astra достигла сразу десяти новых результатов в современной математике, включая задачи, которые оставались открытыми на протяжении десятилетий.
Компания заявляет, что модель Astra не просто воспроизводила известные рассуждения, а самостоятельно находила ключевые идеи доказательств, после чего формализовала их в системе Lean и получила машинно проверяемые сертификаты корректности.Вместе с анонсом OpenAI выложила 249-страничный отчет со всеми доказательствами и формальными проверками.
