Изкуственият интелект вече може да решава математически задачи, които доскоро се смятаха за достъпни само за водещи специалисти. На пръв поглед това изглежда като безспорен научен пробив. Но може ли надпреварата за решаване на трудни математически задачи да навреди на областта, която се стреми да развива?
25 носители на Fields Medal – най-престижното отличие в математиката – подписаха обща декларация, в която предупреждават, че зад това, което на пръв поглед изглежда като напредък, може да се крие сериозен проблем.
Сред подписалите са някои от най-разпознаваемите имена в съвременната математика, включително Терънс Тао, Питър Шолце, Марина Вязовска, Седрик Вилани, Манджул Бхаргава, Джун Ху и др.
Те не се обявяват срещу използването на AI. Напротив – според тях технологията има потенциал да ускори математическите изследвания, но когато крайната цел е само да се „реши задачата“, може да се загуби процесът, чрез който едно решение се превръща в знание.
Само правилният отговор не е достатъчен
Защо правилното решение не е единственото важно нещо, а значение има и кой или как е стигнал до него? В научната математика решението е краят на един и началото на друг, много по-дълъг процес.
Докато един математик се опитва да разгадае сложен проблем, могат да бъдат открити нови методи, нови зависимости и идеи, които впоследствие да помогнат за решаването на десетки други проблеми.
Известните математически задачи традиционно служат като своеобразни ориентири за развитието на науката, а решаването им показва, че е постигнато по-дълбоко разбиране на определена област.
След това започва дълъг процес, в който други специалисти проверяват доказателството, обсъждат го, търсят по-прости обяснения, сравняват го с предишни изследвания и постепенно отделят най-важните идеи.
Могат да изминат години, преди едно сложно доказателство да стане достатъчно добре разбрано, за да бъде включено в учебници и използвано от следващото поколение математици.
Авторите на декларацията се опасяват, че работата на изкуствения интелект може да наруши тази система.
Какво се променя, когато AI започне да решава задачите
Днес AI модели разполагат с капацитет да обработват огромни количества информация и да изпробват подходи със скорост, недостъпна за човек.
Това позволява някои математически проблеми да бъдат решавани значително по-бързо. Има обаче съществена разлика между това една система да произведе доказателство и математическата общност действително да разбере защо то работи, кое в него е ново и върху чии предишни идеи стъпва.
В декларацията се обръща внимание на това, че през последните месеци някои AI резултати се обявяват твърде бързо, без да се даде достатъчно време за пълно описание на използвания подход, отделяне на действително новите идеи и коректно цитиране на предишната работа.
И тук идва следващият казус – кой е авторът на идеята? AI моделите са обучени върху огромно количество човешко знание. Когато даден модел предложи ново доказателство, което комбинира идеи от десетки или стотици предходни трудове, може да е много трудно да се определи откъде точно идва всеки елемент от доказателството.
Математиците поставят важни въпроси за авторството, правилното цитиране и дори възможността за плагиатство в свят, в който машините все по-активно участват в създаването на научни резултати.
„Производство“ на математически резултати
Една от най-силните тези в декларацията е свързана с мащаба. AI може потенциално да произвежда математически резултати много по-бързо, отколкото хората могат да ги проверяват, осмислят и интегрират в съществуващото знание.
Това може да изправи научната общност пред парадоксална ситуация: да разполага с повече решения, но по-малко разбиране. Така масовото генериране на твърдения и доказателства, вместо да развива науката, може да затрудни откриването на действително важните идеи.
Проблемът не е само математически
Настоящата декларация е само още част от една много по-дълга и сложна дискусия.
На 2 юни 2026 г. беше публикувана и Leiden Declaration on Artificial Intelligence and Mathematics, изготвена след международна конференция в Leiden University и подкрепена от International Mathematical Union.
Leiden Declaration, която вече има близо 4000 индивидуални подписа от представители на математическата общност, поставя редица подобни въпроси – как трябва да се проверяват AI резултатите, кой носи отговорност за тях, как трябва да бъдат цитирани източниците и какво ще се случи, ако достъпът до най-мощните математически AI инструменти остане концентриран в малък брой технологични компании.
Целта на математиците не е да спрат AI. Нито декларацията на 25-те Fields медалисти, нито Leiden Declaration призовават математиката да се откаже от изкуствения интелект. Въпросът е как ще бъде използван.
Има огромна разлика между това AI да се използва като инструмент, който помага на математиците да изследват хипотези, да проверяват идеи и да намират връзки, които иначе биха отнели години, и превръщането на решаването на известни нерешени задачи в своеобразно състезание между технологичните гиганти за демонстрация на мощността на моделите.
Според подписалите декларацията именно вторият подход крие риск.
Въпрос, който засяга много повече професии
Дебатът в математиката всъщност поставя въпрос, който става все по-важен и за много други професии – какво се случва с човешката експертиза, когато AI може да достигне до крайния резултат много по-бързо?
Обучението на един специалист може да отнеме години и дори десетилетия, а целта му не е само да произведе определен краен резултат. Лекарят не учи само, за да постави диагноза. Инженерът – само за да получи правилно изчисление. Ученият – само за да публикува заключение.
Целият този процес изгражда в човек разбиране, професионална преценка и способност да задава нови въпроси.
Но ако машините започнат да дават отговори, преди хората да са изградили знанието, зад тях какво точно печелим – и какво рискуваме да загубим?
Източници: Math and AI; Leiden Declaration on Artificial Intelligence and Mathematics
