Claude помести граница около хипотезата на Риман

14.08

време за четене: 3 мин.

Твърдението, че езиков модел е допринесъл за нерешена математическа задача, обикновено се оказва по-скромно при проверка. Този път числата издържат. Формулировката около тях обаче се нуждае от повече грижа, отколкото ѝ беше отделена.

Робот отмества тежка каменна плоча малко по-нагоре по стръмен склон, а групата математици отдолу гледа нагоре към върха, който остава далеч

Какво съобщава Anthropic

На 10 август 2026 Anthropic публикува работа, в която неиздадена изследователска версия на Claude повишава известна долна граница около дзета функцията на Риман. Става дума за дела от нетривиалните нули на функцията, за които е доказано, че лежат върху така наречената критична права.

Предишният безусловен рекорд е 5/12, тоест 41,66%, установен през 2020 година от Прат, Роблес, Захареску и Цайндлер. Новата стойност е 0,6725, или 67,2%. Това е най-голямото еднократно подобрение в историята на този конкретен проблем.

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

Какво точно е новото около хипотезата на Риман

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

Стойността две трети не е нова. Монтгомъри я е получил отдавна, а през 2025 година Балуйот и съавтори, както и Голдстън и Сурияджая, стигат до нея по нов път. Проблемът е, че техните резултати са условни: те важат при допускане, че всички нули лежат в тясна вертикална област, тоест при частично допускане на самата хипотеза, която трябва да бъде доказана. Тези автори изрично питат какво би следвало, ако условието бъде премахнато.

Приносът на модела е точно премахването на условието, а не откриването на числото. Работата минава през линейна алгебра, включително закона на Силвестър за инерцията, и превръща един условен резултат в безусловен.

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

Кое още не е проверено

Начинът, по който резултатът е потвърден, оставя отворени въпроси.

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

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

Отделно си струва да се отбележи, че до момента липсва отразяване от специализираните научни издания. Покритието идва от сайтове, посветени на изкуствения интелект.

Какво следва от това на практика

За човек, който не се занимава с аналитична теория на числата, полезното в тази новина е методологично.

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

Приложимият извод за организация е, че стойността на такива системи расте с качеството на постановката на задачата и с готовността да се изхвърлят повечето получени идеи. Шестстотин и петдесет отхвърлени предложения за един използван резултат е съотношение, което си струва да се очаква и в далеч по-скромни задачи.

Заключение

Езиков модел премахна условие от вече известен математически резултат и това е реално постижение, стеснено до точния си размер. Независимата проверка тепърва предстои и до нея числото остава твърдение на компанията, която го е произвела.

Помагаме на български организации и учебни звена да четат съобщенията за AI постижения по същество, отделяйки доказаното от обявеното. Услугите ни покриват одит, оценка на готовност, обучение на екипи и имплементация на специализирани AI автоматизации за всяка организация. Препоръчваме консултация при оценка на AI инструменти за изследователска или аналитична работа. [Свържете се с нас за консултация: academy@razvivai.se]