Сунь Юйчэнь: Учредить премию Сунь Юйчэня, награждающую за математические доказательства, проверенные машиной

Основатель TRON Сунь Юйчэнь объявил о создании "Премии Сунь Юйчэня", которая в настоящее время сосредоточена только на математике. Он заявил, что эта премия следует за задачами, а не за личностями, без ограничений по годовому собранию, номинациям или возрасту; каждая задача подписывается в двух колонках: одна колонка указывает доказателя, а другая — человека, который формализует доказательство и записывает его в машину. Оба могут быть одним и тем же человеком, а также человеком, ИИ или человеком, использующим ИИ. Условием получения приза является то, что машина проверяет доказательство от первой строки до последней без ошибок; после успешной проверки обе колонки становятся владельцами приза за эту задачу.

Правила также включают: перед проверкой машиной, если математическое сообщество уже приняло человеческое доказательство, можно предварительно указать имя, приз остается неизменным, статус — "доказано, ожидает формализации". Приз в колонке доказательства выплачивается только за задачи, которые были решены после их размещения; задачи, которые были решены до размещения, все равно будут указаны на имя доказателя, приз выплачивается только тому, кто завершил формализацию, не выплачивается приз за историю математики. Список задач определяется подписью Сунь Юйчэня для размещения задач и их ценообразования; после размещения цена только увеличивается, деньги только обмениваются, не возвращаются, неправильно написанные задачи будут оплачены и повторно размещены; помимо ценообразования, верификация, выплата денег и указание имени не участвуют в голосовании.

Сунь Юйчэнь заявил, что акцент на благотворительность будет смещен на эту премию, первый призовой фонд уже зачислен в блокчейн, адрес и баланс открыты, он оставляет за собой право продолжать инвестировать; подтверждение награды и выплата призов также будут открыты в блокчейне. Он сказал, что именование в честь людей сделано для избежания изменений названий, вызванных сменой организаций, и заявил, что богатство происходит из математики, надеясь "приходить из математики и возвращаться к математике".