Daily Digest - 26 мая 2026

Что объединяет гипотезу Пауля Эрдёша 1946 года, завод в Джорджии, открытый фонд OpenAtom и папскую энциклику? Один понедельник — и один главный герой. В математике AI впервые выступил соавтором открытия, а не инструментом: задача, которую поколения учёных не могли взять 80 лет, закрыта за один сеанс внутренней модели. На конвейере Hyundai он из пилотного проекта превращается в строку капитальных затрат — 25 000 гуманоидов с 2028 года. В Шэньчжэне становится инфраструктурным стандартом для робототехники. А в Ватикане вынуждает одного из своих создателей признать вслух: они сами с этим не справятся. На каждом из этих фронтов сдвиг одного рода — институты впервые догоняют технологию, а не наоборот.

ИИ OpenAI решил задачу Эрдёша - и это первое математическое открытие, сделанное машиной без поводыря

Внутренняя модель OpenAI нашла контрпример к гипотезе о плоских единичных расстояниях, которую Пауль Эрдёш сформулировал в 1946 году. Регулярные решётки точек, как считалось 80 лет, давали оптимум: оказалось, что для больших чисел точек это не так. На той же неделе Google DeepMind закрыл ещё 9 задач Эрдёша из того же кластера.

Лауреат Филдсовской премии Тимоти Гауэрс заявил, что рекомендовал бы публикацию работы в Annals of Mathematics «без малейших колебаний», и назвал её первым автономным результатом ИИ, который по-настоящему заинтересовал его как математика. Annals of Mathematics: главный математический журнал планеты, попасть туда сложнее, чем в Nature. Через несколько дней математик Уилл Сэвин ещё и улучшил найденный ИИ результат.

Дальше отрезвление. Улучшение, которое нашла модель, проявляется только при числе точек порядка 10^2000000, то есть на масштабах, где никакой физический мир не имеет смысла. Математикам пришлось самим вычленять контрпример из длинных транскриптов модели. Семь месяцев назад вице-президент OpenAI Кевин Вейл уже заявил, что GPT-5 закрыл 10 задач Эрдёша, но оказалось, что AI просто пересказал уже известные решения. Пост удалили после публичной критики Яна ЛеКуна и Демиса Хассабиса.

Даже отбросив техническую критику, получаем первый случай, когда AI сам, без подсказки и без проверки гипотезы, заданной человеком, нашёл новое математическое утверждение, которое признаёт сообщество. Это не «помощь учёным» и не «ускорение работы». Это новая роль: модель как соавтор открытия. Деньги придут позже, в фарму, в материаловедение, в криптографию, в любую дисциплину, где открытая задача стоит миллиардов.

Сооснователь Anthropic в Ватикане: «AI нельзя оставить только в руках техногигантов»

Крис Олах, сооснователь Anthropic и один из исследователей, заложивших интерпретируемость нейросетей, выступил на презентации энциклики Папы Льва XIV «Magnifica Humanitas»: первого папского документа, целиком посвящённого AI. Олах назвал текущий момент «пугающим» и сказал, что массовое вытеснение работников ИИ - реальный сценарий, а не страшилка. Если это произойдёт, помощь людям, по его словам, станет «моральным императивом исторического масштаба».

Дальше прозвучало то, что обычно говорят критики AI-компаний, а не их сооснователи. Олах признал, что AI-лаборатории испытывают систему стимулов и ограничений, которая порой противоречит интересам общества. Это редкий случай, когда руководитель одной из крупнейших AI-лабораторий публично говорит: мы сами с этим не справимся.

Контекст важен. На Ватиканской конференции по AI Anthropic оказался единственной крупной техкомпанией: остальные большие лаборатории и платформы туда не доехали. Олах сослался на свой опыт диалога более чем с 15 религиозными сообществами по этике технологий: это не разовый PR-выезд, это позиция, которая выстраивалась годами.

Когда сооснователь компании, обучающей самые мощные модели, призывает регулировать его собственную индустрию извне, это не лирика. Это сигнал инвесторам и регуляторам: внутри отрасли уже не верят, что рынок сам себя удержит. Для предпринимателей это означает, что AI-регуляция в ЕС, США и Великобритании будет ужесточаться быстрее, чем ожидалось. И что компании, которые научатся встраивать ответственность в архитектуру продукта, окажутся в выигрышной позиции на годы вперёд.

Hyundai вывела гуманоидов из лаборатории на конвейер: 25 000 Atlas на американских заводах

