Про AI: Лучшие cтатьи и исследования

ChatGPT нашёл ошибку в доказательстве, которую пропустил рецензент

Математик Анджей Козловский рассказывает, как ChatGPT проверил его уже принятую в хороший журнал статью по алгебраической топологии — и обнаружил, что доказательство второй теоремы неверно. Из-за этого половину статьи пришлось выбросить, а решённая задача снова стала открытой.

Читать статью

Всё, что можно взломать, будет взломано

CTO Vercel рассказывает, почему у защитников сейчас есть временное преимущество перед атакующими в кибербезопасности: открытые модели уже проводят наступательные исследования без каких-либо ограничений, а фронтирные модели готовы помогать в защите прямо сегодня. Окно возможностей закрывается — и командам стоит действовать срочно.

Читать статью

Свежие темы из мира AI — GitHub, Reddit, Hugging Face:

macos-harness: управление Mac с помощью LLM
Минималистичный инструмент, предоставляющий LLM полную свободу действий для управления операционной системой macOS.

apex-inference-chip: дизайн чипа для инференса на FPGA
Проект аппаратного ускорителя для запуска Qwen2.5-0.5B на FPGA с побитовой точностью вычислений относительно эталонной модели.

Ling-3.0-tiny: новая компактная модель
Разработчики представили Ling-3.0-tiny, новейшую итерацию в семействе моделей Ling.

Muse-Glimmer-30B в формате GGUF
Релиз модели Muse-Glimmer-30B от Meta Superintelligence Lab, доступной под лицензией Apache 2.0.

MiniCPM5-1B: первая модель новой серии
Выпущена MiniCPM5-1B — первая модель в линейке MiniCPM5 от команды OpenBMB.

Qwen3.8-27B-NVFP4: квантование от Unsloth
Модель Qwen3.8-27B в формате NVFP4, оптимизированная с использованием технологии Unsloth Dynamic V3.

VAE и текстовый энкодер для Flux Klein 9B
Перепакованные файлы компонентов модели для упрощенной интеграции в ComfyUI.

HarnessEval-W: агентная оценка визуальных миров
Инструмент для автоматизированного тестирования и оценки поведения агентов в визуальных средах.

sprix-sage-router: маршрутизация для агентных сетей
Система управления состоянием и распределения задач для сетей взаимодействия агентов типа A2A.

native-subtitle-quote-image: создание карточек из видео
Инструмент для точного извлечения кадров с вшитыми субтитрами и генерации вертикальных изображений для социальных сетей.

Трещины в тезисе об ИИ

Ежемесячный отчёт Ramp AI Index за август 2026: Anthropic и xAI наращивают долю рынка, OpenAI отстаёт, а самая мощная модель на рынке — Fable 5 — за первый месяц почти не набрала корпоративных пользователей. Данные о расходах компаний показывают, что бизнес нащупал верхнюю границу того, сколько он готов платить за ИИ.

Читать статью

То, как мы пользуемся компьютерами, скоро изменится навсегда

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

Читать статью

Что сегодня обсуждают профессионалы AI-индустрии:

Qwen3.8-27B-Uncensored-FP8
Версия модели Qwen 3.8 27B без цензуры в формате FP8.

Qwen3.8-27B-NVFP4 от Unsloth
Квантованная версия модели Qwen 3.8 в формате NVFP4, созданная с использованием Unsloth Dynamic V3.

FlashVSR: Супер-разрешение видео в реальном времени
Метод потокового повышения разрешения видео на базе диффузионных моделей, работающий в режиме реального времени.

gpt_nerver: Автоматизация ChatGPT Plus
Набор инструментов для автоматизации ChatGPT Plus, включающий десктопное приложение на PyQt6 и систему регистрации через JSON-RPC.

PoC для уязвимости CVE-2026-9830
Репозиторий с демонстрацией концепции (Proof of Concept) для уязвимости CVE-2026-9830.

dots3-note-prev: Мультимодальная модель от dots-studio
Предварительная версия модели с поддержкой агентных функций и мультимодального понимания, совместимая с Transformers, SGLang и vLLM.

Репозиторий X4G
Исходный код проекта X4G на GitHub.

ComfyUI_MiniMax_H3_Extender
Узел для ComfyUI, позволяющий объединять видеоклипы MiniMax H3 с сохранением контекста движения, кэшированием и поддержкой аудио.

Qwen3.8-27B-Heretic-Abliterated в формате GGUF
Модифицированная версия Qwen 3.8 с применением техники abliteration для снятия ограничений и цензуры.

Анализ лимитов CPU в Kubernetes
Исследование влияния ограничений процессора в Kubernetes на производительность и стоимость эксплуатации приложений.

Утренняя подборка AI новостей:

Инструмент для удаления водяных знаков ИИ
Утилита для очистки метаданных C2PA и удаления водяных знаков из файлов форматов PNG, JPEG, PDF, DOCX и других.

Релиз весов модели Qwen3.8-27B
Опубликованы веса и конфигурационные файлы для дообученной версии модели Qwen в формате Hugging Face Transformers.

