Останнє
Повідомлення про те, що моделі OpenAI розв’язують великі математичні задачі, вказують на глибшу проблему: генерування доказів дешевшає, тоді як перевірка, атрибуція й публікація досі рухаються з людською швидкістю.
Усі публікації
Юридичний запуск OpenAI стосується не стільки нової базової моделі, скільки системи навколо неї: доменного пошуку, надійних інструментів, дозволів, бенчмарків і шляхів перевірки.
OpenAI заявляє, що AI-агенти знайшли сингулярність у рівняннях Нав’є–Стокса й формалізували доказ у Lean. Складніша історія — що буде далі: рецензування, визнання внеску та сила приватних роїв агентів у математиці.
