OpenAI выложила на GitHub 722 математических манускрипта, сгенерированных ИИ
Mathematical manuscripts and supporting proof artifacts produced by OpenAI
OpenAI опубликовала на GitHub коллекцию из 722 математических манускриптов, сгруппированных в 372 семейства. Большинство результатов получено с помощью невыпущенной внутренней модели OpenAI, на каждый ушло в среднем три часа вычислений ChatGPT Pro. Модели было предложено около 4000 задач. Не все результаты имеют формализацию на Lean; часть может содержать ошибки, которые обещают исправлять. Также опубликованы сокращённые описания рассуждений модели для некоторых семейств.
Некоторые неформализованные результаты могут содержать ошибки. Мы постараемся быстро исправить любые подобные проблемы.