CodeCamp

Claude полностью формализовал Великую теорему Ферма — и сделал это автономно всего за 11 дней 😳 Anthropic утверждает, что это первое полное доказательство теоремы, которое целиком проверено компьютером. Доказательство Великой теоремы Ферма было найдено ещё в 1995 году математиком Эндрю Уайлсом, но проверить его на компьютере до сих пор не удавалось до… этого дня. Десятки агентов Claude переписали доказательство на языке Lean, создав 13 млн строк кода и потратив 6 млрд токенов за 11 дней. Причём люди вмешивались лишь изредка и давали агентам общие указания. Кевин Баззард, который сам с 2024 года руководит многолетней формализацией теоремы Ферма, назвал результат Claude «экстраординарным достижением». Доказательство уже выложили на GitHub. 🤯

Ночное-полезное: разраб запустил удобный конструктор интерфейсов для приложений и сайтов. Внутри M3E Canvas вы перетаскиваете кнопки, карточки, списки и связываете переходы. Когда все готово, сервис превращает весь макет в готовый промпт для Claude Code, Codex, Gemini CLI или Cursor. Есть мобильные и десктопные экраны, темы, анимации, превью переходов и экспорт в PNG. Сам проект работает прямо в браузере. Такое нам пригодится 👍

Теперь они пришли за хвостатыми — в Китае роботы заменяют дефицитных собак-поводырей 👍 У рисовых братьев назрел масштабный кризис доступной среды: на более чем 17 миллионов слабовидящих людей приходится всего около 400 обученных собак на весь Китай. Подготовка одного четвероногого компаньона занимает свыше года, обходится в 200 000 юаней (~$30 000), а вот роботов они клепают быстро и качествено: — Колеса для бесшумной езды и 4 лапы для лестниц; — Видит ветки деревьев, строительные балки и нависающие вывески над головой (о которых собаки часто умалчивают 😁) и обходит 99% препятствий; — Сантиметровая точность навигации и кнопка SOS для связи с волонтерами; — Робот нативно подключен к базам ассоциаций инвалидов, цифровым картам доступной среды и платформе дистанционной волонтерской поддержки; — Систему уже начали обкатывать на практике — пилотные зоны развернуты в метрополитене Ханчжоу и в крупных моллах. 🔥 — Таких роботов мы одобряем 😊

Российские математики попали в WIRED — топовое техноиздание США рассказало про Mostik, стартап россиянки Александры Малышевой. Вместе с командой она учит разные ИИ-модели разговаривать друг с другом без текста. Идея в том, чтобы собирать гибридные системы из разных ИИ-моделей и экономить на этом деньги. Стартапу нет и полгода, в команде 15 человек, 12 из них — доктора наук, которые успели поработать в Google, Nvidia, Perplexity и другом бигтехе. Саму Александру Малышеву еще семь лет назад отметил Яндекс и вручил ей научную премию (сегодня это Yandex ML Prize). Уже тогда она исследовала как нейросети могут обмениваться информацией внутри Доты 🍷

В Codex и Work уже завезли AGI — Astra начала появляться у пользователей по всему миру. Готовимся вайбкодить ⌨️

Тотальная чистка Windows от мусора — нашел бесплатную опенсорсную утилиту, которая поможет разобрать хлам и ускорить систему. optimizerDuck отключает телеметрию, рекламу, Copilot, фоновые сервисы. Всего внутри больше 40 системных твиков в 7 категориях: производительность, AI, приватность, GPU, питание, Bloatware & Services и User Experience. Плюс изменения можно откатить, если что-то пойдёт не так. И да, все это бесплатно! Наводим порядок 👍

Самая полезная книга 2027 🥲

ИИ развивался ради этого: Claude Fable 5.1 за час создал для Minecraft мод с атакой из Наруто 🤩 Разработчик показал модели ролик с атакой Кирин из «Наруто», а Claude всё сделала сама: разобрала видео, написала мод, создала модель молниевого дракона, сделала оружие и текстуры. После первой же рабочей версии Fable 5.1 показали запись результата, и она учла ошибки и поправила дракона, добавила деталей и огонь. Всё заняло около часа и $20 на API. Исходники мода автор выложил на GitHub — осваиваем дзюцу 💪

+2

В Х появились первые примеры работы с GPT-6 Astra — и это отвал всего 😨 Люди уже создали: — Кучу полноценных 3D-игр: клон SimCity, Fall Guys, Minecraft и ещё множество проектов. Причём некоторые Astra собирала с первого захода без правок, а над SimCity Astra сама трудилась пять дней подряд. — По паре фоток Astra создала 3D-модель дома с комнатами, мебелью, техникой и мелкими деталями. Результат можно редактировать в Blender, а сцена работает в 60 FPS. Возможно, увидим скоро такие штуки в объявлениях. — За неделю работы Astra создала целый кусок Манхэттена в Unreal Engine, проходя улица за улицей и доводя каждую мелочь до нужного вида. Детализация просто поражает. — Но самое удивительное: ИИ построил мир с автономными агентами, которые должны сотрудничать с остальными, чтобы выжить. Получилось крипово. Ну, за геймдев 🍺

