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