Anthropic объявила, что её модель Claude автономно перевела доказательство Великой теоремы Ферма в проверяемый компьютером код на языке Leani — весь процесс занял 11 дней, хотя ранее на эту работу отводили около 10 лет труда математического сообщества. По утверждению Anthropic, это первое полное доказательство теоремы, которое целиком проверено компьютером.

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

ВыводПьер Ферма записал утверждение теоремы около 1637 года на полях книги, заявив, что нашёл доказательство, но не оставил места, чтобы его записать

Полный разбор →

Американский b2b-финтех Ramp, анализирующий транзакции 70 тыс. компаний в США, опубликовал данные: 80% корпоративной выручки OpenAI и Anthropic, проходящей через Ramp, генерирует лишь 1% клиентов — в основном техкомпании и AI-стартапы. Это беспрецедентная для tech-индустрии концентрация, которая держится почти два года без признаков снижения.

Значение этих цифр в том, что они обнажают замкнутость AI-экономики: венчурные деньги идут стартапам, стартапы платят за токены OpenAI и Anthropic, те покупают вычисления у Microsoft, Google и Amazon, а облака закупают чипы у Nvidia и Broadcom. Если приток венчурного капитала замедлится или клиенты не получат ожидаемый ROI и начнут переходить на открытые модели (switching costs у них ниже, чем в энтерпрайз-софте), удар пройдёт по всей цепочке сразу, а не по отдельному звену.

Полный разбор →

1 сентября 2026 года Anthropic представила новые флагманские модели Claude Fable 5.1 (доступна всем) и Claude Mythos 5.1 (та же модель, но с ослабленными ограничениями, выдаётся только проверенным организациям для работы в кибербезопасности и биологии, часть программ доступа — в партнёрстве с правительством США). Модели заметно обошли предыдущую Fable 5 и конкурентов в бенчмарках на кодинг, агентные задачи и науку, а чтение из кэша подешевело на 75%, что даёт экономию до 25-45% на типовых и агентных задачах.

Релиз сопровождался демонстрацией реальных научных результатов: модель спроектировала белковые соединения с аффинностью связывания в 10 раз выше существующих аналогов и построила новую карту рельефа трети Венеры по 30-летним архивным радарным снимкам NASA. Однако независимая проверка Artificial Analysis показала, что из-за возросшей многословности ответов реальная стоимость решения задачи выросла, а не упала, — что противоречит заявлениям Anthropic об экономии.

Anthropic опубликовала в открытом доступе готовый набор архитектур, паттернов и промптов для создания коммерческих ИИ-агентов — Claude Commerce Agentsi. Решение предназначено для селлеров, маркетплейсов и стартапов в сфере торговли, шопинга, туризма, телекома и развлечений.

По данным Anthropic, магазины, уже применяющие таких агентов, фиксируют рост среднего размера корзины до 35% и увеличение вероятности завершения покупки до 60% — то есть инструмент напрямую влияет на выручку e-commerce.

Полный разбор →