Главное за 1 августа 2026

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

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

1
Внутренняя модель OpenAI под названием Astra получила десять новых результатов по открытым математическим задачам, часть из которых оставалась нерешённой десятилетиями. Доказательства выложены с проверкой в Lean — системе, пересчитывающей каждый шаг. Спор идёт не о том, верны ли они, а о том, влияет ли это на саму математику.
2
На поиск всех десяти решений ушло токенов примерно на две тысячи долларов по ценам уже выпущенной модели. Это меняет представление о цене машинного результата в исследованиях: узкое место теперь не вычисления, а постановка задачи и проверка ответа людьми.
3
Лаборатория Thinking Machines предложила третий вариант между полным открытием весов модели и хранением их внутри компании — расширять доступ ступенями. Если подход разойдётся по отрасли, «скачать веса в день релиза» перестанет быть надёжным планом внедрения.
4
Агент Gemini Spark от Google получил доступ к сессиям пользователя в Chrome — то есть действует на сайтах от его имени, с сохранёнными логинами. Права такого агента совпадают с правами сотрудника, и обычные ограничения доступа его не остановят.
5
OpenAI отключила аккаунты мошеннических центров из Камбоджи и описала, на что те использовали модель: вымышленные личности, перевод переписки в реальном времени, поддельные документы и объявления о найме. Это готовый список признаков для тех, кто защищает клиентов и сотрудников от подобных схем.
6
Cursor убрал стоимость запросов со страницы расхода и из выгрузки, оставив только токены. Команды, которые списывали расходы на ИИ по проектам, теряют возможность это делать автоматически — стоит проверить выгрузки и у остальных поставщиков.
7
Российская команда описала четыре месяца работы ИИ-агента на боевых логах: сто тринадцать оповещений, две выдумки модели, молчание в девяти случаях из десяти. Цифры дают ориентир, при каком уровне шума дежурный агент остаётся полезным, а не отключается за назойливость.
8
Разбор на Хабре по пяти источникам показал, что в дизайне ИИ приживается как проверяющий, а не как генератор макетов. Командам, у которых внедрение буксует, проще развернуть роль модели, чем ждать качественной генерации с нуля.
9
Google, Amazon, Microsoft и Meta вложили в ИИ больше триллиона долларов, и свободный денежный поток четвёрки упал до минимума. Одновременно OpenAI на выходные сняла лимиты в Codex и рабочем ChatGPT. Пока одни демонстрируют запас мощности, у других заканчивается запас наличности.Сюжеты3 10
10
Грег Брокман рассказал, что сотрудники OpenAI раздражаются, когда к ним в мессенджер пишет ChatGPT коллеги, хотя ту же просьбу от человека выполнили бы спокойно. Прежде чем пускать агентов в рабочие чаты, стоит сделать их сообщения явно опознаваемыми.

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

Lean: Система формальной проверки доказательств: она пересчитывает каждый шаг и не даёт пропустить логический пробел, поэтому подтверждённое ею доказательство не требует ручной вычитки.
Открытые веса: Файлы обученной модели, выложенные для скачивания: их можно запустить на своём железе, не обращаясь к поставщику по сети.
MCP: Стандарт, по которому модели подключаются к внешним инструментам и источникам данных единым способом, без отдельной интеграции под каждый сервис.
Свободный денежный поток: Деньги, которые остаются у компании после всех расходов и инвестиций; по нему видно, сколько запаса есть на новые вложения без займов.