Применение общей алгебры для формальной верификации L11
Коллаборация Atomic Heart и Reverse: 1999
Microsoft привяжет активацию Windows через KMS к аппаратному TPM-модулю
Microsoft анонсировала механизм KMSi Hardware-Secured — новую систему защиты корпоративных серверов активации Windows. Теперь перед выдачей лицензий клиентам сервер KMS должен будет через аппаратный модуль TPMi криптографически подтвердить Microsoft свою подлинность и целостность платформы.
Цель изменения — борьба с поддельными и клонированными серверами активации, которые массово используются для пиратской активации Windows, в том числе через программные имитации KMS. По оценке источников, популярный метод пиратской активации через фальшивые KMS-серверы рискует стать полностью нерабочим.
Реакция автора на отписку подписчика из-за ИИ-контента
Unitree представила робособаку Super Athlete AS2-W со скоростью до 22 км/ч
Китайская компания Unitreei показала нового четырёхногого робота Super Athlete AS2-Wi, способного передвигаться по пересечённой местности со скоростью около 22 км/ч (по данным источника 4 — до 30 км/ч) и проезжать на одном заряде свыше 30 км. Робот уверенно преодолевает подъёмы, камни, расщелины, грязь и мелководье, а также умеет делать сальто, прыгать на двух «лапах» и резко разворачиваться вокруг своей оси.
Ролик с демонстрацией быстро завирусился в соцсетях: пользователи шутят, что от такого робота «не убежать», хотя разработчики заявляют совсем другие цели — исследования, обучение, инспекции, грузоперевозки, промышленность и спасательные операции.
UniD: модель для комплексной разметки видео
Рейды Центра «Э» на подростков в Петербурге
Автономная карьера: свобода, риски и реальность
Claude Opus 5 набрал максимальные 42 из 42 баллов на IMO 2026
Международная математическая олимпиада (IMOi) 2026 года прошла за 9 дней до публикации, а результаты подвели 5 дней назад. По данным системной карточки модели, Anthropic прогнала Opus 5i через все 6 задач олимпиады без Claude Codei, инструментов, поиска в интернете и написания кода — только рассуждения с максимальной длиной. Модель набрала абсолютный максимум — 42 из 42 баллов, при этом порог золотой медали в этом году составлял 29 баллов.
Ещё год назад золото на IMO брали внутренние, специально затюненные и недоступные широкой публике модели OpenAI и Google — и без идеального результата. Теперь же почти идеальные решения на тех же задачах показывают и другие модели, которые энтузиасты прогнали самостоятельно, что говорит о резком ускорении прогресса ИИ в математических рассуждениях.
ВыводКаждую из 6 задач Opus 5 прогоняли 4 независимых раза с максимальной длиной рассуждений, без обвязки типа Claude Code, поиска по интернету или написания python-кода
Дайджест материалов DeepSchool за июнь-июль
Кевин Файги ответил на критику отсутствия подводки к Доктору Думу
Стратегия успеха для интрапренера в корпорации
Дайджест лучших материалов сообщества Naked Science за неделю
Метод еженедельной рефлексии с ИИ для повышения продуктивности
Участие российских исследователей в конференции ACM SIGIR 2026
Релиз аудио-модели GigaChat3.1-Audio-10B-A1.8B
Проблемы механики вайтборда в The Alters
Индия потребовала удалить с GitHub исходный код мессенджера Bitchat
Власти Индии потребовали от GitHub заблокировать доступ к исходному коду Bitchati — децентрализованного mesh-мессенджерiа, созданного основателем Twitter Джеком Дорси. Приложение работает без интернета и мобильной связи, используя Bluetooth Low Energyi, из-за чего его популярность резко выросла во время протестов и отключений сети — и именно это стало проблемой для индийских силовиков.
Требование прозвучало на фоне общего усиления интернет-цензуры в Индии, вызванного студенческими протестами, и напоминает о недавнем случае в Непале, где похожие технологии сыграли реальную роль в смене власти.
Создание собственной карты контента
Продление запрета на экспорт бензина и прогнозы курса рубля
Самоходные транспортные платформы в Токио
Amazon Prime показал трейлер сериала «Кэрри» по роману Стивена Кинга
Amazon Prime выпустил первый тизер-трейлер сериальной адаптации «Кэрриi» по одноимённому роману Стивена Кинга. Шоураннерiом проекта стал Майк Флэнаган.
Премьера сериала назначена на 7 октября, а создатели обещают расширить сюжет романа, чтобы не повторять предыдущие экранизации.