ИИ се научи да решава проблеми, които са непосилни дори за най-добрите математици

Системата вече доказа, че редица стари хипотези са напълно погрешни.

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

Интересът към прилагането на изкуствения интелект в математиката нараства. AlphaProof на Google DeepMind например се представи на нивото на сребърен медалист на Международната олимпиада по математика през 2024 г., а системата o3 на OpenAI показа силни резултати в областта на математиката, природните науки и програмирането.

Но изследователите от Калифорнийския технологичен институт отиват по-далеч, опитвайки се да решат проблеми, които от десетилетия си остават недостъпни за професионалните математици. Те сравняват своя подход с шахмата: докато стандартните математически доказателства изискват 30-40 стъпки, тяхната нова система решава проблеми, които изискват хиляди, а понякога и милиони стъпки.

Една от областите на работа е хипотезата на Андрюс-Къртис – труден проблем в комбинаторната теория на групите, предложен преди 60 години. Изследователите все още не са успели да докажат самата хипотеза, но техните алгоритми са опровергали редица потенциални контрапримери, които са останали нерешени в продължение на 25 години.

За разлика от съществуващите модели като ChatGPT или o3, които се справят добре с типичните решения, новият ИИ търси неочаквани и предизвикателни пътища. За тази цел екипът използва обучение с подсилване, като започва с прости задачи и постепенно увеличава тяхната сложност.

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

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