Дайджест за 3 августа 2026

OpenAI заявила о 10 математических прорывах модели Astra

ИИ и агенты · Habr · 9/10

OpenAI опубликовала исследование, в котором утверждает, что её модель Astra достигла десяти новых результатов в современной математике, включая решение задач, открытых десятилетиями. Модель не просто воспроизводила известные доказательства, а самостоятельно находила ключевые идеи и формализовала их в системе Lean с получением машинно проверяемых сертификатов. Среди достижений: первый явный пример не-софической группы, опровержение гипотезы жёсткости Конна, доказательство квантовой теоремы о параллельном повторении, первое за 44 года улучшение оценки плотности упаковки сфер. OpenAI опубликовала 249-страничный отчет со всеми доказательствами и формальными проверками. Стоимость вычислительных прогонов составила бы около $2000 по текущим тарифам. Однако исследовательское сообщество должно провести независимую проверку корректности постановок задач, новизны результатов и их соответствия открытым проблемам.

Выводы автора:

• Astra работала как исследовательская система, самостоятельно генерируя математические идеи и переводя доказательства в формальный язык Lean для машинной верификации.
• Использование формальной верификации Lean обеспечивает строгую машинную проверку доказательств, но не гарантирует автоматического признания результатов научным сообществом.
• Достижения охватывают фундаментальные области математики и включают решение проблем, остававшихся открытыми на протяжении десятилетий.

Модель анализировала открытую задачу, самостоятельно генерировала основные математические идеи, строила доказательство, переводила его в формальный язык Lean и получала машинную проверку корректности.

Оригиналы:OpenAI заявила о 10 математических прорывах: достижения новой модели Astra

Kimi K3: открытая модель уровня frontier AI для локального запуска

ИИ и агенты · Linas from Linas's Newsletter · 9/10

Компания Moonshot AI выпустила полные веса модели Kimi K3 – первой открытой модели класса 3 триллиона параметров, которая по производительности близка к Claude и GPT последних версий. Модель использует архитектуру с 2,8 триллионами параметров, из которых активны только 104 миллиарда на токен, благодаря дизайну с 896 экспертами в смеси экспертов. Ключевая инновация – кастомный механизм внимания, обрабатывающий контекст в миллион токенов без традиционного раздувания KV-кэша. Модель поддерживает нативное зрение и может работать на потребительских GPU (RTX 5090) через обычный Ethernet. Компания также открыла инфраструктуру для запуска и расширения модели. Квантизация MXFP4 интегрирована в веса с начала обучения, обеспечивая 2,5x прирост эффективности по сравнению с предыдущим поколением.

Выводы автора:

• Разрыв между арендуемым закрытым ИИ и самостоятельно запускаемым открытым ИИ сократился почти до нуля благодаря выпуску Kimi K3.
• Архитектура с избирательной активацией параметров и оптимизированным механизмом внимания позволяет запускать модель на потребительском оборудовании без специализированной памяти.
• Открытая инфраструктура и веса модели дают разработчикам возможность не только использовать, но и расширять frontier-уровневый ИИ локально.

Разрыв между интеллектом, который вы арендуете у закрытых лабораторий, и интеллектом, который вы можете запустить сами, сократился почти до нуля.

Оригиналы:GLM-5.2: The ChatGPT Moment for Local AI

Дискретное квантование нейросетей: Bonsai 27B запускается на домашних ПК

ИИ и агенты · Habr · 8/10

Статья разбирает новый подход к квантованию нейросетей — переход от аппроксимации вещественных чисел к дискретному представлению весов (бинарные, тернарные значения). Компания PrismML выпустила модель Bonsai 27B на основе Qwen 3.6 27B, которая сжимается в 14.2 раза (бинарный вариант, 3.8 GB) и 9.4 раза (тернарный, 7.17 GB) против исходных 53.8 GB. Ключевое преимущество: умножение на ±1 или 0 заменяется простыми операциями сложения/вычитания, что радикально снижает энергопотребление (0.275 mWh на токен на Apple Silicon) и ускоряет инференс. Тестирование показало, что тернарная версия сохраняет ~75% качества на математике и кодинге, но теряет на сложных многошаговых инструкциях (~60%). Модель поддерживает контекст до 262K токенов с 4-битным KV-кэшем на 4.3 GB памяти. Для запуска требуется специальный форк llama.cpp из-за нестандартного формата квантования.

