Математическо разбиране, а не решена задача

преди 3 дни

време за четене: 4 мин.

Двайсет и пет носители на медала „Фийлдс", от наградения през 1978 г. до наградената през 2026 г., подписаха обща декларация. Тя не обвинява конкретна компания и не изброява искания. Твърдението ѝ е по-неудобно от обвинение. Според тях лабораториите оптимизират не целта, а нейния заместител, и разликата между двете е онова, което прави математиката полезна.

Робот държи табелка с готов отговор пред черна дъска, а човек до него е обърнат към дъската и проследява с пръст веригата от изведени стъпки, които водят до съвсем друго място

Какво точно казва декларацията

Текстът е публикуван на 11 септември и носи заглавие, което само превежда позицията си: тежко несъответствие на изкуствения интелект в математиката. Централното изречение е едно и си струва да се предаде точно: решаването на задачи е само инструмент и заместител на постигането на първичната цел, която е математическо разбиране и прозрение.

Разликата не е философска. Когато една система бъде настроена да максимизира броя решени задачи, тя оптимизира измеримото, а измеримото тук е страничният продукт. Според подписалите така се губи и нещо второ - веригата, по която едно разбиране се предава от математик на математик. Без хора, готови да поемат идеята и да я доразвият, породените от машина идеи никога не оживяват докрай.

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

Числото, което лесно се предава грешно

Тук е нужно уточнение, защото пресата вече го сбърка. Двайсет и петимата носители на медала са първоначалните подписали и са изброени в самия текст. Отделно от тях сайтът събира подписи от всички желаещи и този брояч расте бързо: от 198 подписа вечерта на 11 септември до 4983 сутринта на 13 септември. Двете числа не се събират и медалистите не са част от втория списък.

Проверката на подписите е над обичайното за онлайн подписка - иска се или потвърден изследователски идентификатор, или адрес в академична институция - но не гарантира, че всеки подписал е действащ математик. При преглед на списъка се откриват и афилиации, които не са изследователски. Коректната формулировка е „подписали", не „математици". Числото мери вниманието към въпроса поне толкова, колкото и професионалното съгласие по него.

Възраженията, които заслужават място

Постът би бил непълен без тях. Най-силното възражение идва отвътре в общността: инвестициите на технологичните компании в математиката няма да са трайни, защото в нея няма печалба, тоест описаното несъответствие може да се окаже епизод, а не устойчива заплаха. Второ възражение посочва физическата граница - енергията и изчислителният капацитет не позволяват всяка задача да минава през такава система.

Трето, официалната организация на американските математици реагира на самите резултати положително и ги нарече значим напредък на човешкото знание. Част от тези резултати впрочем излязоха заедно с машинно проверими доказателства, което беше предмет на по-ранна наша новина. Тоест общността не е единна, а декларацията описва една позиция в спор, а не консенсус. Жанрът също не е нов: през 2012 г. същата общност, начело отново с носител на медала „Фийлдс", събра над седем хиляди подписа срещу практиките на голямо научно издателство.

Какво значи математическо разбиране за всеки, който учи

Въпросът, който стои зад декларацията, е точно въпросът на ученик или студент днес: защо да уча нещо, което машината вече прави по-бързо. Отговорът на математиците е по-конкретен от обичайните утешения. Те не твърдят, че машината няма да реши задачата. Твърдят, че решената задача никога не е била целта, а средство за придобиване на нещо, което остава у човека и му позволява да зададе следващия въпрос.

Практическото следствие е проверимо и извън математиката. Стойността се измества от способността да се получи отговор към способността да се прецени дали отговорът е верен, важен и какво следва от него - тоест от производството към преценката. Това е и умението, което най-трудно се възлага навън, защото изисква разбиране на материята, а не достъп до инструмент.

Заключение

Декларация без искания рядко променя нещо сама по себе си. Тази обаче формулира разграничение, което важи далеч отвъд математиката: измеримият резултат и разбирането не са едно и също, а системите се настройват по измеримото.

Помагаме на български образователни организации и екипи да отличават реалното усвояване от резултата на изхода, когато въвеждат инструменти с изкуствен интелект. Услугите ни покриват одит, оценка на готовност, обучение на екипи и имплементация на специализирани AI автоматизации за всяка организация. Препоръчваме консултация при въвеждане на такива инструменти в учебен или изследователски процес. [Свържете се с нас за консултация: academy@razvivai.se]