Чому я заснував премію Сунь Юйчена

I
Нобель винайшов динаміт. Більша частина його статків за життя походила саме від цього.
Кажуть, що 1888 року одна французька газета помилково опублікувала його некролог із заголовком «Торговець смертю помер». Він прочитав власний некролог, а через кілька років склав заповіт.
Сьогодні вже ніхто не називає його торговцем смертю.
«Нобель» перетворився на нейтральний іменник, як «вольт» і «ват», без емоцій, просто одиниця. Він передав гроші «тим, хто зробив найбільший внесок у людство», гроші повернулися до людства, а його ім'я разом із ними знову стало нейтральним — не завдяки виправданням, а завдяки списку лауреатів за понад сто років.
Я розповідаю цю історію, бо розумію його. Я знаю, звідки беруться гроші, і знаю, куди вони можуть піти.

II
В основі моїх статків лежить математика.
Індустрія блокчейну загалом побудована на криптографічних конструкціях і припущеннях безпеки, що спираються на багаторічні дослідження: складності дискретного логарифмування на еліптичних кривих, незворотності хеш-функцій, складності розкладання великих чисел на множники. 1985 року двоє математиків незалежно один від одного здогадалися, що еліптичні криві можна використовувати в криптографії: один в університеті, інший в IBM, вони не знали один одного. Того року ніхто не вважав цю річ корисною. Те, що вони написали на дошці, згодом перетворилося на ринок обсягом у трильйони доларів, на щось небачене раніше — людина може повністю розпоряджатися власним багатством, не потребуючи чиїхось дозволів. Самі вони не отримали ані копійки.
Ця свобода — один із найбільш недооцінених дарів математики людству. Я багато взяв із цього дару. Заснування цієї премії — передусім повернення боргу.

III
Нобелівської премії з математики не існує. Це недогляд, якому вже понад сто років; можливо, були особисті причини, а можливо, про це просто не подумали.
Пізніше з'явилася премія Філдса — раз на чотири роки, для людей віком до сорока років; з'явилася Абелівська премія — раз на рік, за здобутки всього життя. Усі вони чудові, але їхній ритм — це ритм минулої епохи.
У математичному світі насправді існувала інша премія. Erdős усе життя призначав ціну задачам — від двадцяти п'яти доларів до десяти тисяч доларів; хто розв'язував задачу, тому він виписував чек. Багато хто оформлював чеки в рамки й вішав на стіну, так і не перевівши їх у готівку. Він помер 1996 року, і після цього такі чеки виписували дедалі рідше.
А математика входить в іншу епоху. Штучний інтелект не може проводити експерименти, але може робити висновки; штучному інтелекту важко замінити фізика у створенні колайдера, але він може замість математика випробувати тисячу шляхів. Сьогодні від висунення гіпотези до її розв'язання може минути кілька місяців, а може — кілька днів. Премія, яку вручають раз на чотири роки, перед такою швидкістю схожа на дзвін, що б'є раз на чотири роки, підвішений в епосі, де час вимірюють днями.

IV
Тому правила премії Сунь Юйчена дуже прості.
Премія слідує за задачею, а не за людиною. Не чекає щорічних конференцій, не чекає номінацій, не чекає віку.
Для кожної задачі є два стовпці з іменами. В одному зазначається автор доведення, в іншому — формалізатор, людина, яка перенесла доведення в машину. В обох стовпцях може бути одна й та сама людина, а можуть бути люди, які живуть на різних кінцях планети й не знають одне одного. Людина може, ШІ може, людина за допомогою ШІ теж може — мене не цікавить вид у жодному зі стовпців. Те саме ім'я може з'являтися знову й знову, і байдуже, у якому стовпці.
У грошей є лише один тригер: машина перевіряє доведення від першого рядка до останнього, без жодної помилки. Після проходження перевірки список в обох стовпцях стає власниками винагороди за цю задачу. Цей критерій придумав не я. Scholze виставив свою найважливішу теорему й попросив перенести її в машину; велика теорема Ферма просто зараз переноситься всередину рядок за рядком.
До того як машина перевірить доведення, людська праця теж не пропадає. Математична спільнота його приймає, ім'я спершу вивішується, гроші не рухаються ні на копійку, а в рядку стану написано: доведено, очікує формалізації.
Гроші в стовпці розв'язання виплачуються лише за задачі, розв'язані після їхнього розміщення. Якщо на момент розміщення задачу вже було розв'язано, ім'я автора доведення все одно зазначається, але гроші виплачуються лише тому, хто переніс його в машину. Ця премія фіксує те, що відбулося після її заснування, і не виплачує заднім числом винагород за історію математики.
Розподіл чіткий: імена належать математичній спільноті, гроші — машині, засновник не привласнює ні того, ні іншого. Людське судження залишається лише в одному: підтвердити, що задача, записана в машину, є саме тією задачею.
Залишається остання річ, яку вирішую я: список задач. Яка задача буде розміщена і яку ціну матиме — підписую я. У чеках Erdős ціна теж була написана ним самим, і тут я не вдаю винятку. Але щойно задача з'явилася на полиці, усе застигає: задачі можна лише додавати, гроші можна лише отримати, але не повернути, і ніхто, включно зі мною, не може нічого змінити. Якщо задача записана неправильно, гроші все одно виплачуються, а потім її розміщують знову.
Увесь свій смак я вкладаю лише в цю одну річ. Окрім визначення ціни, я не маю жодного голосу ні в перевірці, ні у виплаті грошей, ні в зазначенні імен.
Вирішує результат.

V
Найбільше в цих правилах мені подобається одне слово — «чекати».
Після того як задачу розв'язано й математична спільнота її прийняла, гроші не рухаються одразу. Ім'я автора доведення спершу вивішується, стовпець формалізації залишається порожнім, а в рядку стану написано: доведено, очікує формалізації. Той, хто перенесе це доведення в машину, після машинної перевірки впише своє ім'я в порожній стовпець, і подорож грошей до їхнього власника розпочнеться саме в цей момент.
В інших преміях очікування — це затримка, процедура, необхідне зло. Тут саме очікування є списком.
Багато хто оформлював чеки Erdős у рамки й вішав на стіну, так і не перевівши їх у готівку. Оформлені в рамку гроші, спрямовані в минуле, — це пам'ять; гроші, підвішені на ланцюзі й спрямовані в майбутнє, — це заклик. Порожній стовпець рівнозначний повідомленню всьому світу: тут є робота, і вона має ціну.
Тож разом із цим списком задач виростає ще дещо: відкрита карта, на якій позначено все, що людство вже визнало, але машина ще не визнала. Сьогодні такої карти не існує. Є лише фрагменти, розкидані в кількох місцях; її ніколи не об'єднували, а тим більше ніколи не призначали їй ціну.
Формалізаторам ніколи не бракувало ентузіазму, їм бракувало креслення робіт із зазначеними цінами. Хто заповнить порожній стовпець, той отримає гроші. Відтепер перенесення довгих доведень у машину залишається їхньою пристрастю, а рахунки оплачую я. $ETH

‌#Gate打金狗獨家支持0Gas交易