Кратко

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

• Модель Astra решила десять математических задач, не поддававшихся научному сообществу более десяти лет.
• Стоимость генерации всех решений составила всего 2 тысячи долларов, согласно тарифам GPT-5.6 Sol.
• Математические концепции и идеи были полностью сгенерированы моделью Astra, а человеческое участие заключалось лишь в оформлении.
• Модель самостоятельно формализовала каждое доказательство с использованием языка Lean.