Раней у гэтым годзе 23-гадовы малады чалавек без фармальнай матэматычнай адукацыі патрапіў у загалоўкі навін, заявіўшы, што выкарыстаў ChatGPT ад OpenAI для вырашэння адной з «праблем Эрдоша» – базы дадзеных складаных гіпотэз, пакінутых венгерскім матэматыкам Полем Эрдошам.
Затым, у мінулым месяцы, навукоўцы былі здзіўленыя, калі кампанія OpenAI заявіла, што яе ІІ абверг гіпотэзу аб «адзінкавай адлегласці», вылучаную Эрдошам 80 гадоў таму.
«"Гэта першы выпадак, калі штучны інтэлект самастойна вырашыў важную адкрытую праблему, якая мае цэнтральнае значэнне для вобласці матэматыкі", – выхваляліся тады ў OpenAI.
Аднак пытанне аб тым, ці сапраўды перадавыя мадэлі штучнага інтэлекту, якія ляжаць у аснове такіх інструментаў, як ChatGPT, уяўляюць сабой значны скачок у нашай здольнасці вырашаць праблемы, якія дзесяцігоддзямі ставілі матэматыкаў у тупік, застаецца прадметам гарачых дэбатаў сярод экспертаў.
Магчыма, самым рэзкім публічным асуджэннем на сённяшні дзень стала новая заява, падпісаная больш за 150 экспертамі ў галіне матэматыкі з усяго свету, у якім урадам настойліва рэкамендуецца не «верыць шуміху», калі гаворка ідзе пра магчымасці ІІ вырашаць складаныя матэматычныя задачы, што развеяла заявы аб рэвалюцыі ў гэтай галіне.
У заяве, якая суправаджае 11-старонкавую «Лейдэнскую дэкларацыю аб штучным інтэлекце і матэматыцы», віцэ-прэзідэнт Міжнароднага матэматычнага саюза Ульрыцы Тыльман заявіла, што ІІ «паднімае пытанні, якія нельга пакідаць без увагі».
«Будучыня матэматычных даследаванняў павінна вызначацца чалавечым меркаваннем, справядлівымі і празрыстымі метадамі працы, а таксама агульнымі каштоўнасцямі сусветнай матэматычнай супольнасці», – сказаў Цільман.
«"У цяперашні час у тэхналагічнай індустрыі існуе моцная камерцыйная зацікаўленасць у перабольшанні магчымасцяў сваёй прадукцыі", – гаворыцца ў заяве, у якой палітыкам рэкамендуецца "кансультавацца з экспертамі, уключаючы матэматыкаў, пры прыняцці палітычных рашэнняў, а не спадзявацца на прэс-рэлізы або папулярныя паведамленні аб выніках матэматычных разлікаў".
Горш таго, мадэлі штучнага інтэлекту могуць выдаваць пераканаўча якія гучаць рашэнні, якія насамрэч не вытрымоўваюць крытыкі.
«Сучасныя аўтаматызаваныя метады могуць выдаваць праўдападобныя, але ненадзейныя (ці нават няслушныя) аргументы, якія цяжка адрозніць ад правільных матэматычных доказаў», – заявіла Леслі Эн Голдберг, кіраўнік кафедры кампутарных навук Оксфардскага універсітэта, якая падпісала заяву. "Гэта сур'ёзная праблема: даследаванні ў матэматыцы (і ў матэматычных дысцыплінах, такіх як тэарэтычная інфарматыка) амаль заўсёды грунтуюцца на папярэдніх даследаваннях, таму даследчыкам вельмі важна ведаць, што вынікі, прадстаўленыя ў літаратуры, дакладныя".
У заяве падкрэслівалася вельмі хісткае становішча, у якім апынуліся многія вучоныя. Прыцягненне новага фінансавання аказалася складанай задачай, у той час як цікавасць да ІІ працягвае расці, часта вымушаючы іх падтрымліваць гэтую тэхналогію любой цаной.
«"Мы прызнаем, што прамысловасць прапаноўвала высокааплатныя працоўныя месцы, грашовую ўзнагароду, вылічальныя рэсурсы і інтэлектуальна стымулюючыя магчымасці, якія некаторыя матэматыкі знаходзілі прывабнымі", – гаворыцца ў дакуменце. "Гэта адбывалася ў эпоху недастатковага фінансавання вышэйшай адукацыі і нестабільнай акадэмічнай занятасці".
У дакуменце таксама адзначалася, што існуе мноства іншых прычын для ўвядзення рэгулюючага нагляду за межамі вобласці матэматыкі, у прыватнасці, "удзел індустрыі ІІ ў ваенных і праграмах масавага назірання, распрацоўка тэхналогій, якія садзейнічаюць распаўсюджванню дэзінфармацыі і падрываюць дэмакратыю, а таксама экалагічныя выдаткі".
Карацей кажучы, гэта рэзкае асуджэнне ўпартага ажыятажу вакол ІІ і заклік да абмежавання яго выкарыстання, які адгукаецца рэхам далёка за межамі свету матэматыкі. Шырокая навуковая супольнасць узрушана патокам артыкулаў, у якіх актыўна выкарыстоўваецца ІІ, што пагражае заразіць працэс рэцэнзавання ілюзіямі.
Гэта таксама важны напамін аб тым, што мадэлі ІІ навучаюцца на аснове перадавых даследаванняў, часта без адабрэння першапачатковых аўтараў.
«"Працы матэматыкаў, якія ніколі не планавалі ўносіць уклад у развіццё ІІ, выкарыстоўваюцца ў гэтых мэтах без іх згоды", — заявіў выданню Scientific American Радрыга Ачыгаме, антраполаг з Лейдэнскага ўніверсітэта, які спецыялізуецца на ІІ і ўдзельнічаў у складанні дэкларацыі. "Я лічу, што гэта вельмі трывожная сітуацыя".
Падрабязней пра ІІ і матэматыку: Матэматыкі заяўляюць аб значным адкрыцці, зробленым з дапамогай ChatGPT