✴️ OpenAI заявляет, что группа ИИ-агентов получила доказательство для задачи Навье — Стокса, одной из задач тысячелетия
Что они сообщают:
Работали примерно 10 000 ИИ-агентов на внутренней модели, которую OpenAI называет значительно сильнее GPT‑6 Astra😅 Её обучение ещё продолжается.
На поиск решения ушло 88 часов, затем ещё 17 часов на формализацию и проверку в Lean с помощью GPT‑6 Astra.
Опубликованы текст доказательства и ссылка на его формальную версию.
При одинаковых затратах вычислений новая модель решает примерно в 2,5–3 раза больше задач чем Astra: около 38% против 14%.
Ходят слухи что Антропик готовят ответ Astra к концу сентября, но кажется этого будет недостаточно
🌐 сайт: codexsale
💬 чат вайбкодеров
🛠 cтудия разработки IT: APK,Сайты,Софты,Боты
Что они сообщают:
Работали примерно 10 000 ИИ-агентов на внутренней модели, которую OpenAI называет значительно сильнее GPT‑6 Astra😅 Её обучение ещё продолжается.
На поиск решения ушло 88 часов, затем ещё 17 часов на формализацию и проверку в Lean с помощью GPT‑6 Astra.
Опубликованы текст доказательства и ссылка на его формальную версию.
При одинаковых затратах вычислений новая модель решает примерно в 2,5–3 раза больше задач чем Astra: около 38% против 14%.
Ходят слухи что Антропик готовят ответ Astra к концу сентября, но кажется этого будет недостаточно
🌐 сайт: codexsale
💬 чат вайбкодеров
🛠 cтудия разработки IT: APK,Сайты,Софты,Боты