4 000 000 000 000 000 000 проверки напразно. защо съвременните процесори са безсилни срещу хипотезата на Голдбах

В математиката има проблеми, които изглеждат като подигравка със здравия разум. Условията им са разбираеми и за първокласник, но решението им е непосилно нито за гениите, нито за суперкомпютрите. Хипотезата на Голдбах е абсолютният шампион в тази категория. Вече три века тя дразни учените със своята очевидност.

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

• 4 = 2 + 2
• 10 = 5 + 5 (или 3 + 7)
• 100 = 3 + 97 (или 11 + 89).

Струва ни се, че всичко е съвсем просто. Но оттук започва бездната.

Защо това изобщо представлява проблем?

Основната трудност се крие в природата на простите числа (тези, които се делят само на 1 и на себе си). Те са „атомите“ на математиката, от които чрез умножение се изграждат всички останали числа. Ние отлично разбираме тяхната мултипликативна природа (цялата съвременна криптография се основава на нея, например алгоритъмът RSA).

Но хипотезата на Голдбах изисква от нас да ги събираме. Това е все едно да се опитвате да построите идеално плоска стена, използвайки камъни, създадени от природата за изграждане на арки. Инструментите, усъвършенствани за умножение, се провалят, когато се опитате да ги приложите за събиране. Простите числа са разпределени псевдохаотично в числовата редица. Да се предвиди къде ще се появи следващото просто число е невероятно трудно, а да се докаже, че за всяко четно число N винаги ще има двойка прости p1 и p2, така че p1 + p2 = N, е задача, която надхвърля сегашните възможности на математиката.

Трагедията в светлината на парафиновата лампа и „метода на ситото“

Зад сухите формули се крият истински човешки драми. Китайският математик Чън Дзинцзюн се доближава най-много до решението. В разгара на Културната революция, в една малка стая на светлината на парафинова лампа, той доказва теоремата, която днес се нарича „1 + 2“.

Какво означава това? Чен доказва, че всяко достатъчно голямо четно число може да бъде представено като сума от просто число и число с не повече от два прости множителя (т.е. почти просто). Той използва подобрен „метод на ситото“ – начин за филтриране на числата, подобен на древното сито на Ератостен, но много по-сложен и фин. Това е бил колосален пробив, но последната стъпка – премахването на този „допълнителен“ множител и получаването на чиста схема „1 + 1“ – никога не е била постигната.

Bruteforce срещу безкрайността

Днес можем да проверим хипотезата „фронтално“ (с метода на грубата сила). Съвременните суперкомпютри смилат числата до 4 квинтилиона (4 с 18 нули) и всеки път резултатът е сходен. За един инженер това би било достатъчно: ако един мост издържа 4 квинтилиона години, то той е надежден. Но за един математик това не е доказателство.

Безкрайността е коварна. Историята познава примери за хипотези, които се разпадат при числа със стотици нули (например хипотезата на Пойа). Контрапримерът на Голдбах може да се крие там, където не може да достигне нито един силициев процесор, дори ако го накарате да работи до топлинната смърт на Вселената.

Парадоксът на Голдбах ни учи на смирение. Изстрелваме ракети и обучаваме невронни мрежи, но все още не разбираме едно фундаментално свойство на числата, които използваме всеки ден. То може да е вярно, но е недоказуемо в рамките на нашата система от аксиоми. И това е най-плашещото: да виждаш истината, но да не можеш да се докоснеш до нея.