OpenAI виклала 722 математичні роботи, створені її внутрішньою AI-моделлю
OpenAI опублікувала великий пакет математичних результатів, отриманих за допомогою поки що неназваної внутрішньої frontier-моделі.
Під час оцінювання моделі дали приблизно 4000 математичних задач. У результаті OpenAI опублікувала 722 рукописи, об’єднані у 372 сімейства результатів із різних областей математики. GitHub
У середньому на один результат витрачалося обчислювальних ресурсів приблизно як три години ChatGPT Pro thinking. Для частини робіт OpenAI також опублікувала формальні докази в Lean, які можна перевірити комп’ютером. Але формалізовані поки що не всі результати. GitHub
Серед робіт є результати щодо давно відкритих проблем — від теорії чисел і геометрії до математичної фізики та теоретичної інформатики. OpenAI окремо попереджає, що деякі нефомалізовані результати ще можуть містити помилки й будуть виправлятися в міру перевірки. GitHub
Публікація вже викликала дискусію серед математиків. Незалежна Advisory Group on Mathematics and Artificial Intelligence заявила, що викладення результатів у відкритий доступ — це лише початок: тепер математичній спільноті потрібно перевірити, зрозуміти та інтегрувати ці роботи у наукове знання. Група також раніше закликала AI-компанії дотримуватися академічних норм публікації та перевірки результатів. agmai.org
OpenAI Math на GitHub
#openai #ai #math #research #lean