Выводы автора:

• Дискретное квантование (бинарное/тернарное) позволяет сжать 27B модели до 3.8–7.17 GB с приемлемым качеством, делая их доступными на потребительском оборудовании и мобильных устройствах.
• Замена умножения на сложение/вычитание снижает энергопотребление на порядок и ускоряет генерацию токенов на 35% дополнительно при использовании спекулятивного драфтера.
• Практические результаты Bonsai 27B показывают компромисс: качество Q4-модели при размере Q3, но с потерями на сложных многошаговых задачах (~60% от эталона).

Эта модель размером с квантованный Q3-вариант эталона выдает результат как квантованный Q4 эталона, при этом помещаясь в 8GB VRAM, тогда как Q4 требует 16GB.

Оригиналы:Нейронные сети нетрадиционного квантования

OpenAI показала новую модель Astra властям США

ИИ и агенты · Habr · 6/10

OpenAI представила в Вашингтоне новую модель Astra, статус которой ещё не определён — она может стать началом линейки GPT-6 или выпуститься как дополнительная версия в серии GPT-5. Компания ориентируется на сценарии, где несколько агентов работают совместно длительное время для решения сложных задач. OpenAI уже откладывала публичный запуск GPT-5.6 по просьбе правительства США и ограничивала ранний доступ партнёрам. Согласно Reuters, компания и администрация США обсуждают формализованный процесс предварительной оценки фронтирных моделей перед релизом. Astra выглядит вероятным кандидатом на первую модель, прошедшую через новый контур проверки. Возможность увидеть модель появится при публикации отчёта OpenAI о решении 10 ранее нерешённых математических задач.

Выводы автора:

• OpenAI разрабатывает многоагентные системы, способные совместно решать сложные задачи за длительные периоды.
• Новая модель Astra проходит предварительную проверку у властей США в рамках формализованного процесса оценки фронтирных моделей.

OpenAI делает ставку на сценарии, где несколько агентов работают вместе в течение долгого времени, чтобы решать сложные задачи.

Оригиналы:Сэм Альтман показал властям США новую модель: OpenAI Astra

Вайбкодинг с ИИ-агентами: как один разработчик делает работу команды

Разработка и архитектура · Habr · 8/10

Статья опытного Python-разработчика о 7 месяцах работы с ИИ-агентами для разработки. Автор описывает три уровня использования ИИ: чат с моделью, ассистент в редакторе и полная агентная разработка, где человек выступает архитектором, а ИИ — строителем. За этот период он создал 7+ проектов с 3000+ активных пользователей. Подробно разбирает инструменты: Cursor (8/10), Claude Code (9/10), Codex (8/10), Antigravity (6/10) и Grok Build (7/10) — их возможности, лимиты, ценовую политику и практический опыт. Ключевой вывод: ИИ не панацея, требуются базовые знания архитектуры и программирования, но скорость разработки значительно возрастает. Автор рекомендует использовать двухслойную систему инструкций (глобальные и проектные) для эффективной работы с агентами.

Выводы автора:

• Агентная разработка (уровень 3) кардинально меняет процесс: человек становится архитектором и руководителем, а не пишет код руками, но остаётся ответственным за требования и контроль результата.
• Claude Code показал лучшее соотношение цена/качество для ежедневной разработки больших объёмов функционала благодаря гибкой настройке, субагентам и режиму ultracode.
• Правильная настройка инструкций (двухслойная система: глобальные правила + проектные) критична для эффективной работы, чтобы не повторять контекст при каждом диалоге.

Даже на третьем уровне человек не отключается от процесса. Он задаёт требования, принимает архитектурные решения и контролирует результат.

Оригиналы:7 месяцев вайбкодинга: как в одиночку делать то, что раньше требовало команду

Почему Solutions Architect критичен в эпоху AI-агентов и MCP

Разработка и архитектура · Dylan Anderson from The Data Ecosystem · 8/10

