Математикът Тристан Бъкмастър вярва, че OpenAI е използвало неговата работа, за да изпревари събитията и да го победи в решаването на легендарен математически проблем с награда от 1 милион долара.

Но това не е било достатъчно, за да го накара да спре да използва моделите на компанията — и той не е единственият математик, който се чувства по този начин.

„Дори и да не сте съгласни с нищо от това, вие в известен смисъл сте блокирани. Тъй като изкуственият интелект е толкова полезен, е трудно напълно да се въздържиш от използването му“, казва Бъкмастър пред WIRED. „Тези компании имат монопол и нямаме голям избор“, добавя той.

През седмицата и половина, откакто професорът от Нюйоркския университет обвини OpenAI в копиране на неговия подход, Бъкмастър използва агента за кодиране Codex на компанията, за да подреди научните си доклади. Когато има време да се занимава с математика (което по думите му е рядкост, откакто последващите събития го поставиха под светлината на прожекторите), инструментът му помага да разбере логическите стъпки, които агентите на OpenAI може да са предприели, за да стигнат от ранните му разработки до крайното доказателство.

Бъкмастър е използвал Codex, както и конкуриращия се модел Claude на Anthropic, за да работи върху така наречения проблем за съществуването и гладкостта на Навие-Стокс, съвместно с изследователя от Anthropic Левент Алпьоге. OpenAI е внедкрила десетки хиляди агенти, за да стигне до решението, но едва след като е научила, че уравнението е близо до решаване, казва Бъкмастър.

Когато Бъкмастър публично оповести твърденията си, това предизвика силна буря от реакции относно изкуствения интелект и въпроса дали той ще направи математиците хора излишни. Това също така накара OpenAI да извърши разследване и да коригира съобщението си относно решаването на Навие-Стокс, заявявайки, че е „потвърдено, че подканите на Бъкмастър към Codex през двата месеца, предхождащи това съобщение и публикация на 8 септември 2026 г., не биха могли по никакъв начин да повлияят на системата, включително чрез обучение“. Компанията пренасочи WIRED към своето съобщение в имейл.

Да се покаже, че AI измества границите на математиката, беше „по-важно от самия резултат“, казва Бъкмастър. Но бълването на решения на дългогодишни математически проблеми, без напълно да се признае човешкият труд в основата им — особено преди големи първични публични предлагания (IPO) — е безотговорно и „детинско“, допълва той.

Други математици изразиха подобни притеснения. Само шепа хора на планетата разбират техниките в геометричната теория на групите, които германският математик Андреас Том е посветил последните две десетилетия да развива. Така че, когато OpenAI заяви през август, че нейният модел Astra ги е използвал, за да докаже дългогодишен проблем, върху който той е работил, „бях изумен“, казва Том. „И се питах как са научили за това?“

Затова той казва, че е попитал изследователите от OpenAI Марк Селке и Себастиан Бубек. В имейл от август той посочва, че твърдението на фирмата, че „няма напредък“ по проблема през последното десетилетие, пренебрегва негова публикация от 2019 г., както и работата на други математици. Компанията е коригирала съобщението си за пресата. Той и негов колега са използвали ChatGPT, за да подпомогнат работата си по проблема през месеците, водещи до резултата, но когато той е попитал дали техните взаимодействия са били използвани в данните за обучение, Том казва, че Селке е отговорил: „Това не се е случило.“

„Оставих това настрана“, спомня си Том. „Не се интересувам толкова от тези политически неща; искам да работя върху математика.“

Въпреки че Том е видял изявлението на OpenAI, че подканите на Бъкмастър не са могли да повлияят на системата, той казва, че няма доверие на това и признава, че вероятно никога няма да разбере дали неговият труд наистина е захранил резултата.

„AI наистина унищожава цялата идея, че можете да проследите кой какво е допринесъл“, казва той. „Това вероятно приключи.“

Това е голяма промяна спрямо начина, по който обикновено се прави наука, при която академиците подлагат своите констатации на партньорска проверка (peer review) и надграждат работата на другите с зачитане на авторството. Извън промяната на концепцията за авторство, фактът, че хората все още не разбират напълно всяка стъпка, предприета от агентите на OpenAI, за да стигнат до резултата за Навие-Стокс, поставя и екзистенциални въпроси пред математиците, които виждат как тяхната област се изплъзва от тяхното разбиране.

„Ако искам да дам принос към математиката, как да го направя днес като обикновен човек, когато тези компании за трилиони долари участват в играта?“, казва математикът от Корнел Алекс Таунсенд, съавтор на предстояща книга за еволюцията на областта.

От август насам Таунсенд е видял как много от неговите колеги започват да питат какво трябва да знаят за технологията и как могат да конфигурират абонаменти за достъп до по-мощни модели.

„Чувствам се едновременно развълнуван и нервен“, казва Таунсенд. „Развълнуван, защото мога да постигна неща, които не бих могъл да постигна без него, и нервен, защото се питам: ‚Добре, каква е моята цел тук?‘“

Том приема, че неговата област на изследване се променя, и продължава да използва ChatGPT — с актуализирани настройки за поверителност, за да предотврати използването на работата му за обучение на данни — за да ускори писането на доклади, защото е „изключително ефективен“. (Предложенията на OpenAI чрез университети и на корпоративно ниво по подразбиране не обучават модели върху данните на потребителите.)

„Ако човек беше направил това активно, тогава щях да бъда много, много ядосан“, казва той за възможността някой да използва работата му без да посочи източника. Но ако информацията е била изтеглена в модела през задна врата от алгоритъм, който никой не разбира напълно, „вероятно бих могъл да живея с това“, казва той.

Някои математици са по-малко прощаващи. 25 носители на Фийлдсов медал написаха в отворено писмо, че компаниите за изкуствен интелект и математиците са „сериозно разминати“. Повече от 4000 души са подписали Лайденската декларация, която съдържа поредица от препоръки за това как математиците, финансиращите организации и политиците могат да гарантират, че AI няма да погълне областта.

Бъкмастър се страхува от възможността да използвате AI за „коригиране на граматиката си, и изведнъж годините ви работа [може да бъдат] погълнати в потребителски данни и продадени на друг математик или студент. Мисля, че именно за това се притесняват повечето математици и смятам, че това е реален проблем.“

При липса на надзор на хоризонта и с все по-дълбокото навлизане на AI в областта, някои математици искат да намерят начин поне да натиснат спирачките. Това включва повече от 2000 души, свързани с Caltech, които призоваха организаторите на хакатон за математически AI в университета да спрат събитието. Хакатонът беше спонсориран от Anthropic и OpenAI, въпреки че последната впоследствие се оттегли. Но всички опити за забавяне могат да бъдат празни надежди, особено в дългосрочен план.

„Не мисля, че това наистина е устойчиво поради повишаването на ефективността“, което предлага изкуственият интелект, казва Том. Всеки математик — особено изследователите в началото на кариерата си — рискува да бъде „изолиран“, ако не използва AI за ускоряване на работата си, добавя той. Той и Бъкмастър вярват, че общността трябва да започне да мисли какво означава технологията за по-младите математици и как да се улесни преходът.

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

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

„Имам отговорност да подредя публикуваните от мен доклади, които не бяха завършени, и мисля, че имам отговорност да обясня на математиците какво направихме“, казва той.

Той също така е отворен да обсъди това с OpenAI. „Не искам просто да влизам в конфликти“, казва той. Що се отнася до това дали някога наистина би работил по проблем с компанията, „трябва да бъдем внимателни с това“, казва той с хитровата усмивка.