Главное за 27 октября 2026

Name: Пачка
Rating: 4.8 (500 reviews)
Author: Пачка

Что важно запомнить

1
Кроме опровержения ETH, модель построила доказательство гипотезы Согге о локальном сглаживании, открытой с 1991 года, для пространств любой размерности; из него следуют гипотезы Какеи и Стейна. Тексты выложены вместе с формализацией в Lean — языке, где доказательство проверяет компьютер. По сообщениям Telegram-каналов, опровержение ETH почти одновременно получили модели OpenAI и Anthropic, результаты сейчас проверяют эксперты.
2
Помимо картинки модель выдаёт фоновый шум, пространственный звук и реплики персонажей. За связность мира и многошаговое планирование отвечает отдельный слой агентов на Gemini — чтобы объекты не исчезали и события шли по порядку. Общего доступа нет: DeepMind показала работу постом в блоге.
3
Речь о теореме классификации конечных простых групп: оригинал разбросан по более чем пятистам статьям, и целиком его не держал в голове ни один человек. Формализация на Lean означает, что каждый шаг проверен машиной, а исходники выложены отдельным сайтом.
4
Виноват кэш KV — хранилище промежуточных вычислений по уже обработанному тексту, которое заводят, чтобы не считать одно и то же дважды. Записи одного запроса оказались доступны другому. Компания опубликовала хронологию, описание исправления и сама назвала число затронутых ответов.
5
Amazon сворачивает своё ИИ-подразделение: линейку Nova компания представляла как свой ответ GPT и Claude, но до уровня конкурентов та не дотянула. При этом компания остаётся крупнейшим инвестором Anthropic и продаёт чужие модели через Bedrock — ставка смещается с собственной разработки на перепродажу.
6
Акции производителя роботов Unitree подешевели вдвое, индекс CSI300 отошёл примерно на 20% от июньского пика. Инвесторов тревожат завышенные оценки и сомнения в спросе на ИИ плюс риск новых экспортных ограничений США. По данным Bloomberg, с мая рынок потерял около 2,4 трлн долларов.
7
Project Zero сравнил два конвейера за апрель–сентябрь 2026 года: фаззер Fuzzilli кидает в движок случайные данные непрерывно, агент BigSleep раз в сутки просматривает новые коммиты. После чистки дубликатов и нерабочих отчётов у агента оказалось больше находок, но главное — пересечение около четверти: инструменты ловят разные классы ошибок.
8
Агенту пишут «подготовь отчёт за октябрь», указывают источники и правила проверки — дальше он работает с документами, таблицами, сайтами и подключёнными приложениями сам. Инструкции для повторяющихся задач сохраняются как навыки и передаются коллегам, контекст агент помнит между обращениями. Продукт заявлен под размещение в корпоративном контуре.

Основные понятия

Гипотеза об экспоненциальном времени (ETH): Предположение, что задачу выполнимости булевых формул нельзя решить заметно быстрее полного перебора; на него опирались доказательства нижних границ сложности для многих задач.
Lean: Язык, на котором математическое доказательство записывают так, что его проверяет компьютер: каждый шаг либо выводится из предыдущих, либо отвергается.
Кэш KV: Хранилище промежуточных вычислений модели по уже обработанному тексту: помогает не считать заново, но при общем кэше на несколько запросов может выдать чужие данные.
LoRA: Способ подогнать готовую модель под задачу: основные веса не трогают, а обучают небольшие дополнительные модули-адаптеры.
SynthID: Невидимая метка внутри пикселей сгенерированной картинки: глазом не видна, детектором распознаётся даже после сжатия и обрезки.