ИИтак

← Назад

тема · 100 новостей за 60 дней

#код

ИИ для программирования: ассистенты и агенты, которые пишут, проверяют и исправляют код.

Вчера 5 ноября, четверг

Microsoft Research

Microsoft показала PDD Kit для проверки кода, написанного ИИ-агентами

PDD Kit доказывает, что код соответствует заданным требованиям, а там, где доказательство неприменимо, использует тесты; пока инструмент проверяет только код на языке программирования Rust.

4 ноября среда

СМИ

OpenAI объединит в ChatGPT вкладки чата и агента Work, начав с теста, пишет TechCrunch

По письму OpenAI, которое приводит TechCrunch, в ChatGPT объединят чат и Work — агента для офисных задач, начав с небольшой группы пользователей; Codex, агент для программистов, останется отдельным разделом, но с общим лимитом.

3 ноября вторник

Mistral · X

Mistral позволила компаниям запускать у себя Large 4 для многошаговых задач

При разработке Mistral Large 4 экономия памяти ухудшала работу ИИ-помощников, выполняющих задачи в несколько шагов; команда переделала модель и описала её обучение на проверяемых задачах.

длинный текст 5 мин Latent Space

GPT-6 Astra напрямую правит числа внутри других нейросетей, показали в MIT

GPT-6 Astra без обучения поправила 0,016% весов (числовых параметров) маленькой нейросети Qwen: результат в математическом тесте вырос с 7,9% до 48,1%, потому что та реже зацикливается.

Соцсети

Google готовит голосового агента в приложении для программирования Antigravity, пишет TestingCatalog

TestingCatalog показал скрытый голосовой интерфейс в приложении Google для кода Antigravity; издание предполагает, что новый помощник Chief of Staff сможет сам управлять другими агентами.

2 ноября понедельник

длинный текст 3 мин Amazon Science

Amazon с помощью ИИ доказала надёжность протокола базы данных Aurora

Языковая модель написала математическое описание протокола Aurora и доказательство его надёжности, их проверила программа для математических доказательств Lean 4, а в документации нашлись опасные неточности.

1 ноября воскресенье

длинный текст 4 мин Андрей Карпаты

Карпаты за два часа собрал с ИИ Claude каталог видео, которые советуют на Hacker News

HackerTube показывает 6 454 ролика, которые пользователи Hacker News годами советуют друг другу. Отбор, описания и сам сайт по просьбе Карпаты сделали модели Claude.

длинный текст 3 мин СМИ

Anthropic подтвердила, что запретила Claude Code воссоздавать чужие игры

Anthropic добавила в инструкции Claude Code две фразы: оригинальные игры и игры по общим канонам жанра агент делает, а копии конкретных существующих — нет, даже под другим названием.

30 октября пятница

29 октября четверг

СМИ

ИИ-агент Claude подрядчика два месяца работал в сети Пентагона, пишет Wired

По данным Wired, ИИ-агент Claude Code из личного аккаунта сотрудника Accenture, по-видимому, отправил данные для входа в военную систему на сторонний сайт; Accenture обвинения отвергает.

длинный текст 4 мин Hugging Face

Mistral открыла веса улучшенной Large 4 — модели для кода и киберзащиты

Компании могут развернуть у себя Mistral Large 4 на триллион параметров. По замерам Mistral, среди открытых моделей она лучшая в программировании и берётся за киберзащиту без лишних отказов.

СМИ

Инвесторы готовы оценить Cognition, разработчика ИИ для кода, в $70–80 млрд, пишет Business Insider

По данным Business Insider, оценка Cognition, разработчика ИИ-агента для программирования Devin, может вырасти с 48 до 70–80 млрд долларов всего через несколько недель после прошлого раунда.

28 октября среда

Latent Space

ИИ-модели почти всегда выбирают Supabase для серверной части приложений

Ведущий подкаста Latent Space проверил, что советуют ИИ-модели для серверной части приложений: почти всегда Supabase. По словам основателей, чем больше приложений с Supabase собирают ИИ-агенты, тем чаще новички доходят до работающего приложения.

длинный текст 3 мин Google DeepMind

Google представила модель Gemini 4 Carbon для кода и киберзащиты

Новую модель Google первыми получат специалисты по киберзащите, а остальным её откроют позже по вводной цене $2 за миллион входных токенов и $10 за миллион выходных.

26 октября понедельник

длинный текст 4 мин Import AI

Один исследователь Mirendil с ИИ-агентами обучил модель для кода с нуля

Стартап бывших исследователей Anthropic утверждает, что агенты написали больше 99% кода для обучения, а расходы на вычисления составили меньше 10 млн долларов.

25 октября воскресенье

23 октября пятница

длинный текст 4 мин Kimi · X

Moonshot AI выпустила модель Kimi K3.1 Pro и откроет её веса к 4 ноября

Новая модель Moonshot AI, по замерам компании, почти догнала Claude Opus 5.5 в задачах агентов-программистов, а перед открытием весов Moonshot намеренно ухудшила её способность взламывать программы.

MiniMax · X

MiniMax открыла веса модели M3.1 Flash для кода и агентов

Компании теперь могут развернуть у себя M3.1 Flash, модель MiniMax для кода и агентов, до анонса работавшую под анонимным именем Space Bunny; при годовой выручке свыше 20 млн долларов нужно разрешение MiniMax.

21 октября среда

длинный текст 4 мин Latent Space

Моды ИИ-агента Claude Code уберегли инженера от потери правок, но шумят

По опыту инженера Дэна Макатира, моды — пользовательские плагины к ИИ-агенту для программирования Claude Code — помогают не пропустить важное в его работе, но шумят, тратят токены и получают все права пользователя.

длинный текст 5 мин Latent Space

Офисную работу ИИ-агентам поручили около 5% корпораций, с которыми общается Tenex

Из сотни крупных компаний, с которыми общается консалтинговая фирма Tenex, ИИ-модель дали сотрудникам 90%, а ИИ-агентов, которые сами делают офисную работу, запустили около 5%.

20 октября вторник

19 октября понедельник

MiniMax · X

MiniMax выпустила модель M3.1 Flash для программирования и агентов

Быстрая модель MiniMax для кода и агентов больше недели была самой популярной на площадках для разработчиков под анонимным именем Space Bunny. 23 октября компания обещает открыть её веса.

17 октября суббота

Hugging Face

Стартап Reflection AI выложил в открытый доступ первую модель Beam для кода и ИИ-агентов

Американский стартап Reflection AI открыл веса Beam — модели на 501 млрд параметров для программирования и ИИ-агентов. Её можно дообучать и встраивать в платные продукты.

длинный текст 4 мин OpenAI для разработчиков · X

Инженеры OpenAI удалили с помощью Codex 800 тыс. строк ненужного кода

Агент Codex сам искал в коде OpenAI ненужное, а в отдельном тесте на поиск устаревших экспериментов в части кода дешёвая GPT-6.1 Sol сделала 131 подтверждённую находку против 142 у GPT-6 Astra и обошлась в семь раз дешевле.