Коллекция плагинов для DeepSeek Harness
Курируемый список расширений и плагинов для работы с фреймворком DeepSeek Harness (dsh).

MiniMax-Music3: Генерация музыки длительностью до 5 минут
Высокопроизводительная модель от MiniMaxAI, способная создавать полноценные музыкальные композиции большой продолжительности.

Экосистема инструментов для DeepSeek Harness
Подборка плагинов, инструментов и инфраструктурных решений для расширения возможностей DeepSeek Harness (DSH).

Репозиторий модели LTX-2.5 от Lightricks
Доступна новая версия модели LTX-2.5 для генерации визуального контента от команды Lightricks.

Модель Minimax-h3-Turbo
Оптимизированная Turbo-версия модели Minimax-h3, опубликованная в сообществе Hugging Face.

Юридические навыки для ИИ-агентов
Набор инструкций в формате markdown, предназначенных для автоматизации юридических задач и анализа документов.

Модель PinkCherry MiniMax-H3
Пользовательская модификация модели MiniMax-H3, размещенная на платформе Hugging Face.

Auto mode становится режимом по умолчанию в Claude Code: как удалось свести indirect prompt injection почти к нулю

Борис Черный (Boris Cherny) из Anthropic рассказывает, что многослойная защита — обучение модели, входные probes и классификатор, проверяющий намерение, — позволила свести успешность непрямых prompt injection-атак практически к нулю даже на невиданных ранее атаках. Со следующей недели auto mode станет режимом по умолчанию в Claude Code.

Читать статью

Топ AI-тем дня:

Автоматизация юридических задач с помощью Markdown
Проект предлагает набор Markdown-файлов, предназначенных для выполнения юридических функций и оптимизации правовых процессов.

Модель PinkCherry_MiniMax-H3
Новая модель, опубликованная пользователем SexGod1979 на платформе Hugging Face.

Экосистема DeepSeek Harness (DSH)
Курируемый список плагинов, инструментов и инфраструктурных решений для работы с моделями DeepSeek.

MiniMax Music 3: генерация песен длительностью до пяти минут
Высокопроизводительная модель для создания полноценных музыкальных композиций высокого качества.

PoC для обхода аутентификации в cPanel и WHM
Инструмент для демонстрации уязвимости CVE-2026-41940, позволяющий обходить проверку подлинности в панелях управления cPanel и WHM.

Motif 3: MoE-модель на 314 миллиардов параметров
Масштабная языковая модель архитектуры Mixture-of-Experts (MoE), содержащая в общей сложности 314 миллиардов параметров.

Аудио-визуальная LoRA для LTX-Video 2
Первая фанатская аудио-визуальная LoRA для создания «говорящих голов» на базе видеомодели LTX-Video 2.

JoyAI-Video-Edit: редактирование видео в реальном времени
Фреймворк для редактирования видеопотоков с помощью текстовых инструкций в режиме реального времени.

Представляем Kitesurf: браузер, созданный в первую очередь для агентов и работающий в V8-изолятах на Cloudflare Workers

Cloudflare выпустила Kitesurf — новый браузер, целиком построенный поверх Workers и спроектированный специально под AI-агентов. Он потребляет в 3–7 раз меньше CPU и памяти, чем Chromium, уже проходит более 215 000 тестов WPT и доступен бесплатно на время беты в Browser Run.

Читать статью

«Код никогда не был сложной частью» — оскорбление для всех программистов

Марио Цехнер рекомендует к прочтению эссе Сенко Рашича о том, почему модная формула «писать код легко, сложно понять, что писать» обесценивает труд программистов. И почему одинаково вредны обе крайности: и «код — это просто», и «код — это искусство, которое невозможно автоматизировать».

Читать статью

Сегодня в AI-мире обсуждают:

Модель Minimax-h3-Turbo
Новая версия модели MiniMax-H3 с оптимизацией Turbo.

Kimi-K3.0-abliterated в формате GGUF
Версия модели Kimi-K3.0 с удаленными ограничениями безопасности, доступная в формате GGUF.

NVIDIA Nemotron-3.5-Lightning-30B в формате NVFP4
Оптимизированная модель на 30 миллиардов параметров с использованием нового формата квантования NVFP4 от NVIDIA.

Модель LTX-2.5 от Lightricks
Обновленная версия нейросети LTX для генерации и редактирования видеоконтента.

VoxWeave: локальная станция для изменения голоса
Высококачественный инструмент для офлайн-преобразования голоса на базе технологии RVC.

MiniMax-H3 в формате GGUF от Unsloth
Модель MiniMax-H3, оптимизированная для работы через библиотеку Unsloth и доступная в формате GGUF.

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

Инструмент для удаления водяных знаков Claude
Экспериментальное решение для обхода и модификации статистических водяных знаков в текстах, созданных Claude.

Blueferry: iMessage и SMS через Bluetooth на Linux
Обеспечивает передачу сообщений на Linux-системы через Bluetooth без использования облачных сервисов или прокси.

Сборник рецептов для open source моделей Meta
Полная коллекция руководств и примеров по работе с открытыми моделями от компании Meta.

В защиту непонимания собственной кодовой базы

