Глава 235: Доказательство гипотезы!
Небо ярко сияло за окном.
Лу Чжоу спал на своем столе. Он медленно открыл глаза.
Он потер воспаленные брови и посмотрел на календарь на углу стола.
Уже май…
У Лу Чжоу слегка заболела голова, и он покачал головой.
С момента прибытия в Принстон в феврале он почти половину времени проводил в этой крошечной квартирке. За исключением похода за продуктами, он практически не выходил из комнаты.
Хуже всего было его членство в кулинарном клубе за 5000 долларов. Он почти не использовал его.
Получив задание, он почти полгода оспаривал гипотезу Гольдбаха.
Наконец появился результат.
Лу Чжоу глубоко вздохнул и встал.
Он был почти у финиша и ему больше не нужно было торопиться.
Лу Чжоу пошел на кухню и приготовил себе перекусить. Он даже достал из холодильника бутылку шампанского и налил себе в бокал.
Именно ради этого момента он купил это шампанское два месяца назад.
Лу Чжоу тихо закончил свою еду. Затем он пошел вымыть руки, прежде чем вернуться к своему столу. Он начал ставить точку в своей работе.
Он начал продолжать с того места, на котором остановился.
[… Очевидно, мы имеем Px(1,1)≥P(x,x^{1/16})-(1/2)∑Px(x,p,x)-Q/2-x^(log4 ) …(30)]
[Из уравнения (30), леммы 8, леммы 9, леммы 10 можно доказать, что теорема 1 верна.]
Так называемая теорема 1 была математическим выражением гипотезы Гольдбаха в его диссертации.
То есть при достаточно большом четном числе N найдутся два простых числа P1 и P2, удовлетворяющие условию N = P1 + P2.
Подобными теоремами были теорема Чена N = P1 + P2.P3, существовала целая серия теорем о P(a,b).
Конечно, хотя он назвал это теоремой 1 в своей диссертации, вскоре математическое сообщество приняло его доказательство. После этого ее можно было бы повысить до «теоремы Лу Чжоу» или чего-то в этом роде.
Однако процесс рассмотрения этого типа основных предположений был более длительным.
Доказательство Перельманом гипотезы Пуанкаре заняло три года, прежде чем математическое сообщество признало его. Доказательство гипотезы было наполнено множеством «загадочных терминов». Поэтому никому, кроме него, было трудно понять тезис.
Скорость, с которой рассматривалась основная гипотеза, во многом зависела от популярности гипотезы.
Когда Лу Чжоу доказал гипотезу о простых числах-близнецах, он не использовал особенно новую теорию. Он использовал только метод простого числа близнецов, упомянутый в диссертации Зеллберга 1995 года. Поэтому люди быстро поняли его доказательство.
Однако процесс проверки гипотезы Полиньяка занял много времени.
Несмотря на то, что Лу Чжоу использовал свой уже проверенный метод групповой структуры, он внес значительные изменения, и он сильно отличался от метода большого сита. Даже для такого громкого имени, как Делинь, рассмотрение заняло бы много времени.
Лу Чжоу написал пятьдесят страниц гипотезы Гольдбаха. Половина из них была посвящена обсуждению теоретической основы, которую он построил для доказательства.
Эта часть может быть опубликована как отдельная диссертация.
В значительной степени его процесс рецензирования зависел от интереса других людей к его работе и от того, насколько другие люди принимали его.
Что касается того, сколько времени это займет, это было вне его контроля.
На самом деле Лу Чжоу думал о критериях системы для завершения миссии.
Если бы он завершил доказательство, но в течение десятилетий никто не принимал его работу, застрял бы он на этой единственной миссии?
Больше всего его смущало то, откуда взялась большая база данных системы. Он, должно быть, пришел из цивилизации, намного более развитой, чем люди.
Лу Чжоу чувствовал, что система сама вынесет решение, подтвердит он гипотезу или нет. Система не будет полагаться на «людей».
Лу Чжоу пришел к выводу, что завершение его миссии будет зависеть от двух факторов.
Первым была правильность.
Второй был публикацией!
На самом деле существовал очень простой способ проверить правильность его доказательства.
Ему не нужно было публиковаться в журналах…
…
После доказательства гипотезы Гольдбаха Лу Чжоу провел целых три дня, разбирая диссертацию на своем компьютере. Он преобразовал его в формат PDF и загрузил на arXiv.
Он был почти уверен, что его тезис верен, потому что у него была привычка тщательно проверять каждую строчку вывода. Он неоднократно анализировал все возможные ошибки.
Что касается публикации… В
ArXiv не было процесса рецензирования, так что это, несомненно, был самый быстрый вариант!
Единственным недостатком было то, что это могло конфликтовать с подачей в другие журналы. Например, загрузка диссертации до истечения срока может нарушить некоторые правила двойной подачи, но Лу Чжоу это не заботило. Он также считал, что авторитетным журналам тоже все равно.
В конце концов, Лу Чжоу не был каким-то безымянным парнем. Он был лауреатом премии Коула в области теории чисел. К тому же его диссертация не была какой-то случайной работой. Это была знаменитая гипотеза Гольдбаха, восьмой вопрос Гильберта 23, который был одной из задач премии тысячелетия!
Следующие два дня он проведет, редактируя и систематизируя свою диссертацию. После этого он отправлял его в [Annual Mathematics].
Когда последняя теорема Ферма была впервые доказана, потребовалось шесть рецензентов, чтобы проверить доказательство. Лу Чжоу не знал, сколько рецензентов он требует, но должно быть не менее четырех.
Лу Чжоу посмотрел на сообщение «окончание загрузки» в своем браузере и глубоко вздохнул.
Значит ли это, что я закончил?
После публикации его диссертации кто-то в этой области получил предупреждение. Где-то на этой планете кто-то уже читал его диссертацию.
Однако Лу Чжоу не знал, засчитала ли система это успешное подчинение.
Лу Чжоу сел перед компьютером и глубоко вздохнул. Затем он закрыл глаза и прошептал.
"Система."
Когда он снова открыл глаза, его встретил чистый белый вид.
Прошло много времени с тех пор, как он пришел сюда. Лу Чжоу почти почувствовал себя неловко.
Он подошел к полупрозрачному информационному экрану и щелкнул панель миссии.
Он собирался посмотреть, выполнена ли его миссия...
Он также мог проверить правильность своего мыслительного процесса.
Подождите минуту…
Лу Чжоу понял проблему.
Если система не реагировала, это означало, что либо его предположение о процессе оценки системной миссии было неверным, либо его тезис был неверным.
Система не давала ему времени подумать.
Раздался звук уведомления.
Затем появилась строка текста.
[Поздравляем, Пользователь, с завершением миссии!]