https://ai-uchi.ru/tags/lean/Recent content in Lean on AI-Uchi — Всё об искусственном интеллектеHugoruMon, 03 Aug 2026 09:30:00 +0300https://ai-uchi.ru/translations/openai-astra-reshaet-zadachi-matematiki/Mon, 03 Aug 2026 09:30:00 +0300https://ai-uchi.ru/translations/openai-astra-reshaet-zadachi-matematiki/<h1 id="openai-astra-решила-10-открытых-задач-математики-и-теоркомпьютеринга">OpenAI Astra решила 10 открытых задач математики и теоркомпьютеринга</h1> <p>1 августа 2026 года OpenAI опубликовала результаты, которые мгновенно облетели математическое сообщество: десять решений задач, которые не продвигались по главному результату как минимум десятилетие, а в большинстве случаев значительно дольше. За всеми этими прорывами стоит не человек — а внутренняя версия Astra, следующей крупной модели OpenAI.</p> <div class="callout callout-info"> <div class="callout-title">&#8505; Что такое Astra?</div> <div class="callout-content"><strong>Astra</strong> — кодовое название следующего крупного семейства моделей OpenAI, пока не выпущенного публично. Именно эта модель сгенерировала все десять математических доказательств.</div> </div> <h2 id="что-именно-было-решено">Что именно было решено</h2> <p>Задачи охватывают высокоразмерную геометрию, теорию кодирования, сложность арифметических схем, теорию групп, операторные алгебры, квантовую сложность, решёточную криптографию и экстремальную комбинаторику.</p>