АИ решава најтеже математичке проблеме, али једну границу не може да пређе

Вештачка интелигенција могла би да постане све способнија у решавању и провери математичких проблема, али неће моћи да поседује свеобухватно знање математике, рекла је за "РИА Новости" Лин Стуерле Скофилд, председница одсека за математику и статистику на Свортмор колеџу. Према њеним речима, разлог је једноставан - људи стално осмишљавају нове идеје, долазе до нових података и проширују границе научног знања.

Ова оцена долази у тренутку када је вештачка интелигенција већ показала да може да се носи са изузетно сложеним математичким задацима - на пример, компанија Антропик објавила је да је њен модел вештачке интелигенције Клод за мање од две недеље верификовао и формализовао доказ Ферматове последње теореме користећи програмски језик.

Реч је о једном од најпознатијих проблема у историји математике - француски математичар Пјер де Ферма формулисао је теорему у 17. веку, тврдећи да збир два позитивна цела броја подигнута на исти степен већи од два не може бити једнак трећем целом броју подигнутом на тај исти степен. Иако је тврдња била једноставна за формулисање, математичарима је требало више од три века да је докажу.

Крајем 20. века енглески математичар Ендру Вајлс представио је сложен доказ који се састојао од великог броја повезаних математичких корака. Његова ручна провера захтевала је пуну годину рада.

Његов доказ Клод је формализовао, односно претворио у облик који рачунар може прецизно да провери. Током тог процеса генерисао је 13 милиона линија кода и доказао 29.500 међутеорема - мањих математичких тврдњи које су биле потребне да би се корак по корак проверила исправност доказа.

Рад је оценио Кевин Базард, водећи стручњак за дигитализацију математике са Империјал колеџа у Лондону. Он је потврдио да је компјутерска провера завршена без промене основних математичких правила и претпоставки на којима се оригинални доказ заснивао. Другим речима, АИ није поједноставила или изменила правила како би доказ изгледао тачним, већ је проверила оригинални математички приступ у облику који рачунар може да обради.

Где су границе вештачке интелигенције

Иако је тај резултат охрабрујућ, Скофилд сматра да вештачка интелигенција своје знање гради искључиво на ономе што већ постоји.

"Вештачка интелигенција се у потпуности ослања на знање које већ постоји и објављено је, али људи стално смишљају нове идеје, појављују се подаци, свет се развија, као и истраживања", рекла је Скофилд.

Према њеним речима, управо због тога вештачка интелигенција не може да има потпуно и свеобухватно знање математике. Она математичке проблеме решава ослањајући се на постојеће и објављене податке, док људски истраживачи непрестано стварају нова знања и идеје.