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