Понад 100 фундаментальних відкриттів за місяць: OpenAI створила незалежну раду математиків

Невдовзі після розв'язання «задачі тисячоліття» — рівняння Нав'є-Стокса — OpenAI оголосила про створення незалежної Консультативної групи з питань математики та штучного інтелекту після того, як її нова внутрішня модель, за твердженням компанії, розв'язала понад 100 давніх відкритих математичних задач. До ради увійшли дев'ять математиків із Гарварда, Стенфорда, Оксфорда та інших провідних наукових установ. Група консультуватиме компанію щодо оцінки та оприлюднення нових математичних результатів, але працюватиме незалежно від OpenAI.

Нова модель OpenAI

За даними компанії, 28 серпня вона розпочала навчання нової внутрішньої моделі, яка вже розв'язала понад 100 давніх відкритих задач у більшості галузей математики. В OpenAI зазначили, що темпи її прогресу стали несподіванкою навіть для математиків, які працюють у компанії, і це спонукало до внутрішніх дискусій про те, як відповідально повідомити про ці результати науковій спільноті.

«Математика є фундаментальною наукою, а нові відкриття можуть знайти широке застосування. Це робить потенціал таких можливостей значним, а їхню відповідальну розробку та впровадження — важливими не лише для самої математики», — наголосили в компанії.

Чому створили незалежну раду

Поштовхом до цього став відкритий лист математиків під назвою «Серйозна невідповідність цілей ШІ в математиці». У ньому автори висловили занепокоєння використанням розв'язання відкритих задач як критерію оцінювання нових систем ШІ.

Спочатку OpenAI запропонувала створити зовнішню консультативну раду, однак запрошені науковці вирішили сформувати незалежну групу при Інституті перспективних досліджень (Institute for Advanced Study). За даними Інституту, вона діятиме без фінансування від компанії, зможе самостійно публікувати рекомендації та коментувати вплив ШІ на математику без погодження з OpenAI.

Які завдання виконуватиме група

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

• Франсуа Шарль (ENS-PSL);
• Камілло Де Лелліс (IAS, GSSI);
• Тімоті Гауерс (Collège de France, Кембридж);
• Мартін Гайрер (EPFL, Імперський коледж Лондона);
• Нікхіл Шрівастава (Берклі, Інститут Саймонса);
• Ульріке Тіллманн (Оксфорд, INI);
• Раві Вакіл (Стенфорд);
• Едвард Віттен (IAS);
• Мелані Матчетт Вуд (Гарвард).

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

Раніше математик Теренс Тао попередив, що стрімкий розвиток ШІ загрожує підірвати традиції відкритої науки та перетворити фундаментальні наукові проблеми на вичерпний ресурс. На його думку, дослідники можуть перестати ділитися перспективними відкритими проблемами через страх, що алгоритми перехоплять і швидко розв'яжуть їх без належного теоретичного осмислення.