Материал защищает роль Solutions Architect как незаменимую в современной разработке данных и AI-решений, вопреки предположениям, что агенты и MCP делают её ненужной. Автор определяет Solutions Architect как специалиста, сидящего между бизнес-требованиями и технической реализацией, проектирующего масштабируемые решения и обеспечивающего их интеграцию. Ключевые вызовы, которые должен решать архитектор: выравнивание KPI, связность систем, безопасность, масштабируемость, задержки, надёжность и поддерживаемость. Хотя MCP (Model Context Protocol) упростил интеграции, позволяя стандартизированное подключение агентов к инструментам, это не решает проблемы фрагментации данных, несогласованных определений и отсутствия правильной архитектуры. Автор предупреждает: компании, пропускающие этап архитектурного проектирования и просто подключающие агентов к хранилищам, столкнутся с проблемами при productionization. Agent Skills (инструкции для ограниченных, повторяемых рабочих процессов) помогают восстановить дисциплину, обеспечивая агентам определённые границы вместо полного доступа к инструментам.

Выводы автора:

• Solutions Architect остаётся критичной ролью в эпоху AI-агентов, так как агенты не могут заменить стратегическое проектирование, управление рисками и обеспечение масштабируемости решений.
• MCP упростил интеграции, но не решил проблемы фрагментации данных и несогласованности определений — компании, пропускающие архитектурный этап, столкнутся с проблемами в production.
• Agent Skills восстанавливают дисциплину, предоставляя агентам ограниченные, предопределённые рабочие процессы вместо полного доступа к инструментам, что критично для надёжности и безопасности.

Коннекторы не решают фрагментацию; они её обнажают.

Оригиналы:Определение Solutions Architect · Model Context Protocol (MCP) · Agent Skills как инструмент дисциплины

История развития 2D-графики в персональных компьютерах

Разработка и архитектура · Habr · 7/10

Статья рассказывает о эволюции видеокарт и графических адаптеров с момента появления оригинального IBM PC в 1981 году до эпохи VGA и SuperVGA. Автор подробно описывает архитектуру ранних видеокарт: монохромный MDA на базе контроллера MC6845, цветной CGA с поддержкой 16 цветов и графических режимов, монохромный Hercules с высоким разрешением 720x348, а также EGA с 16-цветной палитрой и инновационной системой «плоскостей» для работы с видеопамятью. Ключевым моментом стало появление в 1987 году VGA с 18-битной палитрой (262144 цвета), переходом на аналоговый интерфейс RAMDAC и поддержкой режима 320x200 с 256 цветами. Важной вехой была стандартизация SuperVGA организацией VESA в 1989 году с новым API VBE, позволившей достичь разрешений 1280x1024 с 16 млн цветов. Автор объясняет технические решения, такие как использование Option ROM для Video BIOS и аппаратный скроллинг через смещение фреймбуфера, который использовал Джон Кармак в Commander Keen.

Выводы автора:

• EGA стала первой видеокартой со своим собственным BIOS (Video BIOS), реализованным через Option ROM и исполняемым центральным процессором с максимальными привилегиями.
• VGA революционизировала видеокарты переходом на аналоговый интерфейс RAMDAC, позволив получить 262144 цвета и избежать необходимости менять разъёмы мониторов при появлении новых режимов.
• Ранние видеокарты не имели аппаратного ускорения графики, поэтому разработчики использовали возможность смещения фреймбуфера для реализации эффективного скроллинга без перерисовки всего экрана.

Благодаря популярности IBM PC и доступности микросхем логики Intel, сторонние производители начали делать свои собственные аналоги IBM PC, которые назывались «клонами» и могли комплектоваться более продвинутыми модулями.

Оригиналы:Подробная история развития 2D-графики в PC

DroneCAN: анатомия протокола и практическое внедрение

Разработка и архитектура · Habr · 7/10

Статья представляет подробный разбор протокола DroneCAN (переименованного UAVCAN v0) для обмена данными на шине CAN, используемого в робототехнике и беспилотных системах. Автор описывает три практических пути для начала работы с DroneCAN: покупка готового USB-CAN модуля с поддержкой протокола, перепрошивка дешёвого модуля Canable под нужный формат, или самостоятельная сборка донгла на базе STM32G431 и драйвера CAN tja1051. Подробно разбираются технические детали: инициализация устройств через протокол Lawicel, структура CAN пакетов (заголовок 29 бит, приоритет, ID сообщения, ID передатчика), три типа пакетов (сообщения, сервисные, анонимные), а также статическая и динамическая адресация узлов в сети. В качестве практического примера используется VESC регулятор, настроенный на передачу DroneCAN пакетов со скоростью 500 кбит/с, анализируемых через DroneCAN GUI Tool.

