Архив рубрики ~Коротко из Telegram~

Ну и подтвердилось. OpenAI заявляет, что группа ИИ-агентов получила доказательство…

Ну и подтвердилось. OpenAI заявляет, что группа ИИ-агентов получила доказательство…
File 1740

Ну и подтвердилось. 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 Архив рубрики ~Лента новостей~ Психоделики выявляют иммунные маркеры, связанные с быстрым облегчением депрессии.

Оставить комментарий