Hyundai Motor Group объявила, что развернёт более 25 000 гуманоидов Atlas на своих заводах в США. Целевая мощность: 30 000 единиц в год к 2028 году. Первый серийный выпуск стартует в 2028-м на заводе Hyundai Metaplant America в Джорджии, в 2029-м к нему подключится завод Kia в той же Джорджии. Для производства комплектующих корейцы планируют выпускать на американских мощностях более 300 000 актуаторов в год: это «суставы и мышцы» робота. Сборка Atlas остаётся за дочерней компанией Hyundai, Boston Dynamics.

Структурно компания подходит к этому всерьёз. Hyundai создала три новых подразделения сразу: SDF Promotion Division под руководством Алпеша Пателя, Robotics Parts Procurement Division под Со Хён-соном и Global Trade Strategy Division. Hyundai Mobis ведёт разработку 6 ключевых компонентов Atlas для их серийного производства. Концепция Software-Defined Factory означает завод, где производство, качество и логистика управляются единым программным слоем под управлением AI.

Тарифное давление - невидимый драйвер. В прошлом году Hyundai и Kia потеряли около 7,2 трлн вон, или $4,8 млрд, на тарифах. Перенос производства в США закрывает эту дыру, но автоматизация - единственный способ сделать локальное производство прибыльным. Каждый Atlas - это рабочее место, которое не будет создано в Джорджии.

Когда крупнейший автопроизводитель планирует тысячи гуманоидов на конвейере и одновременно строит собственную цепочку поставок их комплектующих, это уже не пилот, не PR и не венчурная история. Это новая капиталоёмкая индустрия, которая не нуждается в венчурном финансировании: её строит автогигант мирового масштаба. Boston Dynamics из техно-демонстрации превращается в производственный актив, а гуманоидный робот — в строку капитальных расходов в годовом отчёте автоконцерна.

Китай запустил открытую ОС для роботов: попытка повторить Android-сценарий для гуманоидов

Компания Kaihong Digital из Шэньчжэня представила M-Robots OS 2.0: операционную систему для роботов на базе OpenHarmony. Заявленные цифры серьёзные: M-DDS даёт задержку аудио и видео 4 мс, на 42% ниже, чем у Fast-DDS, текущего стандарта в робототехнике. Совместимость с ROS1, ROS2 и Dora-rs снижает стоимость миграции для разработчиков примерно на 80%. ОС поддерживает более 20 категорий устройств: от двуногих гуманоидов и квадропедов до промышленных дронов. Диапазон железа: от встраиваемых систем на 20 КБ памяти до промышленных роботов гигабайтного масштаба.

Структурно история выглядит так: в ноябре 2025 года систему передали в открытый фонд OpenAtom, под которым работает 16 специализированных рабочих групп. Экосистему уже собирают вокруг себя более 30 организаций: Харбинский технологический институт, Пекинский технологический университет, компании D-Robotics и Creality 3D. Это калька с Android-сценария: Google в своё время передал Android в Open Handset Alliance, тем самым превратив платформу в индустриальный стандарт. Передача под OpenAtom также отвязывает проект от Huawei и снижает санкционные риски: формально это уже не китайская корпоративная ОС, а открытый код.

В России мы привыкли к мысли, что роботы - это железо. Кто соберёт лучшую руку, тот и выиграет. Но в мобильных устройствах в нулевые так и думали, пока Google не показал, что софт важнее. Гуманоидный робот без ОС - это пластиковая кукла. ОС, на которой работают разные категории роботов от разных производителей, - это инфраструктурный слой, через который потом идут все приложения, сервисы и обновления.

Если M-Robots OS станет фактическим стандартом, китайские производители получат то же преимущество, что Samsung и Xiaomi на рынке смартфонов: софт бесплатно, разработка ускоряется, а маржу можно отжимать на железе. Западные игроки в робототехнике окажутся перед выбором: либо строить собственную закрытую вертикаль, либо принимать чужой стандарт. Раунды финансирования в робототехнике в ближайшее время будут смотреть именно на этот вопрос.

От теоремы 1946 года — к заводскому цеху, от цеха — к инфраструктурному стандарту, от стандарта — к Ватикану, где один из создателей признаёт: мы сами не справимся. Каждый следующий шаг шире предыдущего — и все произошли за 24 часа. Это не ускорение. Это смена масштаба.

Этот материал подготовлен командой AI-агентов AravanaAI и проверен главным редактором.