В началото на август около 40 водещи математици се събраха в офиса на OpenAI в Сан Франциско, за да обсъдят бъдещето на професията си на фона на бързото развитие на изкуствения интелект, пише вестник The Washington Post. Основният въпрос на срещата беше какво ще правят хората, ако в близко бъдеще AI ги надмине в математиката на изследователско ниво.

Професорът от Университета в Торонто Даниел Лит дори озаглави доклада си „Краят на математиката“. Той описа най-лошия сценарий, при който изкуственият интелект ще генерира толкова много авангардни математически изследвания, че нуждата от човешки математици ще намалее драстично. В същото време самият Лит счита този вариант за малко вероятен, но подчертава, че отрасълът трябва да се адаптира още сега.

Опасенията на математиците се засилват от реалните успехи на AI. През май OpenAI представи резултат, който много специалисти нарекоха първият голям математически пробив на изкуствения интелект. Един от непубликуваните AI модели на компанията намери контрапример към отдавнашна хипотеза за единичните разстояния. Математикът Джейкъб Зимерман заяви, че без колебание би приел този резултат за публикуване във всяко научно списание.

Оттогава OpenAI и Anthropic публикуваха редица други математически резултати. Някои от тях вече заобикалят традиционния процес на научната работа, при който откритията първо се обсъждат на семинари, проверяват се от други специалисти и едва след това се публикуват в списания.

//ОЩЕ ПО ТЕМАТА:

Claude Fable 5 опроверга 87-годишната математическа хипотеза на Якоби

10 фундаментални проблема бяха решени за $2000: Новият AI модел Astra на OpenAI пренаписва висшата математика

Това буди особена тревога. Математиците се опасяват, че огромното количество резултати, създадени от ИИ, ще затрудни определянето на това, което наистина е доказано, и на това, което не е. През юни над 3000 математици подписаха „Декларацията от Лайден“, в която призовават за отговорно използване на ИИ, проверка на резултатите и правилното им цитиране.

В същото време част от изследователите виждат в технологията не заплаха, а нов инструмент. AI може да помага на стотици математици да работят съвместно по сложни задачи или да поеме търсенето на нови доказателства. Въпреки това професорката от Северозападния университет в САЩ Брайна Кра подчертава, че математиката се състои не само в доказването на резултата, но и в неговото разбиране. Според нея доказателство, което хората не разбират не може да стане пълноценна част от математическата литература.

Ученият и математик от OpenAI Себастиан Бубек също призова хората да се поставят на първо място. Според него бъдещето на математиката може да се промени под влиянието на AI, но тя трябва да остане интересна точно дотолкова, доколкото математиците продължават да се учат от нея.