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

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

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

1
Статьи лежат в репозитории openai/math и сгруппированы в 372 семейства — от теории чисел до математической физики; среди заявленного есть доказательство рациональной гипотезы Ходжа для абелевых многообразий с комплексным умножением. Часть доказательств проверена в Lean — языке, где верность выкладок подтверждает программа, остальные компания обещает формализовать позже. У статей нет авторов, а модель, которая их написала, не имеет имени.
2
Выходные токены стоят 0,50 доллара за миллион на коротких запросах и 2,50 на длинных. Anthropic продаёт модель под массовые задачи — классификацию, сводки, поддержку и работу подагентом у Opus и Sonnet, когда дорогая модель раздаёт мелкие поручения дешёвой. Впервые у Haiku появилась настройка усилия: пользователь сам выбирает баланс цены и качества.
3
Режим называется Intelligent UI: под конкретный вопрос модель собирает визуальный ответ или небольшой инструмент прямо в окне чата. Выкатка постепенная, в день релиза часть пользователей браузерной версии видела предупреждение о временно сниженном качестве ответов.
4
Модель MAI-Code-1.1 Flash работает с контекстом 256 тысяч токенов. Режим Hybrid Intelligence позволяет помощнику выполнять действия на машине и обрабатывать часть запросов локальными моделями — это экономит оплачиваемые токены и оставляет данные на компьютере. На презентации рядом с главой Microsoft Сатьей Наделлой и главой Nvidia Дженсеном Хуангом показали запуск моделей через открытый движок llama.cpp.
5
До этого обе оплачивали инженерам сторонние инструменты, включая Claude Code. У Microsoft есть собственная линейка MAI и партнёрство с OpenAI, у Meta своя разработка. В обсуждении на Hacker News отмечают, что переход на внутренние модели здесь продиктован запретом, а не сравнением качества.
6
Это одно из первых заявлений на уровне главы государства о применении автономных программ на основе моделей для атак на финансовую инфраструктуру. Детали — как работали агенты и какие организации пострадали — власти не раскрыли.
7
Помощники учитывают сигналы в формулировке: район проживания, упоминание дохода, стиль речи — и два человека с одинаковым запросом получают разные ценовые варианты. В тот же день стало известно об иске к McDonald's из-за использования ИИ при ценообразовании меню.
8
Сервис SynthID Detector принимает загруженный файл и сообщает, есть ли в нём скрытая метка о машинном происхождении; поддержку меток Apple обещают позже. Ограничение в самой схеме: детектор ищет знак, а не определяет происхождение, поэтому модель без маркировки или пересжатый файл он не поймает.

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

Lean: Язык, на котором математическое доказательство записывают формально, чтобы его правильность могла проверить программа, а не только рецензент.
Подагент: Дешёвая и быстрая модель, которой более мощная модель передаёт мелкие поручения внутри одной задачи — поиск по файлу, классификацию, краткий пересказ.
Водяной знак SynthID: Незаметная метка, которую модели Google и партнёров вшивают в сгенерированную картинку, видео или звук, чтобы происхождение файла можно было проверить.
Модель решений: Модель, которая вместо текста возвращает выбор из заранее заданного списка вариантов — удобно для развилок в агенте и дешевле генерации.
Реверс-инжиниринг: Восстановление логики работы программы по её готовому виду — поведению приложения или машинному коду, — когда исходники недоступны.