Заглавията ще кажат, че изкуственият интелект превзема математиката. Официалният текст на Anthropic казва по-малко. Точно затова му вярвам повече.
Факт
Фактите: на 10 август Anthropic публикува резултат по хипотезата на Риман, изработен с Claude. Долната граница за дела на нулите на дзета функцията върху критичната права се вдига от 41,6% на 67,2%. Постигнато е с комбиниране на вече публикувани техники: в работата са въртели 60 подагента, генерирани са 650 идеи и 31 милиона токена. Резултатът е прегледан от математици, сред които Брайън Конри и Дан Голдстън, а доказателството е формализирано в Lean.
Хипотезата на Риман е гатанка на 167 години за това къде застават нулите на една функция. Никой не я е доказал. Доказват се граници: какъв дял от нулите са там, където трябва. Претенцията тук е точно толкова - по-висока граница, не отговор.
И новината всъщност е в метода. Моделът не е измислил нова теория. Изчел е литературата, слепил е парчета от четирима различни автори и не е изпуснал нито една стъпка по пътя. Това е работа, за която на човешки екип трябват месеци четене.
Машината не измисли нова математика. Издържа тежестта на старата, без да я изпусне.
Най-важният ред в обявата е за Lean. Формалната верификация значи, че на модела не се вярва - проверява се, стъпка по стъпка, от машина, която не приема почти вярно. Този навик пътува далеч отвъд математиката. Искай го от всяка система, която ти обещава истина.
Източници
Anthropic Research - Riemann zetaВизуалът към статията е генериран код-арт, без чужди изображения.