Математиката на високите залози

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

През юни се случи нещо интересно. Екипи от Лондон до Бъркли се събраха с една конкретна мисия — да съставят списък с 50 проблема, като условието е всеки от тях да е проверим автоматично. Това не е просто академично перфекциониране. Става дума за свързване на човешката интуиция с машинната проверка. В един свят, в който AI вече помага навсякъде, това е опит да се види как изкуственият интелект и математиците могат да работят заедно.

Ян-Хуей Хъ, математик от Лондонският институт за математически науки, дори довел малкия си син на една от работните срещи. Докато детето си хапвало торта, учените се съсредоточили върху проблеми от теория на възлите, алгебра, топология и теория на числата. Има нещо обезоръжаващо в тази картина — вековна традиция, срещаща бъдещето.

Проблемите, по които математиците губят сън

Списъкът е като колекция от математически мъки. Ето някои от тях:

Сумата на три куба

Какво става, когато се опиташ да представиш едно число като сбор от три куба? Уравнението x³ + y³ + z³ = k тормози учените от десетилетия. През 2020 година Андрю Буукър и Андрю Съдърланд решиха случая за k=42, използвайки 1.3 милиона изчислителни часа върху хиляди доброволчески компютри. Следващата цел? Числото 114. Уловката? Най-малките решения вероятно имат около 30 цифри — ако се търси с груба сила, сметката може да надхвърли 100 милиона долара.

Доказателството на Апери за ирационалност

Ирационалните числа — десетични дроби, които не могат да се изразят като чисти обикновени дроби — крият дълбоки тайни. Въпреки че π и √2 са ни познати, доказването на ирационалност е изненадващо трудно. За да се докаже, че π е ирационално, са нужни две хиляди години. През 1978 Рожер Апери доказа, че ζ(3) (сумата от 1/n³) е ирационално число, използвайки мистериозна техника на "затискане". Когато го попитали как е открил доказателството си, Апери отговорил, че го намерил в саксия с цветя. Тайната на това доказателство остава неразкрита и до днес.

Хипотезата за самотния бегач

Тук проблемът звучи почти като приказка: постави бегачи на кръгла писта, всеки със своя постоянна скорост. Хипотезата предсказва, че в някой момент всеки бегач ще бъде максимално отдалечен от всички останали — своята "най-самотна" позиция. Просто за изказването, адски трудно за доказването.

AI влиза в играта

Най-интригуващата част от този проект е връзката му с изкуствения интелект. Организацията Epoch AI поръча списъка специално, за да тества напредъка на AI системите. И подозрителното е, че OpenAI наскоро обявиха решение на проблема на Навие-Стокс — един от седемте проблеми на хилядолетието, чието решение носи един милион долара.

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

Защо това има значение за технологичния свят

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

Първо, математическото решаване на проблеми движи изчислителните иновации. Опитът за решаване на "сумата на три куба" за k=42 чрез разпределени изчисления върху хиляди машини е всъщност преглед на съвременната облачна инфраструктура.

Второ, пресичането на AI и формалната верификация засяга всичко в софтуерната надеждност. Когато математиците настояват проблемите да са "автоматично проверяеми", те практикуват това, което софтуерните инженери наричат формални методи — същите принципи, които правят сигурните системи наистина сигурни.

Трето, и може би най-важното — духът на справяне с невъзможни проблеми е точно това, което движи технологичните иновации. Дали решаваш хипотезата на Риман или строиш следващата мащабируема хостинг платформа, подходът е сходен: дефинирай ограниченията, намери елегантни решения и провери работата си.

Сътрудничеството между математическата общност и AI организациите представлява нова глава в откритията. Тези 50 проблема не са просто академични любопитства — те са мерило за партньорството между хора и AI в интелектуалните търсения.

И докато мистерията със саксията на Апери остава неразкрита, някъде един AI може би се доближава до разбирането как едно дете намерило доказателство в един цветен саксия.