Непуснат модел на Anthropic постигна напредък по един от най-големите нерешени проблеми в математиката

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

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

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

Още по-впечатляващ е начинът, по който е постигнат напредъкът: служител на Anthropic без значителна математическа подготовка е подканил модела да „направи истински опит“ да докаже хипотезата, след което е оставил модела да координира задачата през следващото денонощие и половина.

В крайна сметка моделът е изпробвал 650 различни идеи за решаването на проблема, координирайки работата на 60 подагента и изразходвайки общо 31 милиона.

„От 60-те подагента двама отговаряха за разработването на ключовите математически идеи“, обяснява бележка под линия към статията, „13 допринесоха с идеи за тези агенти, 30 се опитаха, но не успяха да разработят нови идеи, 13 изпълняваха ролята на валидатори, проверявайки коректността на аргументите, а последните двама помогнаха за написването на първоначалната статия.“

Резултатът е потвърден от двама от вътрешните математици на Anthropic и формализиран с помощта на асистента за доказателства с отворен код Lean.

Това е последният от поредица математически пробиви, постигнати с водещото участие на големи езикови модели, или LLM. Редица задачи на Ердьош бяха решени от модели с изкуствен интелект през тази година, а пускането на по-мощни модели доведе до още по-впечатляващи резултати. OpenAI наскоро публикува набор от десет значими резултата, доказани от вътрешния ѝ модел „Astra“, докато отделно изследване на Anthropic опроверга дългогодишната хипотеза на Якоби.

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

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

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