Claude впервые формализовал Великую теорему Ферма в Lean. Почему это не «решил», а «записал»

Claude впервые формализовал Великую теорему Ферма в Lean. Почему это не «решил», а «записал» Привет, друзья. У меня немного странные ощущения от этой новости. С одной стороны — да, впервые в истории программа самостоятельно

GPT-6 Astra: OpenAI представила модель, которую Брокман назвал началом AGI era

Привет, друзья! Сегодня — день, который будет в учебниках. 3 сентября 2026 года OpenAI официально представила GPT-6 Astra — новую флагманскую модель, которую президент компании Грег Брокман назвал «generational leap» и завершил пресс-брифинг словами «Welcome

Три релиза за 36 часов: Claude Fable 5.1, Qwen3.8-Max-0902 и Gemini 3.8 Flash

Привет, друзья! Иногда бывают дни, когда AI-индустрия меняется не по неделе, а по часу. За последние 36 часов — с 1 по 2 сентября 2026 — три крупнейших игрока мира выкатили новые модели практически одновременно.

ChatGPT официально стал поисковиком в глазах ЕС

Привет, друзья! Знаете, иногда одна короткая новость про регулирование рассказывает о сдвиге больше, чем длинные аналитические отчёты. Сегодня — именно такой день. 31 августа 2026 года Европейская комиссия официально присвоила ChatGPT статус Very Large

Мясной прокси: как инженер из Германии назвал то, что бесило всех

Привет, друзья! Бывают дни, когда новое слово проходит по индустрии со скоростью лесного пожара — и все вдруг понимают, что давно это видели, но не знали, как назвать. Сегодня расскажу про термин «мясной прокси»