OpenAI оголосила про три наукові відкриття та нову академічну співпрацю

OpenAI каже, що має ще три великі відкриття в математиці, інформатиці та фізиці, менш ніж через місяць після публікації сотень рукописів із, за її словами, розв’язками давніх математичних питань. Зовнішні експерти-провідники скеровують результати з інформатики та фізики, а щодо математики OpenAI каже, що їй порадили оприлюднити висновки AI для самостійних пояснень дослідників.

Результати з математики та фізики

Сьогодні OpenAI оприлюднила на GitHub результати, зокрема доведення локального згладжування для евклідового хвильового рівняння. Воно використовує допоміжне рівняння в частинних похідних для встановлення локального згладжування Sogge для хвиль у кожній просторовій вимірності щонайменше два, а також дає максимальну гіпотезу Kakeya і гіпотезу про розмірність та оцінки сферичного обмеження Stein у межах передбачуваного діапазону. OpenAI каже, що модель довела гіпотезу локального згладжування в кожній вимірності, розв’язавши гіпотезу Kakeya та гіпотезу обмеження Stein у всіх вимірностях. Фізичні дані не оприлюднено повністю, але OpenAI описує їх як суворе доведення існування певних взаємодіючих квантових теорій поля з калібрувальними полями та ферміонами в чотирьох вимірностях, зокрема квантової хромодинаміки та уніфікованого завершення Стандартної моделі. David Gross очолить групу з Michael Douglas, Arthur Jaffe, Igor Klebanov і Nikita Nekrasov, щоб супроводжувати роботу.

Результат з інформатики

Результат з інформатики стверджує, що гіпотеза експоненційного часу, яку широко вважали істинною, хибна. Стаття наводить детермінований алгоритм, який точно підраховує задовольняльні призначення формул CNF фіксованої ширини за субекспоненційний час і поліноміальний простір, а 3-SAT спростовує гіпотезу. Незалежна група під керівництвом Russell Impagliazzo, Ramamohan Paturi і Ryan Williams перевірить і пояснить доведення, і на її прохання OpenAI негайно оприлюднила матеріали. Група оприлюднила на GitHub виклад висновків AI і доведення Lean, а також відкритого листа із проханням надати думки про перевірку твердження і норми для проривів, згенерованих AI.

Дебати щодо практик оприлюднення

OpenAI визнає, що підхід може мати проблеми. Панель математичних радників AGMAI, яку зібрала OpenAI, учора заявила, що рекомендує AI-компаніям не давати певним людям результати першими через нерівний доступ, позичену репутацію та упереджений відбір. Натомість панель рекомендувала майбутнім AI-лабораторіям оприлюднювати результати в наукових репозиторіях, з доведеннями в Lean, інформацією про вибір задач, фінансуванням для тих, хто працює над розумінням результатів, та іншими даними. Відкритий лист порушує питання раннього доступу до результатів AI, розкриття конфліктів інтересів, використання неопублікованих матеріалів, визнання внеску в нові відкриття і в перевірку, виправлення, спрощення, пояснення та розширення, а також підтримки студентів і дослідників в умовах зміни методів і напрямів із збереженням розуміння й судження. OpenAI також надає 5 мільйонів доларів, щоб допомогти математикам осмислити дослідження AI.

Контекст

Лише кілька місяців тому професорці NYU Hong Wang було присуджено медаль Філдса Міжнародним математичним союзом за розв’язання гіпотези Kakeya у трьох вимірностях. Попередній випуск OpenAI від 6 жовтня згадується в новому математичному результаті, а компанія раніше оприлюднила сотні рукописів, які, за її словами, містили розв’язки давніх математичних питань.

Джерела: The Verge · Techmeme