Инженер объясняет, почему в достаточно больших системах частичное понимание кодовой базы — это не провал, а норма, и спорит с классической идеей Питера Наура «программирование как построение теории».

Читать статью

CodeCrucible: чертёж SAST на основе LLM

Block выложила в open source сканер безопасности, который отправляет в модель весь репозиторий целиком, а не отдельные фрагменты кода. Внутри — четыре ключевые развилки при проектировании LLM-driven SAST, устройство инструмента и честный список ограничений.

Читать статью

Сегодняшние тренды AI-индустрии:

Управление смартфоном через ИИ-агента
Инструмент позволяет автономным агентам получать прямой доступ к интерфейсу и функциям мобильного телефона.

Библиотека oil-motion для веб-анимаций
Решение для создания плавных, отзывчивых и интерактивных анимаций в веб-интерфейсах.

Эволюционная среда KADATH для мультиагентных систем
Среда исполнения, которая развивает, оценивает и улучшает автономных агентов в рамках воспроизводимых эпох для оптимизации целей.

Инструмент для пиксель-арта Arknights
Утилита для конвертации, ручного редактирования и автоматического раскрашивания пиксельных изображений формата 24x24.

Система генерации вирального контента
Инструмент для исследования трендов, мозгового штурма и создания вирусных видео для Instagram, YouTube, X и TikTok.

Модель A.X-K2 на Hugging Face
Новая модель от разработчика skt, опубликованная в открытом доступе на платформе Hugging Face.

Легковесная модель fuse-1 Lite
Новая гибридная модель, сочетающая в себе скорость и эффективность малых языковых моделей.

Обучение эмбеддингов MiniLM-L6
Проект по обучению моделей эмбеддингов предложений на сверхбольших наборах данных с использованием контрастивного обучения.

Модель st-codesearch-distilroberta-base
Модель на базе sentence-transformers для семантического поиска и кластеризации текстов в векторном пространстве.

Экспериментальная модель Krea-2-Engineer-V1 в формате GGUF
Новая экспериментальная версия модели Krea-2-Engineer, подготовленная для эффективного инференса.

LLM вознаграждают экспертизу

Принято считать, что в работе с LLM нет никакого мастерства: раз модели у всех одинаковые, «умелые промптеры» получают те же результаты, что и новички. Шон Гёдеке объясняет, почему это неверно и почему главный навык в промптинге — экспертиза в той области, для которой вы промптите.

Читать статью

AI-сообщество обсуждает сегодня:

MiniMax-H3: Доступ к модели через API
Модель MiniMax-H3 теперь доступна для прямого использования через глобальный и китайский API-интерфейсы.

Human-writing: Очеловечивание текстов от AI
Инструментарий для доработки текстов, который помогает сделать ответы нейросети более естественными и похожими на человеческую речь.

Open Kimi PPT Skill: Генерация презентаций через AI
Неофициальный навык для Kimi, позволяющий AI-агентам создавать редактируемые презентации в форматах PPTD и PPTX с локальным редактором.

MiniMax-H3 для ComfyUI
Перепакованные файлы модели MiniMax-H3, подготовленные специально для интеграции и работы в интерфейсе ComfyUI.

JoyAI-Video-Edit: Редактирование видео в реальном времени
Официальный репозиторий проекта для свободного редактирования видео с использованием методов авторегрессионной диффузии.

Super Simple Software Factory: Автоматизация разработки
Фреймворк для создания повторяемых рабочих процессов с участием AI-агентов, где детерминированный код на Python управляет логикой выполнения задач.

ComfyUI MiniMax-H3 Audio: Работа со звуком
Расширение для ComfyUI, реализующее поддержку аудиофункций модели MiniMax-H3.

LiquidAI LFM 2.5: Модель на 2.6B параметров
Опубликованы веса новой языковой модели LFM 2.5-2.6B от компании LiquidAI.

Kimi-K3 в формате GGUF от Unsloth
Версия модели Kimi-K3, оптимизированная командой Unsloth в формате GGUF для эффективного инференса.

Overlay Kontext Dev LoRA: Наложение объектов на фото
LoRA-модель, предназначенная для бесшовного совмещения и реалистичного размещения новых элементов на готовых изображениях.

MCP 2026-07-28 приходит в Claude

Вышел пятый релиз спецификации Model Context Protocol: протокол переходит на stateless-ядро, ужесточает авторизацию и выводит официальные расширения в версионируемый фреймворк. Поддержка постепенно раскатывается по продуктам Claude.

Читать статью

Сессия, которую вы не можете забрать с собой

Inference-API всё активнее возвращают не текст, а провайдер-привязанное состояние: зашифрованные reasoning-блоки, скрытые результаты поиска, непрозрачную компакцию и запечатанные сообщения между субагентами. Ваш транскрипт перестаёт быть вашей сессией и превращается в её частичный вид.

Читать статью

Прагматичный рычаг на софтверной фабрике

Дополнение к серии «Почему софтверные фабрики проваливаются»: если ускорять с помощью AI только написание кода, вы упрётесь в потолок. Правило 80/20 подсказывает, сколько времени на самом деле стоит вкладывать в планирование.

Читать статью