10,000 ИИ-АГЕНТОВ РЕШИЛИ ПРОБЛЕМУ ТЫСЯЧЕЛЕТИЯ
OpenAI заявила , что около 10,000 ИИ-агентов за 88 часов нашли решение проблемы Навье—Стокса — одной из семи задач тысячелетия.
А GPT-6 Astra потратила ещё 17 часов, чтобы формализовать и проверить доказательство в Lean. Всего агенты отправили 2,7 млн сообщений и сгенерировали около 130 млрд токенов только во время работы над этой задачей.
Правда, математики уже спорят о корректности и независимости результата. OpenAI говорит, что доказательство было получено независимо.
Больше новостей и подарков в TG ТЕЛЕМЕМ ⭐️
OpenAI заявила , что около 10,000 ИИ-агентов за 88 часов нашли решение проблемы Навье—Стокса — одной из семи задач тысячелетия.
А GPT-6 Astra потратила ещё 17 часов, чтобы формализовать и проверить доказательство в Lean. Всего агенты отправили 2,7 млн сообщений и сгенерировали около 130 млрд токенов только во время работы над этой задачей.
Правда, математики уже спорят о корректности и независимости результата. OpenAI говорит, что доказательство было получено независимо.
Больше новостей и подарков в TG ТЕЛЕМЕМ ⭐️