Топ причин купить Flipper Zero. Первая: 🤣

OpenAI выпустила GPT-6 Astra и заявила о наступлении эры AGI 🤩 Эмбарго у журналистов уже снято, так что известно много + нам удалось почитать официальный блог OpenAI, пока его не закрыли. Главное об убийце Fable 5.1: 🟢 Президент OpenAI Грег Брокман сказал, что лично считает GPT-6 первой моделью AGI. 🟢 Новая флагманская модель первой в истории компании получила критический уровень кибервозможностей. OpenAI даже откладывала релиз, чтобы усилить защиту; 🟢 Astra выбила 100% на бенчмарке по взлому систем ExploitBench. На ARC-AGI-3 98,6% — абсолютный рекорд. 🟢 Astra обучили более чем на 100 000 GPU — это крупнейший тренировочный запуск в истории OpenAI; 🟢Когда Astra подключили к Unity и Godot, то модель смогла с одного захода создать три играбельных прототипа игр, которым почти не потребовались правки. В ближайшие дни Astra появится в ChatGPT для платных пользователей. Теперь ждем оф.анонс и празднуем. Добро пожаловать в эпоху AGI 🥳 @xor_journal

ChatGPT, Claude, Grok и Cursor упали по всему миру!🥲 Нейросети не отвечают юзерам, а сайты не работают, так что принудительно заканчиваем работать на сегодня. Ставлю на то, что это снова сбой у AWS.

NVIDIA официально покупает Hugging Face почти за $13 МИЛЛИАРДОВ 🤑 Дженсен Хуанг объявил, что NVIDIA договорилась приобрести Hugging Face за $12,93 млрд. Саму платформу обещают сохранить открытой, а NVIDIA берется развивать её инфраструктуру и расширять доступ к ИИ для разработчиков и организаций по всему миру. Сейчас HF уже используют более 18 млн разработчиков! Куртка затарился по-крупному. 😎

Codex за 26 дней без остановки воссоздал Red Alert 2 с нуля — и в итоге запустил её на macOS и iOS 🧐 Разработчик поставил GPT-5.6 Sol задачу восстановить Red Alert 2: Yuri’s Revenge, исходники которой никогда не публиковались и считаются навеки утраченными. Модель анализировала оригинальный EXE и фактически пересобрала игру. В итоге получилось 624 тысячи строк C++. До этого разраб уже с помощью Codex портировал Command & Conquer: Tiberian Dawn и Command & Conquer: Red Alert. Страшно представить, сколько токенов на это ушло 😭

Ночное-полезное для селлеров и стартаперов: Anthropic выложила в опенсорс гайд для создания ИИ-продавцов! Внутри Claude Commerce Agents набор готовых архитектур, паттернов и промптов для агентов, которые помогают покупателям и продавцам. Они могут искать и сравнивать товары, собирать корзину, планировать путешествия, подбирать тарифы и билеты. Плюс можно создать агентов, которые работают с ассортиментом, ценами, остатками и рекламными кампаниями. И да — по данным Anthropic, магазины, которые используют таких торговых агентов, отмечают рост размера корзины до 35% + до 60% более высокую вероятность завершения покупки. Техгайд тут, GitHub здесь 😳

Знают свою ЦА 😆 Угадайте, после чего вырастут настоящие сеньоры.

Google выкатила Gemini 3.8 Flash — бюджетный киллер флагманов 🔥 Модель уже доступна в Agent Studio на GCP и метит в звание главного рабочего инструмента для ежедневной разработки: — В части тестов умудряется обгонять модели уровня GPT-5.6 Sol и Fable 5. — Контекст на 1M токенов. — Спроектирована специально под написание софта, веб-исследования, отладку и тестирование приложений. — Лучшая по цена-скорость: комплексные цепочки задач закрываются за считанные минуты, при том что цена копеечная. Ждем ход от OpenAI 😂

Эйчары беспощадны даже к звездам 🥲

Anthropic выложила официальный гайд по промптингу Fable 5.1! Внутри разобрали особенности новой модели и выдали полезные промпты для агентных задач, кодинга, поиска, субагентов и работы с файлами. Так, оказывается, Fable 5.1 может переписывать целый файл ради небольшой правки, а в длинных задачах осторожничать и останавливать работу раньше времени. Для таких случаев Anthropic сразу предлагает вам использовать их готовые инструкции. Сохраняем, чтобы выжать максимум из модели 😎 @xor_journal

Новая модель OpenAI выбила 100% на бенчмарке по ВЗЛОМУ систем — OpenAI прямо сейчас готовится к выпуску Astra. В компании заявили, что модели впервые (!) присвоили критический уровень кибервозможностей. Так, на ExploitBench она набрала 100% — ранее никому это не удавалось. При этом в тесте из 20 недавно раскрытых уязвимостей Chrome-движка V8 кибер-монстр значительно чаще GPT-5.6 Sol успешно их эксплуатировал, тратя при этом намного меньше выходных токенов. Более того, Astra сама нашла две ранее неизвестные дыры нулевого дня в V8 и использовала их для взлома. И да — Astra обещают сделать доступной в ближайшее время! Ждем убийцу Fable 5.1 🤗