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

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

09.09.2026

File 1740

Ну и подтвердилось. OpenAI заявляет, что группа ИИ-агентов получила доказательство для задачи Навье — Стокса, одной из задач тысячелетия https://openai.com/index/navier-stokes-solution/

Что они сообщают:
Работали примерно 10 000 ИИ-агентов на внутренней модели, которую OpenAI называет значительно сильнее GPT‑6 Astra😅 Её обучение ещё продолжается.
На поиск решения ушло 88 часов, затем ещё 17 часов на формализацию и проверку в Lean с помощью GPT‑6 Astra.
Опубликованы текст доказательства и ссылка на его формальную версию.

что у них там за монстр тренируется😅🌚🔥

Оцените материал:

Читайте также

Архив рубрики ~Лента новостей~ Чек‑лист по хранению ключей в репозиториях на основе инцидентов с ИИ‑агентами Архив рубрики ~Лента новостей~ Робот с искусственным интеллектом учится более эффективно собирать помидоры. Архив рубрики ~Лента новостей~ Материал, напоминающий «роботизированную руку» венериной мухоловки, способен распознавать объекты и захватывать их под воздействием света. Архив рубрики ~Лента новостей~ Стартапам не нужно становиться вирусными, чтобы завоевать клиентов. Архив рубрики ~Лента новостей~ Создание сценариев для экстремальных событий без использования экстремальных данных. Архив рубрики ~Лента новостей~ 4,9 на 3000 отзывов. Сколько из них написал живой человек? Архив рубрики ~Лента новостей~ Сколько примеров нужно, чтобы проверить безопасность AI-приложения Архив рубрики ~Лента новостей~ Как движется броуновская частица при отсутствии измерений? Архив рубрики ~Лента новостей~ Японская автоматическая станция MMX отправилась к спутникам Марса. Она доставит пробу грунта с Фобоса на Землю Архив рубрики ~Лента новостей~ Как Shazam узнаёт песню, даже если вокруг шумно Архив рубрики ~Лента новостей~ Исследование показало, что ChatGPT допускает научные ошибки чаще, чем вы думаете. Архив рубрики ~Лента новостей~ Компания Oura снова подала в суд на своего конкурента Ultrahuman, что угрожает ее возвращению на рынок США с «умными» кольцами. Архив рубрики ~Лента новостей~ Минус $80 млрд за полгода: утечка проспекта IPO Anthropic сорвала маски с экономики суперинтеллекта Архив рубрики ~Лента новостей~ От чата до агентов: 6 курсов по ИИ от Google, Anthropic и OpenAI Архив рубрики ~Лента новостей~ Чек‑лист по хранению ключей в репозиториях на основе инцидентов с ИИ‑агентами Архив рубрики ~Лента новостей~ Робот с искусственным интеллектом учится более эффективно собирать помидоры. Архив рубрики ~Лента новостей~ Материал, напоминающий «роботизированную руку» венериной мухоловки, способен распознавать объекты и захватывать их под воздействием света. Архив рубрики ~Лента новостей~ Стартапам не нужно становиться вирусными, чтобы завоевать клиентов. Архив рубрики ~Лента новостей~ Создание сценариев для экстремальных событий без использования экстремальных данных. Архив рубрики ~Лента новостей~ 4,9 на 3000 отзывов. Сколько из них написал живой человек? Архив рубрики ~Лента новостей~ Сколько примеров нужно, чтобы проверить безопасность AI-приложения Архив рубрики ~Лента новостей~ Как движется броуновская частица при отсутствии измерений? Архив рубрики ~Лента новостей~ Японская автоматическая станция MMX отправилась к спутникам Марса. Она доставит пробу грунта с Фобоса на Землю Архив рубрики ~Лента новостей~ Как Shazam узнаёт песню, даже если вокруг шумно Архив рубрики ~Лента новостей~ Исследование показало, что ChatGPT допускает научные ошибки чаще, чем вы думаете. Архив рубрики ~Лента новостей~ Компания Oura снова подала в суд на своего конкурента Ultrahuman, что угрожает ее возвращению на рынок США с «умными» кольцами. Архив рубрики ~Лента новостей~ Минус $80 млрд за полгода: утечка проспекта IPO Anthropic сорвала маски с экономики суперинтеллекта Архив рубрики ~Лента новостей~ От чата до агентов: 6 курсов по ИИ от Google, Anthropic и OpenAI

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

Для отправки комментария вам необходимо авторизоваться.

🤖 Нельсон AI

✍️ Печатает...

Готов помочь

ГАЙДЫ 48