OpenAI оприлюднила сотні математичних результатів, які ще мають перевірити

09.10.2026, 22:42 processer.media

OpenAI оприлюднила майже 400 згенерованих штучним інтелектом математичних результатів, представлених у понад 700 рукописах із комбінаторики, геометрії, теорії чисел, алгебри, топології, теоретичної інформатики, ймовірностей, статистичної механіки та математичної фізики. Як повідомляє The Verge, математики вважають, що на осмислення та перевірку цього масиву роботи можуть піти роки.

Репозиторій OpenAI містить інструкції з навігації через великий обсяг матеріалів. Деякі результати супроводжуються формалізаціями мовою Lean — програмною мовою та асистентом доведень, що дозволяє комп'ютерно перевіряти логічну коректність доказів. Водночас компанія вказала, що роботи перебувають на різних стадіях верифікації і формалізовано далеко не всі рукописи.

OpenAI заявила, що формалізувала 300 основних результатів із 719 рукописів — приблизно 42%. Математики наголошують: навіть наявність коду Lean не означає миттєвої оцінки, оскільки фахівці мають встановити, чи доводить формалізація саме ті твердження, які заявлені в тексті роботи.

Професор Імперського коледжу Лондона Кевін Баззард, який працює в алгебраїчній теорії чисел, повідомив, що серед теорем у своїй галузі він виокремив лише близько шести, а мало хто з них, схоже, мав формальну верифікацію. Інші дослідники також звертали увагу на складність викладу, короткі бібліографії окремих праць та можливі проблеми з атрибуцією попередніх досліджень.

Станом на 8 жовтня перелік матеріалів уже містив численні виправлення: до понад десятка рукописів внесли зміни, а три роботи вилучили через помилку в знаку, яка, за повідомленням OpenAI, робила аргументацію недійсною.

Попри застереження щодо якості оформлення та перевірки, співрозмовники видання побачили серед оприлюдненого матеріалу роботи високого рівня. Математик зі Стенфорда Джаред Дюкер Ліхтман сказав, що таких результатів можуть бути десятки; серед них він назвав поступ у напрямі гіпотези Рімана, окремий випадок гіпотези Ходжа та розв'язання чотиривимірної задачі Какеї.

Дослідники також повідомляли про суттєвий вплив релізу на їхні плани та грантові заявки. Професорка Університету Сент-Ендрюс Колва Роні-Дуґал розповіла, що знає колег, чиї заявки на гранти втратили актуальність, а математик Нью-Йоркського університету Трістан Бакмастер чув щонайменше про трьох людей, чиї дослідницькі програми, за його словами, були фактично зруйновані.

OpenAI співпрацювала з Advisory Group on Mathematics and Artificial Intelligence щодо принципів відповідального оприлюднення таких результатів. Компанія також повідомила про намір профінансувати серію семінарів і конференцій, щоб наукова спільнота могла опрацювати її математичні роботи, але подробиць і термінів не навела.

Читати повністю…