Kimi K3 recreates Interstellar’s Gargantua by watching itself work: 62 self-screenshots, each one read, diagnosed, and acted on.Ну в целом разрабов дедлока можно увольнять
Еврокомиссияi в четверг вынесла два решения по закону о цифровых рынках (DMAi), обязав Google открыть Android и Google Search для конкурентов. Сторонние AI-ассистенты — ChatGPT, Claude, Perplexity — должны получить тот же доступ к системным функциям и оборудованию смартфонов, что сейчас имеет только Geminii, а конкурирующие поисковики и чат-боты — доступ к данным, которые генерирует поиск Google.
ЕС фактически приравнял AI-сервисы к поисковикам — так же ранее поступил американский федеральный суд. Для Google это означает необходимость перестроить экосистему Android под требования регулятора под угрозой крупного штрафа, а для конкурентов — шанс на более глубокую интеграцию с самой массовой мобильной платформой.
Сотрудник OpenAI заявил, что новая модель GPT-5.6 Sol (в некоторых сообщениях — GPT-5.6 Sol Ultra) сгенерировала доказательство гипотезы о двойном покрытии циклами — одной из старейших открытых проблем теории графов, сформулированной Дьердем Секерешем в 1973 году. По словам OpenAI, доказательство было получено менее чем за час с помощью роя из 64 субагентов, причём результат появился прямо к моменту релиза модели.
Если доказательство подтвердит математическое сообщество, это станет одним из крупнейших ИИ-достижений в математике: гипотеза важна для теории нигде-не-нулевых потоков и не поддавалась учёным более полувека. Пока верификация не завершена, и эксперты, по данным источников, будут тщательно проверять результат.
ВыводГипотеза утверждает: для любого графа без мостов найдётся набор циклов, такой что каждое ребро графа входит ровно в два из этих циклов
Все генеративные модели Яндекса под брендом Alice AI теперь сертифицированы по стандарту ISO/IEC 42001i — мультимодальная Alice AI VLMi и генератор изображений Alice AI ARTi прошли аудит вслед за языковой моделью, получившей сертификат годом ранее.
Стандарт оценивает не качество ответов нейросети, а процессы её создания и эксплуатации: как собираются и защищаются данные, как обучены сотрудники, как документируются цели и ограничения моделей, как отслеживаются сбои. По той же методологии ранее сертифицированы Amazon, Anthropic и Microsoft.
OpenAI показала GPT-Redi — закрытую (недоступную снаружи) модель, которую обучают не помогать пользователю, а атаковать другие модели, автоматизируя red-teaming безопасности. Её задача — искать уязвимости вроде prompt injectioni, утечки данных (data exfiltration) и атак на агентные системы, где модель читает веб-страницы, файлы, письма и вывод инструментов и может случайно выполнить вредную инструкцию, спрятанную внутри.
GPT-Red обучали через self-play reinforcement learning в паре с моделью-защитником GPT-5.6 Soli: атакующая модель получает награду за успешный срыв работы защитника, а защитник — за то, что выдерживает атаку и продолжает выполнять исходную задачу. В результате такой обкатки GPT-5.6 Sol стала заметно устойчивее к вредным инструкциям, спрятанным в документах, сайтах, письмах и выводе инструментов, что важно для отрасли, где ИИ-системы развиваются быстрее, чем их успевают проверять вручную эксперты по безопасности.
ВыводGPT-Red работает как автоматизированный red team: получает цель, пробует промпт-атаку, анализирует ответ целевой модели, улучшает атаку и повторяет попытку
Стартап Thinking Machines Lab, основанный экс-техдиректором OpenAI Мирой Мурати, представил свою первую модель с открытыми весами — Inkling. Это мультимодальный MoEi-трансформер на 975 млрд параметров (41 млрд активных), обученный на 45 трлн токенов текста, изображений, аудио и видео, с контекстом до 1 млн токенов.
Компания прямо признаёт: Inkling — не лидер среди открытых и закрытых моделей рынка. Ставка сделана не на бенчмарки, а на кастомизацию: модель встроена в платформу Tinkeri, через которую пользователи могут дообучать её под свои задачи, и именно Tinker, а не сама модель, должен приносить компании доход.