Astra получила новые результаты по 10 открытым задачам математики Внутренняя версия следующей флагманской модели OpenAI решила 10 давно открытых проблем математики и теоретической информатики примерно за $2000 — и формализовала каждое доказательство в Lean. Читать статью
Astra получила новые результаты по 10 открытым задачам математики Внутренняя…
202 viewsОткрыть в Telegram →
Источник
https://t.me/ai_longreads/785Канал Про AI: Лучшие cтатьи и исследования · опубликовано 5 авг. 2026 г.
Из этого канала
- #784Claude — не компилятор Основатель exe.dev рассказывает, как за неделю собрал с…
Claude — не компилятор Основатель exe.dev рассказывает, как за неделю собрал с помощью агентов географически распределённый DNS-сервер, почти не читая код, — и…
- #783Что сегодня обсуждают профессионалы AI-индустрии: MiniMax-H3 для ComfyUI…
Что сегодня обсуждают профессионалы AI-индустрии: MiniMax-H3 для ComfyUI Перепакованные файлы модели MiniMax-H3, оптимизированные для использования в…
- #782Новые правила context engineering для моделей Claude 5 Anthropic удалила более…
Новые правила context engineering для моделей Claude 5 Anthropic удалила более 80% системного промпта Claude Code для моделей нового поколения — без потерь в…