OpenAI публикува 722 математически ръкописа от вътрешен AI модел
Колекцията е организирана в 372 групи свързани резултати. Част от твърденията имат Lean формализации, но OpenAI и независима математическа група подчертават, че оценката тепърва предстои.
Споделете публикацията
OpenAI публикува голяма колекция от математически ръкописи и доказателствени материали, създадени от вътрешен изследователски AI модел.
Публичното хранилище съдържа 722 ръкописа, организирани в 372 семейства свързани резултати. Към част от тях има формализации в Lean и други материали за проверка, както и десет съкратени резюмета на разсъжденията на модела.
722 ръкописа не означават 722 независимо потвърдени пробива
Самото хранилище на OpenAI предупреждава, че материалите са на различни етапи на проверка и че някои от резултатите без формализация може да съдържат проблеми. Не всички ръкописи имат формално проверено основно твърдение.
Затова публикуването на колекцията трябва да се разглежда като начало на процеса по научна оценка, а не като автоматично приемане на всички твърдения от математическата общност.
Независимата AGMAI: предстои оценка от математическата общност
Advisory Group on Mathematics and Artificial Intelligence (AGMAI) посочва, че консултативната ѝ роля не представлява одобрение на резултатите или на начина, по който са получени. Според групата публикуването е първа стъпка, а действителното значение и коректността на резултатите трябва да бъдат оценени от математическата общност.
OpenAI посочва, че е използвала препоръките на независимата група при оформянето на начина на публикуване и е въвела правила за ревизии и цитиране на материалите.
Източници: OpenAI – Sharing AI progress in mathematics; openai/math – публичното хранилище; AGMAI – позиция от 6 октомври.
Илюстративна снимка: ABF / Wikimedia Commons, страница на файла, CC BY-SA 3.0. Изображението е изрязано и преоразмерено до 1200×675 px; обработената версия се използва под същия лиценз.