Выводы автора:

• DroneCAN — это продолжение UAVCAN v0, сохранивший обратную совместимость, в отличие от более сложного формата Cyphal с другой структурой контрольной суммы.
• Для работы с DroneCAN доступны три пути: готовый модуль, перепрошивка Canable под Lawicel формат (позволяет использовать терминал и универсальные программы), или самостоятельная сборка на STM32G431.
• Структура DroneCAN пакета включает 5 битов приоритета, 2 байта ID сообщения и 1 байт ID передатчика; сеть поддерживает до 127 устройств с динамической адресацией через полётный контроллер.

Использование готового донгла с протоколом DroneCAN позволяет быстро начать знакомство с ним. Но если купить его не получается, то можно купить другое устройство и перешить его.

Оригиналы:DroneCAN. Анатомия на Habr

Decimen Optical Transfer: передача файлов через QR-коды без сети

Разработка и архитектура · Habr · 6/10

Представлен открытый проект Decimen Optical Transfer для передачи файлов между смартфонами через анимированные QR-коды, используя только экран и камеру без сетевого соединения. Решение разбивает файл на сотни фрагментов, для каждого генерирует QR-код и быстро их сменяет, достигая скорости передачи ~128 КБ/с. Исходный код написан на TypeScript и HTML, опубликован на GitHub под лицензией MIT. Автор отмечает, что в более крупном эксперименте удалось достичь скорости 128 КБ/с с использованием более плотных кадров и коррекции ошибок. Проект использует фонтанное кодирование для восстановления потерянных пакетов при неправильном считывании QR-кодов. Существуют похожие независимые реализации этой идеи, включая проекты с использованием специализированных цветовых кодов вместо QR.

Выводы автора:

• Decimen Optical Transfer позволяет передавать файлы между устройствами без сетевого соединения, используя только экран, камеру и анимированные QR-коды с фонтанным кодированием.
• Скорость передачи данных в текущем прототипе составляет ~128 КБ/с, а в расширенной версии эксперимента достигала той же скорости с более плотными кадрами и коррекцией ошибок.

Полезная нагрузка передаётся в виде света. Нет сетевого соединения между устройствами, нет приложения, нет сопряжения, кроме разрешения камеры.

Оригиналы:Decimen Optical Transfer на Habr

5 необычных гаджетов 2026 года: от E-Ink смартфонов до карманного Linux-ПК

Разработка и архитектура · Habr · 5/10

Обзор пяти нестандартных мобильных устройств 2026 года, которые идут против современных трендов избыточной функциональности. Light Flip — раскладушка без браузера и соцсетей, ориентированная на минимализм и фокусировку (299 $). Hisense A10 предлагает модульный подход с основным E-Ink экраном и съемным LCD дисплеем (590 $). Bigme HiBreak Dual 2 интегрирует оба экрана в корпус, позволяя переворачивать устройство для разных задач (599 $ на Kickstarter). Commodore Callback 8020 — кнопочный смартфон на Sailfish OS с заблокированными браузером и соцсетями, но поддержкой полезных приложений (399 $). RootBoard — DIY карманный Linux-ПК на базе Raspberry Pi Zero с полноценной 70-клавишной клавиатурой (от 115 $). Все устройства демонстрируют растущий спрос на альтернативы традиционным смартфонам с фокусом на практичность, минимализм или специализированные задачи.

Выводы автора:

• На рынке растёт спрос на устройства, которые отказываются от избыточной функциональности в пользу фокусировки и минимализма.
• Модульный подход (съёмные экраны, DIY-сборка) позволяет пользователям адаптировать гаджеты под свои потребности без постоянного компромисса.
• Нишевые операционные системы (LightOS, Sailfish OS) и специализированные устройства остаются дорогими относительно своих возможностей, но находят своих сторонников.

