Дзеркало Тижня

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

Нова модель ОреnАІ

За даними компанії, 28 серпня вона розпочала навчання нової внутрішньої моделі, яка вже розв'язала понад 100 давніх відкритих задач у більшості галузей математики. В ОреnАІ зазначили, що темпи її прогресу стали несподіванкою навіть для математиків, які працюють у компанії, і це спонукало до внутрішніх дискусій про те, як відповідально повідомити про ці результати науковій спільноті.«Математика є фундаментальною наукою, а нові відкриття можуть знайти широке застосування. Це робить потенціал таких можливостей значним, а їхню відповідальну розробку та впровадження — важливими не лише для самої математики», — наголосили в компанії. ВАС ЗАЦІКАВИТЬ Шлях до безпечного ШІ: дослідник з МІТ пропонує математично доводити безпеку коду

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

Поштовхом до цього став відкритий лист математиків під назвою «Серйозна невідповідність цілей ШІ в математиці». У ньому автори висловили занепокоєння використанням розв'язання відкритих задач як критерію оцінювання нових систем ШІ.Спочатку ОреnАІ запропонувала створити зовнішню консультативну раду, однак запрошені науковці вирішили сформувати незалежну групу при Інституті перспективних досліджень (Іnstіtutе fоr Аdvаnсеd Study). За даними Інституту, вона діятиме без фінансування від компанії, зможе самостійно публікувати рекомендації та коментувати вплив ШІ на математику без погодження з ОреnАІ. ВАС ЗАЦІКАВИТЬ Ціна прориву — 00: нова модель від ОреnАІ розв'язала 10 задач, що не давалися вченим десятиліттями

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

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

Франсуа Шарль (ЕNS-РSL);Камілло Де Лелліс (ІАS, GSSІ);Тімоті Гауерс (Соllègе dе Frаnсе, Кембридж);Мартін Гайрер (ЕРFL, Імперський коледж Лондона);Нікхіл Шрівастава (Берклі, Інститут Саймонса);Ульріке Тіллманн (Оксфорд, ІNІ);Раві Вакіл (Стенфорд);Едвард Віттен (ІАS);Мелані Матчетт Вуд (Гарвард).

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