OpenAI е освободен голяма колекция от математически изследвания, произведени от вътрешна граница AI модел, включително работа по проблеми, които са предизвикали професионални математиците в продължение на години.
Компанията обяви освобождаването на 6 октомври, заявявайки, че резултатите обхващат широк спектър от математика и се публикуват открито за проверка от изследователи.
Обществената колекция съдържа 722 ръкописа, организирани в 372 семейства, свързани с резултати, според общността на разработчиците на OpenAI. Работата се появи от оценка, включваща приблизително 4000 математически проблеми.
Verge съобщава, че колекцията обхваща стотици математически резултати, генерирани от неиздаден граничен модел. Но публикуването не означава, че всяко твърдение трябва незабавно да се третира като установен математически факт. Изследователите ще трябва да изследват доказателствата и да определят значението и новостта на отделните резултати.
Една от особено значимите функции е, че OpenAI е предоставила формализации на много доказателства с помощта на Lean, програмен език, който позволява математически доказателства да бъдат проверени от компютър. Компанията казва, че с течение на времето ще бъдат добавени допълнителни формалности.
OpenAI също така разкри поразителна мярка на участващите компютри. Средно всеки резултат изисква изчисления, еквивалентни на приблизително три часа ChatGPT Професионално мислене, използвайки вътрешния модел.
Освобождаването следва все по-драматични твърдения за AI способността да допринесе за математиката. През септември OpenAI заяви, че същите по-широки изследователски усилия са решени повече от 100 дългогодишни открити проблеми, подтиквайки компанията да работи с независима група от видни математиците за това как тези открития трябва да бъдат преразгледани и съобщени.
Тази консултативна група включва математиците от институции, включително Станфорд, Харвард, Оксфорд, Кеймбридж, Бъркли и Института за напреднали изследвания. Нейната роля не е просто да одобри работата на OpenAI, а да съветва самостоятелно значението, стандартите за научни изследвания и отговорно разкриване.
По-големият въпрос сега отива отвъд дали AI може да отговори на трудни въпроси математика.
Ако независими математиците в крайна сметка проверяват значителни части от тази работа, новата граница може да бъде дали AI може рутинно да открие математика, че хората вече не знаят.