Телефон должен помогать человеку оставаться на связи, а не постоянно отвлекать его.

Оригиналы:5 странных гаджетов 2026 года: смартфоны с E-Ink, Linux-раскладушка, наладонник и кое-что ещё

Immich 3.1: обновление платформы для самостоятельного хранения медиа

Разработка и архитектура · Habr · 5/10

Вышла версия 3.1 открытой платформы Immich для локального хранения и управления фото и видео с интерфейсом, похожим на Google Photos. Проект разрабатывается с 2022 года под лицензией GNU AGPL v3.0 и позволяет пользователям полностью контролировать свои медиафайлы, храня их на собственных серверах с Docker без ограничений по объёму. В версии 3.1 добавлены улучшения для веб-приложения: блокировка загрузки экрана (wakelock) при передаче файлов, возможность отмены архивации, фильтрация по пути файла на сервере и новый фильтр по метаданным EXIF. Также улучшена синхронизация OIDC/OAuth и доступность интерфейса. Стабильная версия 2.0 вышла в октябре 2025 года, версия 3.0 — в июне 2026 года.

Выводы автора:

• Immich 3.1 добавляет удобство работы с веб-версией через wakelock, отмену архивации и расширенные фильтры по метаданным EXIF.
• Платформа позволяет хранить медиафайлы локально без ограничений, обеспечивая полный контроль пользователя над данными.

Основная цель решения — предоставить пользователю полный контроль над своими медиафайлами.

Оригиналы:Выпуск Immich 3.1 на Habr

Revolut открывает частные рынки для 75 млн пользователей перед IPO

Финтех и финансы · Linas from Linas's Newsletter · 8/10

Revolut запустила доступ к фондам приватного капитала (PE, кредиты, инфраструктура) от Apollo, Ares, Hamilton Lane и Partners Group для клиентов в странах ЕЭЗ с минимальным вложением €1 через ELTIF 2.0 – новый регуляторный инструмент ЕС. Компания не берёт комиссии, а зарабатывает на ретроцессиях от менеджеров фондов, создавая масштабируемый источник дохода для сегмента wealth, где рост замедлился до 31% в 2025 году. Этот ход – часть подготовки к IPO стоимостью $150–200 млрд и следует стратегии конкурентов Trade Republic и Robinhood. Однако есть риск: фонды Apollo и Ares уже ограничивали выводы в 2026 году, и 9-человечная команда Revolut по проверке менеджеров может быть недостаточной для защиты 75 млн потенциальных клиентов.

Выводы автора:

• Доступ к приватным рынкам становится обязательным для необанков с амбициями за пределами платежей, а финтехи с десятками миллионов пользователей – новый источник капитала для фондов в условиях конкуренции за LP.
• Ключевой риск для Revolut перед IPO – сохранение ликвидности ELTIF фондов через текущий цикл стресса выводов; если фонды заблокируют капитал розничных инвесторов, это создаст проблемы с защитой потребителей в критический момент.

Revolut просит розничных пользователей проявить то же терпение, которое его собственные инвесторы практиковали более десяти лет. Разница в том, что ранние инвесторы Revolut выбрали неликвидность осознанно.

Оригиналы:Глубокий анализ финансов Revolut, Monzo и Starling · Foundation AI Model от Revolut

Почему надёжные инженеры уходят: ловушка компетентности

Продукт и карьера · Habr · 8/10

Статья разбирает парадокс управления инженерными командами: самые сильные специалисты часто остаются без поддержки именно потому, что хорошо справляются. Автор, опираясь на модель профессионального стресса Каросека (высокие требования + низкая автономия + недостаток поддержки = эмоциональное истощение), описывает механизм, при котором компетентность становится причиной недополучения помощи. Надёжные сотрудники молчат о перегрузке, не просят помощи из-за репутационного риска и психологической безопасности, а руководители интерпретируют их молчание как отсутствие проблем. Автор приводит конкретный пример с инженером Андреем, который уволился после того, как его просьба об отпуске была забыта. В статье предложены практические рекомендации для руководителей: отслеживать зависимости, а не только количество задач; не ждать повторных просьб; спрашивать о приоритетах при добавлении работы; нормализовать раннюю эскалацию рисков. Для самих инженеров рекомендуется сообщать о рисках конкретно и без драматизма, напоминая о забытых обещаниях.

