Ну и подтвердилось. OpenAI заявляет, что группа ИИ-агентов получила доказательство…
Ну и подтвердилось. OpenAI заявляет, что группа ИИ-агентов получила доказательство для задачи Навье — Стокса, одной из задач тысячелетия https://openai.com/index/navier-stokes-solution/
Что они сообщают:
Работали примерно 10 000 ИИ-агентов на внутренней модели, которую OpenAI называет значительно сильнее GPT‑6 Astra😅 Её обучение ещё продолжается.
На поиск решения ушло 88 часов, затем ещё 17 часов на формализацию и проверку в Lean с помощью GPT‑6 Astra.
Опубликованы текст доказательства и ссылка на его формальную версию.
что у них там за монстр тренируется😅🌚🔥
Похожие записи
Оцените материал:
Поделиться
Понравилась статья? Расскажите другим
Архив рубрики ~Лента новостей~
Выпускники Google DeepMind разрабатывают инструменты для ускорения внедрения термоядерной энергетики в энергосистему.
Архив рубрики ~Лента новостей~
Представляем ChatGPT Images 2.5 | OpenAI
Архив рубрики ~Лента новостей~
Новая услуга скрининга CRISPR, канналила Calla Lily присоединяется к программе Wellcome Leap, колледж Бейлора создаст центр трансплантации ксеноливеров.
Архив рубрики ~Лента новостей~
Личный ИИ-помощник в Telegram, которому не нужно каждый раз объяснять всё заново
Архив рубрики ~Лента новостей~
Моя первая статья на VentureBeat называлась «Вудсток искусственного интеллекта». Последняя — о покупке компанией Nvidia компании Hugging Face за 12,9 миллиарда долларов.
Архив рубрики ~Полезное~
Вайбкодеры, режем расходы Claude Code почти на 90% — Spotify…
Архив рубрики ~Полезное~
Забиваем на интернет — запускаем целый ИИ-комбайн прямо с флешки….
Архив рубрики ~Лента новостей~
Видеотека как база знаний: проверяем пять сценариев с TeamStream MCP
Архив рубрики ~Полезное~
Кодеры, забираем небольшого ИИ-помощника по программированию — Mini Swe Agent…
Новости робототехники
Гуманоидные роботы впервые устроили бой без участия человека — их…
Архив рубрики ~Лента новостей~
Новые исследования показывают, что выращенный на фермах лосось может быть не таким питательным, как раньше.
Архив рубрики ~Обо всем~
Вот список всех магазинов, в которых сейчас есть Nintendo Switch 2 в наличии.
Архив рубрики ~Лента новостей~
О проблеме присуждения премии тысячелетия по уравнению Навье-Стокса | OpenAI
Архив рубрики ~Лента новостей~
Психоделики выявляют иммунные маркеры, связанные с быстрым облегчением депрессии.
Архив рубрики ~Лента новостей~
Выпускники Google DeepMind разрабатывают инструменты для ускорения внедрения термоядерной энергетики в энергосистему.
Архив рубрики ~Лента новостей~
Представляем ChatGPT Images 2.5 | OpenAI
Архив рубрики ~Лента новостей~
Новая услуга скрининга CRISPR, канналила Calla Lily присоединяется к программе Wellcome Leap, колледж Бейлора создаст центр трансплантации ксеноливеров.
Архив рубрики ~Лента новостей~
Личный ИИ-помощник в Telegram, которому не нужно каждый раз объяснять всё заново
Архив рубрики ~Лента новостей~
Моя первая статья на VentureBeat называлась «Вудсток искусственного интеллекта». Последняя — о покупке компанией Nvidia компании Hugging Face за 12,9 миллиарда долларов.
Архив рубрики ~Полезное~
Вайбкодеры, режем расходы Claude Code почти на 90% — Spotify…
Архив рубрики ~Полезное~
Забиваем на интернет — запускаем целый ИИ-комбайн прямо с флешки….
Архив рубрики ~Лента новостей~
Видеотека как база знаний: проверяем пять сценариев с TeamStream MCP
Архив рубрики ~Полезное~
Кодеры, забираем небольшого ИИ-помощника по программированию — Mini Swe Agent…
Новости робототехники
Гуманоидные роботы впервые устроили бой без участия человека — их…
Архив рубрики ~Лента новостей~
Новые исследования показывают, что выращенный на фермах лосось может быть не таким питательным, как раньше.
Архив рубрики ~Обо всем~
Вот список всех магазинов, в которых сейчас есть Nintendo Switch 2 в наличии.
Архив рубрики ~Лента новостей~
О проблеме присуждения премии тысячелетия по уравнению Навье-Стокса | OpenAI
Архив рубрики ~Лента новостей~
Психоделики выявляют иммунные маркеры, связанные с быстрым облегчением депрессии.
Похожие записи
Архив рубрики ~Коротко из Telegram~
MFA не поможет Если вам всегда казалось, что двухфакторная аутентификация…
09.09.2026
Архив рубрики ~Коротко из Telegram~
Кинопоиск станет основной ТВ-платформой Билайна Пользователи сервиса «попкорн.билайн» получат доступ…
09.09.2026
Архив рубрики ~Коротко из Telegram~
Еще о новинках в гаджетах В Китае представлен широкий, монолитный…
09.09.2026Присоединяйтесь и подпишитесь на рассылку самых свежих новостей по Email
Получайте свежие новости и идеи на почту. Без спама — только самое интересное.
Нажимая «Подписаться», вы соглашаетесь с политикой конфиденциальности.
