ИИ-агенты Axiom Math завершили формализацию доказательства самой длинной теоремы в истории математики. Работа проводилась с использованием специализированных алгоритмов и систем проверки. Доказательство охватывает несколько тысяч страниц и требует сложной проверки.
Генеральный директор «Бриджстоуна» Ясухиро Морита прокомментировал контракт с Формулой-Е на два сезона. Он высказал желание вернуться в Формулу-1.
Медиалогия опубликовала рейтинги самых цитируемых СМИ по итогам сентября 2026 года. «Коммерсантъ» возглавил рейтинг самых цитируемых в соцмедиа газет. «Ъ» по цитируемости в социальных медиа занял первое место, а по цитируемости в СМИ — второе.
Роберт Шварцман объяснил переход в «Пежо» для участия в WEC-2027. Гонщик не управлял гоночной машиной больше года. Он подписал контракт на сезон-2027.
Заместитель мэра Москвы Анастасия Ракова рассказала о роли ИИ в борьбе с инсультами и инфарктами. Она отметила развитие столичной системы ранней диагностики и помощи при сердечно-сосудистых заболеваниях. Анализ данных помогает выявлять факторы риска.
Морской дрон «Посейдон» способен уничтожать площадные цели на побережье противника. Он стал частью ВМФ России, усиливая его подводные силы. Об этом сообщается в официальных материалах.
Дэмьен Лиллард прокомментировал технические фолы за флоппинг, которые трижды были назначены арбитрами в матче с «Лос-Анджелес Лейкерс» (136:129). Игрок отметил, что должно быть что-то значительное в этом случае.
Александр Волков, второй номер рейтинга UFC в тяжёлом весе, уверен, что может победить любого бойца из ростера тяжёлого веса. Он заявил, что способен сделать это легко и с улыбкой.
США выдали патент на российскую ИИ-технологию Smart Engines, которая распознает паспорта на границах России. Система позволяет идентифицировать документы, выявлять подделки и сопоставлять лицо с фото в паспорте без хранения биометрических данных.
Тейлор Фриц, 13-я ракетка мира, вышел во второй круг ATP-500 в Базеле. Он победил в первом круге и продолжает участие в турнире.
Беньямин Шешко травмировал голень и выбыл из строя на длительный срок. Игрок «Манчестер Юнайтед» не вернётся раньше января.
Проект АЭС "Эль-Дабаа" в Египте прошел проверку на прочность, заявил Лихачев. Санкции и отказы западных компаний сказались на темпах строительства, однако некоторые компании продолжили участие в проекте.
Джа Морант сообщил, что «Портленд Трэйл Блэйзерс» использовал определённую установку против «Лейкерс» в матче 136:129. Он рассказал о стратегии команды на игру с «Лос-Анджелес Лейкерс».
