Когато студентът надхитри експертите

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

Не знам за теб, но тази история ме впечатли напълно.

Левент Алпьодже, работещ в Anthropic (компанията зад AI-то Claude), наскоро обяви в X (бивш Twitter), че е използвал Claude Fable 5, за да намери контрапример на Якобиановата хипотеза. И когато казвам "откри", имам предвид буквално открил доказателство, че хипотезата е грешна — поне за определени измерения.

Това не е просто поредната "AI прави нещо готино" история обаче. Има нещо почти поетично в случилото се.

Какво точно представлява Якобиановата хипотеза?

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

Представи си функция — това е като машина, в която слагаш числа и получаваш други числа по определено правило. Якобиановата хипотеза пита дали винаги можеш да обърнеш тази машина — дали съществува друга функция, която да върне нещата обратно.

Мисли за това така: ако твоята функция мести точки в пространството, хипотезата твърди, че стига функцията да не "смачка" или "сгъне" пространството по определен начин (математиците измерват това с нещо наречено "Якобианов детерминант"), винаги трябва да можеш да намериш обратна функция, която да върне всичко на мястото му.

Звучи разумно, нали?

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

Обратът: По-просто от очакваното

Ето какво наистина вълнува математиците: контрапримерът, който Алпьодже откри, е миниатюрен. Притеснително малък. Побира се в една публикация в социалните медии.

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

И ето тук е уловката: експертите са смятали, че такива примери може да не съществуват изобщо, или че ще са невероятно сложни. Вместо това Claude откри нещо толкова кратко и елегантно, че — както един потребител на Math Stack Exchange отбеляза преди години — "някой съобразителен студент може просто да напише формула", която да разбие цялата работа.

Оказва се, че този потребител е бил прав. Формулата е толкова кратка, че други математици я провериха почти веднага след публикацията на Алпьодже.

Защо трябва да те е грижа?

Знам какво си мислиш: "Страхотно, поредната математическа работа, която вероятно не засяга живота ми. Защо да ме е грижа?"

Справедлив въпрос. Ето моето мнение: тази история не е наистина за математиката. Става дума за това, което представлява.

Живеем в момент, когато AI става истински партньор в човешкото творчество и открития — не просто инструмент, който върши тесни задачи, а нещо, което може реално да ни помогне да мислим по нови начини. Фактът, че AI модел, пуснат само преди няколко седмици, можа да помогне за решаването на проблем, съществуващ почти 90 години? Това е забележително.

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

Оригиналната версия на хипотезата в две измерения (от 1884 г.!) все още не е решена, между другото. Така че има още работа. Но за измерения три и нагоре? Случаят е приключен.

По-голямата картина

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

Има урок там за това как дори блестящи хора могат да пропуснат нещо очевидно, когато гледат в грешна посока. Може би понякога просто ти трябва чифт свежи очи — или чист набор от невронни мрежи — за да сочиш към това, което е точно пред всички.

Каквото и да мислиш за AI, мисля, че всички можем да се съгласим: тези са странни и вълнуващи времена, в които да си жив.

Източник: ScienceDaily