Astra решила 10 нерешённых задач за тысячи долларов вычислений

Модель GPT-6 Astra нашла доказательства для десяти задач в математике и теоретической информатике, которые оставались нерешёнными десятилетиями, потратив на это, по сообщениям, несколько тысяч долларов вычислений. Автор отмечает экономический сдвиг: стоимость попытки сложной интеллектуальной работы падает до цены вычислений.

• Astra получила доказательства для 10 задач, не решавшихся десятилетиями
• Затраты на вычисления составили несколько тысяч долларов
• Стоимость попытки сложной работы смещается с зарплат на облачные счета
• Риск: дешёвые запуски без верификации превращаются в крупные траты