DeepMind AlphaProof Nexus: как AI-агент ищет формальные доказательства в Lean
DeepMind AlphaProof Nexus показал агентный цикл для формальных доказательств в Lean: разбираем 9 задач Эрдеша, 44 OEIS-гипотезы и границы результата.
AI-агенты
AI-агенты: автономные ИИ-системы, способные выполнять задачи без постоянного участия человека.
RMA: как AI-агенты подошли к исследовательской математике
RMA заявляет 8 успешных решений из 10 на First Proof. Что это говорит об AI-агентах для математики и почему результат пока нельзя читать как замену экспертам.
AI-боты сканируют TLS-логи: новый налог на открытый веб
AI-боты находят новые домены через публичные CT-логи. Что это значит для владельцев сайтов, robots.txt и экономики открытого веба.
AutoTTS test-time scaling: LLM-агент ищет алгоритмы инференса
AutoTTS переносит дизайн test-time scaling из ручных эвристик в replay-среду: Claude Code пишет контроллер, который распределяет ширину и глубину рассуждения.
Qwen3.7-Max: автономный coding-agent Alibaba работал 35 часов
Alibaba заявляет, что Qwen3.7-Max автономно оптимизировал kernel-код 35 часов. Главное — не 10x speedup, а ставка на long-horizon agents.
Model labs становятся agent labs: почему лаборатории ИИ продают уже не только модели
Лабораториям ИИ уже мало продавать модель через API. Разбираем сдвиг к агентам, харнесам, памяти, песочницам и экономике инференса.
AI search startups: почему поиск для AI-агентов стал рынком
Exa и Parallel подняли крупные раунды не ради ещё одного поисковика, а ради инфраструктуры для AI-агентов. Разбираем, почему поиск снова стал точкой контроля.