07.10.2026 16:54:24
| iXBT.com
OpenAI опубликовала в публичном GitHub-репозитории 722 математических результата, полученных внутренней топ-моделью компании. Многие доказательства формализованы на языке Lean — системе, где каждая логическая цепочка проверяется компьютером.
Читайте также
-
Google закупил атомной энергии на 20 лет вперёд: 890 МВт с шести старых реакторов, ни одного нового здания
07.10.2026 16:51:06 | iXBT.com
Самый дешёвый вариант играть в современные игры PlayStation. Sony готовит новую портативную консоль, и это может быть PlayStation Portal OLED
07.10.2026 16:34:52 | iXBT.com
Intel готовит новые процессоры Core 2000HX. Но это будут те же самые привычные Raptor Lake в новой обёртке
07.10.2026 16:26:41 | iXBT.com
Флорида подала в суд на TP-Link из-за безопасности роутеров и предполагаемых связей с Китаем
07.10.2026 16:04:49 | iXBT.com
Швейцарские ножи Victorinox получат дополнение, которого им не хватало больше 130 лет
07.10.2026 15:54:53 | TechCult.ru
МТС обошла «Ростелеком», «Билайн» и «МегаФон» по уровню технологического развития — исследование J’son & Partners
07.10.2026 15:49:41 | iXBT.com
Достаточно одной идеи: Google запустила Playground для создания игр с помощью ИИ
07.10.2026 15:27:35 | iXBT.com
Российская «Кибергазель» с вечным кузовом получила салон в духе Tesla: опубликовано первое фото салона электрического фургона «Руссо-Балт» Ф20
07.10.2026 15:24:45 | iXBT.com
«Кубик» размером 3 см с мощностью 65 Вт и бордовый цвет как у iPhone 18 Pro. Компактный блок питания Ugreen Nexode Air 65W оценили в $40
07.10.2026 15:10:34 | iXBT.com
Банк России допустил Сбер, ВТБ и «Т-Технологии» к операциям с криптовалютами
07.10.2026 14:53:52 | iXBT.com
Стилер RedWing атакует клиентов банков России, Узбекистана и Казахстана
07.10.2026 14:41:57 | iXBT.com
Российский авиалайнер Superjet-100 получит отечественные сервоприводы руля высоты, руля направления, элеронов и интерцепторов
07.10.2026 14:34:59 | iXBT.com
Google прокачала Nano Banana: ИИ стал точнее редактировать изображения
07.10.2026 14:28:41 | iXBT.com
Популярный кроссовер Geely EX5 EM-i получит полный привод в России, названа ориентировочная цена
07.10.2026 14:20:44 | iXBT.com
SpaceX получила разрешение на запуск 15 000 спутников для Starlink Mobile: скорость связи увеличится в 40 раз — до 150 Мбит/с
07.10.2026 13:58:35 | iXBT.com
Парящие колонки Chimera дадут совершенно новые ощущения от привычных игр
07.10.2026 13:48:55 | TechCult.ru
Представлен Asus NUC 14 Essential Fanless — бесшумный мини-ПК с 8-ядерным процессором Intel
07.10.2026 13:47:36 | iXBT.com
Влажная уборка с ИИ: в России стартовали продажи роботов-пылесосов Xiaomi Robot Vacuum 6
07.10.2026 13:24:57 | iXBT.com
WSJ: хакеры с помощью ИИ-агента атаковали крупнейшие банки Южной Кореи
07.10.2026 13:15:59 | Ведомости
игантский люксовый авиалайнер Airbus A380 получил самый большой бизнес-класс в мире — он занимает целый этаж
07.10.2026 13:05:43 | iXBT.com
Panasonic планирует начать производство человекоподобных роботов к 2029 году
07.10.2026 13:02:10 | Ведомости
«Жемчужные нити» на месте взрыва 1181 года: астрономы засняли уникальный остаток сверхновой в Млечном Пути
07.10.2026 12:30:51 | iXBT.com
Verbatim выпустила аккумуляторы AA и AAA со встроенной зарядкой USB-C
07.10.2026 12:27:58 | iXBT.com
Google и OpenAI требуют от Австралии обойти авторское право: «иначе развитие ИИ невозможно»
07.10.2026 12:27:07 | iXBT.com
Airbus отгрузил первую партию спутников OneWeb нового поколения: 32 аппарата готовятся к запуску в США
07.10.2026 12:24:06 | iXBT.com
А начиналось всё с батареек: Panasonic наладит выпуск человекоподобных роботов
07.10.2026 12:23:28 | iXBT.com
Американский стартап Reflection AI представил открытую ИИ-модель уровня флагманов Китая
07.10.2026 12:16:41 | iXBT.com
«Смиритесь»: Сэм Альтман заявил, что общество должно терпеть вред от ИИ ради выгоды
07.10.2026 12:13:46 | iXBT.com
Bank of America: инвесторы перегрели ИИ и зря списали потребителя со счетов
07.10.2026 12:01:01 | iXBT.com
5G-гексакоптер: МТС отправит в регионы первые аэромобильные комплексы для связи
07.10.2026 11:51:51 | iXBT.com
Apple заставляет разработчиков адаптироваться к iPhone Duo: в противном случае обновления выпускаться не будут
07.10.2026 11:50:00 | iXBT.com
ЛЕНТА
-
От одного компьютера до глобальной эпидемии: как WannaCry распространялся по сети
09.10.2026 00:15:39 | Хабр
Я — Катя Голубева: история русской жены режиссера Каракса, трагический финал которой до сих пор загадка
09.10.2026 00:00:00 | Woman.ru
Теплый салат с мидиями и белой фасолью, пошаговый рецепт с фото на 246 ккал
08.10.2026 23:53:00 | ГАСТРОНОМЪ
19-летняя звезда Кай Гетц удивил признанием о личной жизни, Мила Ершова собрала все комплименты на премьере «Мой друг — ИИ»
08.10.2026 23:16:58 | Woman.ru
Как звезда «Покровских ворот» Марина Дюжева сбежала от сына дипломатов к каскадеру и выиграла счастье
08.10.2026 22:00:00 | Woman.ru
В МГУ назвали восстановление стволовых клеток подходом против ожирения
08.10.2026 21:59:24 | ferra.ru
ГОЗ после 1 января 2027: от раздельного учёта к доказуемому исполнению контракта
08.10.2026 20:29:24 | Хабр
Смартфоны Samsung Galaxy S24 тоже получили стабильную версию One UI 9
08.10.2026 20:18:06 | ferra.ru
США приостановят участие Microsoft, Adobe и некоторых других крупных ИТ-компаний в программе, позволяющей их иностранным работникам получать грин-карты
08.10.2026 19:45:23 | vc.ru
Черная дыра искусственного интеллекта: почему инфраструктура стала главным барьером развития отрасли?
08.10.2026 19:22:43 | Хабр
Как выбрать имя ребенку: самые красивые имена, сочетающиеся с отчеством
08.10.2026 19:15:12 | Woman.ru
В Санкт-Петербурге создали ИИ для восстановления поврежденных архивов
08.10.2026 18:44:53 | ferra.ru
Сколько времени нужно непрограммисту, чтобы сделать приложение с сервером, офлайн‑режимом и SEO
08.10.2026 18:35:52 | Хабр
Сколько времени нужно непрограммисту, чтобы сделать приложение с сервером, офлайн-режимом и SEO
08.10.2026 18:35:52 | Хабр
ПИШИТЕ
Техническая поддержка проекта ВсеТут