Внутренняя модель OpenAI Astra решила 10 открытых математических задач OpenAI выпустили большой материал, в котором рассказали, как их внутренняя модель Astra смогла решить 10 открытых математических задач, некоторым из которых было 40–50 лет. Компания также опубликовала доказательства в Lean и полный ход рассуждений модели. По оценке OpenAI, на поиск всех решений ушло примерно $2000 в токенах по ценам Sol. Результаты: доказательство существования несофических групп и новые результаты по упаковке сфер в пространствах высокой размерности. Последняя одна из самых известных задач дискретной геометрии. До сих пор точные решения были известны лишь для отдельных размерностей, а за случаи 8 и 24 измерений Марина Вязовская получила Филдсовскую медаль. Кроме того, модель решила задачу Эрдеша №183 о мультицветных числах Рамсея, опровергла гипотезу жёсткости Конна, а также продвинулась в гипотезе Эрхарта и ряде других открытых нерешенных задачах. Подробностей о самой модели пока что немного. Предполагается, что это одна из внутренних моделей семейства GPT-6 (или GPT-5.7) - возможно, та самая, которую Альтман недавно показывал в Белом доме. https://openai.com/index/ten-advances-in-mathematics/ ИИ тебя заменит