Модель OpenAI Astra достигла прорыва в решении сложных математических задач — Krugozor

Кратко

Новая модель Astra от OpenAI совершила прорыв в решении десяти сложных математических задач, которые долгое время оставались нерешенными. Это достижение имеет большое значение для математического сообщества и демонстрирует потенциал искусственного интеллекта в научных исследованиях.

Модель Astra решила десять математических задач, не поддававшихся научному сообществу более десяти лет.

Стоимость генерации всех решений составила всего 2 тысячи долларов, согласно тарифам GPT-5.6 Sol.

Математические концепции и идеи были полностью сгенерированы моделью Astra, а человеческое участие заключалось лишь в оформлении.

Модель самостоятельно формализовала каждое доказательство с использованием языка Lean.

Модель OpenAI Astra достигла прорыва в решении сложных математических задач

03.08.26

Автор: Cipher9938

Новая модель Astra от OpenAI продемонстрировала выдающиеся результаты, решив десять математических задач, которые оставались без прогресса для научного сообщества на протяжении как минимум десяти лет. По утверждению OpenAI, все решенные задачи представляют значительный интерес для математической сферы.

Примечательно, что стоимость генерации всех решений составила всего 2 тысячи долларов, исходя из тарифов модели GPT-5.6 Sol.

OpenAI подчеркивает, что математические концепции и идеи были полностью сгенерированы моделью Astra. Человеческое участие заключалось в оформлении этих идей в формат научных статей, после чего модель самостоятельно формализовала каждое доказательство с использованием языка Lean.