Google Zero, AI-суды и zero-day clock: ИИ сжимает старые буферы
Google Zero, рост AI-документов в судах США и Zero Day Clock показывают один сдвиг: ИИ сокращает старые буферы времени, трафика и фильтрации.
аналитика
Аналитика данных с ИИ: инструменты, методики и кейсы применения для бизнес-аналитиков и дата-сайентистов.
Google Genie world models: зачем ИИ интерактивные миры для роботов и игр
Google добавила Project Genie привязку к Street View. Разбираем, почему world models важны для роботов, AI-агентов и разработки игр.
DeepMind AlphaProof Nexus: как AI-агент ищет формальные доказательства в Lean
DeepMind AlphaProof Nexus показал агентный цикл для формальных доказательств в Lean: разбираем 9 задач Эрдеша, 44 OEIS-гипотезы и границы результата.
RMA: как AI-агенты подошли к исследовательской математике
RMA заявляет 8 успешных решений из 10 на First Proof. Что это говорит об AI-агентах для математики и почему результат пока нельзя читать как замену экспертам.
Copilot и Gemini выдумывают различия в данных: где ломаются Auto-режимы
Как Copilot Auto и Gemini Flash ломают анализ данных: находят различия в одинаковых датасетах. Разбираем, что проверять перед отчётом.
AutoTTS test-time scaling: LLM-агент ищет алгоритмы инференса
AutoTTS переносит дизайн test-time scaling из ручных эвристик в replay-среду: Claude Code пишет контроллер, который распределяет ширину и глубину рассуждения.
Model labs становятся agent labs: почему лаборатории ИИ продают уже не только модели
Лабораториям ИИ уже мало продавать модель через API. Разбираем сдвиг к агентам, харнесам, памяти, песочницам и экономике инференса.