Выводы автора:

• Компетентность может стать причиной недополучения поддержки, так как сильные специалисты скрывают цену своей надёжности молчанием и отсутствием жалоб.
• Руководитель должен активно отслеживать зависимости и риски вместо ожидания, когда сотрудник сам попросит помощь или когда проблема станет критической.
• Поддержка в инженерной работе — это не мотивационные разговоры, а практические действия: распределение критического контекста, чёткие приоритеты, выполнение обещаний и нормализация раннего сообщения о рисках.

Его молчание я принимал за отсутствие проблемы. Андрей был настолько надёжным, что мне даже не приходило в голову проверить, какой ценой эта надёжность ему даётся.

Оригиналы:Ловушка для ума разработчика №3: почему самые надёжные инженеры остаются без поддержки

CPO Whatnot: почему меньше PM, но более опытных, лучше работает

Продукт и карьера · Lenny's Newsletter · 8/10

Том Веррилли, главный продакт-офицер Whatnot (платформа лайв-шопинга с $8 млрд GMV), рассказывает в подкасте Lenny's, почему команда Whatnot была основана на принципе «мы сожалеем, что управление продуктом существует». Основная идея — вместо традиционной структуры с множеством PM разных уровней эффективнее иметь меньше, но более опытных продакт-менеджеров, которые выполняют реальную индивидуальную работу (IC work), а не только управляют. Веррилли обсуждает, как ИИ переформатирует роль PM, на что он смотрит при найме, сдвиг в сторону senior IC, трансформацию data science в компании и свой mental model «play the accordion». Он также делится уроками из времени в Twitter и объясняет, почему подход «наймите отличных людей и уходите с дороги» часто не работает.

Выводы автора:

• Меньше, но более опытных PM, выполняющих реальную индивидуальную работу, превосходят по эффективности любую структуру, основанную на соотношении PM к инженерам.
• ИИ переформатирует роль PM, требуя от них новых навыков и подходов к работе.
• Просто нанять отличных людей и уйти с дороги недостаточно — нужна активная поддержка и руководство.

Мы сожалеем, что управление продуктом существует

Оригиналы:This CPO regrets that product management exists | Tom Verrilli (CPO of Whatnot)

История игр по «Дюне»: от Dune II до Emperor

Прочее · Habr · 5/10

Статья рассказывает об эволюции видеоигр по вселенной Фрэнка Герберта с начала 1990-х годов. В 1992 году одновременно вышли две принципиально разные игры: Dune от Cryo Interactive — атмосферная смесь приключения, стратегии и симулятора, где игрок управлял Полом Атрейдесом и развивал поселения фрименов, и Dune II от Westwood Studios — революционная RTS, заложившая основы жанра с механиками строительства базы, добычи ресурсов и асимметричного баланса фракций. Dune II оказалась куда более влиятельной, став прототипом для Command & Conquer и StarCraft. В 1998 году вышел Dune 2000 — качественный ремейк на движке Command & Conquer с улучшенным управлением и видеовставками с живыми актёрами. Финальной игрой серии от Westwood стал Emperor: Battle for Dune (2001) — первая полностью трёхмерная стратегия с расширенной тактикой, союзами с малыми домами и более сложным геймплеем, но требовавшая мощных компьютеров. После закрытия Westwood Studios эпоха классических стратегий по «Дюне» завершилась.

Коротко:

Выводы автора:

• Dune II (1992) заложила основы жанра RTS, став прототипом для всех последующих стратегий реального времени.
• Две игры 1992 года показали разные подходы: Cryo Interactive передавала атмосферу и дух первоисточника, а Westwood создавала новый игровой язык.
• Emperor: Battle for Dune (2001) стала последней стратегией Westwood по «Дюне» и завершила эпоху классических адаптаций серии.

Dune II считается одной из важнейших игр в истории индустрии. Без неё вряд ли появились бы Command & Conquer, Warcraft, StarCraft и практически все классические стратегии реального времени.

Оригиналы:От Dune II до Dune: Awakening — история серии игр по «Дюне»