CodeCamp

ЧТО: OpenAI заявила, что решила одну из семи задач тысячелетия — проблему Навье—Стокса 🤯

То самое доказательство, вокруг которого сегодня разгорелся скандал, теперь представили официально. Его создала группа из 10 000 ИИ-агентов на модели следующего поколения, которая, по словам OpenAI, значительно мощнее GPT-6 Astra. На работу ушло 88 часов и 130 млрд выходных токенов.

В итоге агенты получили доказательство, что в трёхмерных уравнениях Навье — Стокса при определённых условиях может возникнуть сингулярность за конечное время. Доказательство дополнительно формализовали и проверили с помощью ИИ.

Это, если что, одна из знаменитых задач тысячелетия, которые математики безуспешно штурмуют десятилетиями. За её решение назначен приз в $1 млн, но OpenAI заявила, что претендовать на деньги не собирается.

Этот день войдет в историю 🤯🤯🤯

@xor_journal

⚡️ А вот и первый тизер фильма «Искусственный» об OpenAI 😱

Напомню, фильм расскажет о событиях 2023 года, когда Альтмана сначала уволили из-за конфликта в команде, а затем вернули. Сэма сыграет Эндрю Гарфилд, а Юра Борисов станет Суцкевером. Фильм выйдет уже 25 декабря.

Рождественский подарок, получается 😊

AGI отменяется. ИИ не справился с финальным боссом 😂

Мы живем в мире, где муха дрозофилы теперь играет в Doom 🤯

Разработчик подключил симуляцию нервной системы взрослого самца дрозофилы к игре. Картинка из Doom подаётся на зрительные нейроны, а активность других нейронов переводится в команды.

Всё работает в реальном времени: можно смотреть, что видит муха, какие нейроны активируются и какую кнопку они в этот момент нажимают. Если персонаж получает урон, системе искусственно подают негативный сигнал через дофаминовые клетки. В теории так муха должна постепенно научиться дольше выживать и лучше играть.

Проследить за прогрессом мухи можно онлайн тут, GitHub для безумцев здесь 👍

Маководы, ловите бриллиант: принес бесплатный опенсорсный рекордер экрана — Recordly.

Внутри есть автозум на курсор, плавная анимация, красивые фоны, запись вебки и звука, аннотации и встроенный таймлайн для быстрого монтажа. Готовое видео можно сразу экспортировать в MP4 или GIF.

Короче, идеальный аналог платным решениям вроде Screen Studio. Работает на macOS, Windows и Linux.

От сердца отрываю ❤️

Это начало конца: Unitree научила роботов автономно драться 🚬

Компания показала UnifoLM-X2-1.0 — модель мира, которая позволяет роботу в реальном времени решать, как двигаться, уклоняться и атаковать. Да, у железяки нет оператора и заранее прописанных движений — всё сам.

Unitree называет это первым полностью автономным боем гуманоида под управлением модели мира.

Скоро будет не смешно 🪖

Яндекс 360 дал возможность подключать ИИ-ассистентов к Вики и Формам — в сервисах появились MCP-серверы. Теперь через них ИИ-ассистенты могут искать, читать, создавать и редактировать страницы Вики, а также создавать и настраивать формы.

Вики ещё и научилась выгружать страницы в Markdown, чтобы скармливать их дальше ИИ-инструментам. И это на фоне других апдейтов: подпись писем с ГОСТ, рецензирование документов, DataLens в Трекере и метки для ботов в Телемосте.

Похоже, онлайн-офис потихоньку превращается в API для цифровых сотрудников. Осталось понять, кто первым попросит агента сходить на пятничный созвон вместо себя😂

Передумали: ChatGPT снова заработал, как и прежде. Доступ к чат-боту с помощью VPN появился у пользователей из России.

Видимо, дернули не тот рычаг🤬

Китайцы массово превращают токены в бонусные баллы — теперь их раздают буквально за всё 🤑

Рисовые вайбкодеры явно вырываются вперед в популяризации и использовании ИИ.

— Так, один из банков вместе с Moonshot AI запустили кредитку Kimi. За покупки по ней начисляют токены и доп лимиты на агентов.

— Китайский оператор China Telecom предлагают в рамках своих тарифов 10 миллионов токенов за $1,4 в месяц. China Mobile и China Unicom делают то же самое.

— В пекинском AGI Bar за покупку напитка дают безлимитный доступ к DeepSeek V4 Flash.

— И даже в пельменной после еды вам могут выдать вычислительные кредиты, чтобы посетитель мог «накормить вычислительной мощностью своего ИИ-агента».

Всего Китай уже потребляет около 500 триллионов токенов в день. Для сравнения — в начале 2024 года было всего 100 млрд. 😱

Китайцы живут в будущем.

На МТС True Tech Champ появился трек по программированию робособак — призовой фонд чемпионата в этом году составит 10 250 000 рублей.

Участникам предстоит запрограммировать робособаку для доставки груза через полосу препятствий. Квалификация пройдет в онлайн-симуляторе, а финал — 22 октября на офлайн-полигоне.

Собираться можно в команды от 2 до 5 человек. Для разработки рекомендуют Go, Java, Python, C#, C++ и JS. Участникам без команды помогут найти напарников на платформе чемпионата.

Успеваем зарегистрироваться на квалификации до 13 сентября.

⚡️ В России начали жестко глушить ChatGPT

Сайт и приложение отваливаются ещё до серверов OpenAI — соединение режут прямо на этапе TLS-рукопожатия:
— Смена DNS больше не спасает;
— Официальный софт тоже прилег;
— Служебные адреса и API пока живы.

Выходные продлеваются 😭

Ночное-полезное для девопсеров: нашел репу с десятками практических проектов для прокачки навыков и резюме!

Внутри 54 проекта разной сложности по Terraform, Kubernetes, Docker, CI/CD, DevSecOps, AWS, Azure, безопасности и мониторингу. Есть полноценные лабораторные с кодом и конфигами и также пошаговые гайды — так что можно разобраться, повторить всё своими руками и положить результат в портфолио.

Практически школа девопса 😎

В России заблокировали VirusTotal — один из самых популярных сервисов для проверки подозрительных файлов и ссылок.

С 1 сентября пользователи из РФ начали жаловаться, что сервис перестал нормально работать. Причём проблемы наблюдаются не только с сайтом, но и с API.

За шо 🥲

Чтоб не зазнавался 😁

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).

Уже тогда она исследовала как нейросети могут обмениваться информацией внутри Доты 🍷