Microsoft выпустила рекордные 650+ патчей за один день



Новая модель OpenAI GPT-6 Astrai без единой ошибки прошла все 48 уровней браузерной игры I'm Not a Roboti («Я не робот») — пародии на капчу reCAPTCHAi с сайта neal.fun, где сложность заданий постепенно растёт. В финале модель получила «сертификат человека», подтверждающий, что она прошла тест на человечность.
Новость обсуждают как символическое событие: кнопка «Я не робот» и капча как способ отличить человека от машины теряют смысл, поскольку ИИ теперь справляется с задачами, которые придумывались специально для отсева ботов.

Компания Chuwi анонсировала настольный мини-компьютер UniBox AI495 Proi, рассчитанный на локальный запуск даже крупных больших языковых моделей (LLM) без обращения к облаку. Ключевая особенность новинки — до 192 Гбайт унифицированной памяти, что для компактного устройства нетипично много и позволяет ему претендовать на роль домашней ИИ-рабочей станции.
За производительность отвечает процессор AMD Ryzen AI Max+ Pro 495i поколения Gorgon Halo — 16-ядерный чип, ориентированный на ИИ-нагрузки. При этом устройство остаётся компактным: по данным Код.ру, объём корпуса составляет всего 2,9 литра.

Arm анонсировала платформу CSS for Mobile 2i, центральным элементом которой стал графический чип Mali G2-Ultra NX — первый мобильный GPU компании со встроенными нейроускорителями (NX) прямо в шейдерных ядрах. Фактически это готовый аналог технологического стека NVIDIA DLSSi для систем на чипе смартфонов.
Новая архитектура реализует нейросетевой апскейлинг, генерацию промежуточных кадров и реконструкцию трассировки лучей силами ИИ, что по заявлениям Arm даёт кратный прирост производительности при снижении энергопотребления — важный шаг для игр с трассировкой лучей на мобильных устройствах.
Anthropic объявила, что её модель Claude автономно перевела доказательство Великой теоремы Ферма в проверяемый компьютером код на языке Leani — весь процесс занял 11 дней, хотя ранее на эту работу отводили около 10 лет труда математического сообщества. По утверждению Anthropic, это первое полное доказательство теоремы, которое целиком проверено компьютером.
Значимость события в том, что формализация современной сложной математики до сих пор считалась крайне трудоёмкой ручной работой, требующей лет усилий многих специалистов. Успех с теоремой Ферма показывает, что инструменты автоформализации на базе ИИ достигли уровня, позволяющего браться за задачи такого масштаба, и намекает, что подобный подход применим к другим сложным доказательствам.
ВыводПьер Ферма записал утверждение теоремы около 1637 года на полях книги, заявив, что нашёл доказательство, но не оставил места, чтобы его записать