Джастин Сун учредил собственную математическую премию

Друзья, Джастин Сун (основатель TRON) объявил о создании собственной математической премии, и сама идея довольно необычна. Награда будет вручаться не просто учёным с громкими именами, а конкретным решениям математических задач.

Кроме того, отдельно будут признаны человек, доказавший теорему, и человек, который смог перевести это доказательство в код, чтобы его можно было полностью верифицировать машиной. И не будет иметь большого значения, человек это, ИИ или их комбинация. Главное — чтобы результат выдерживал машинную проверку.

Ещё одна идея особенно интересна: деньги будут ждать своего победителя. Если математическое сообщество признаёт доказательство, премия останется заблокированной, пока ИИ не подтвердит доказательство.

Сун хочет превратить такие задачи «ожидания» в публичную карту того, что человечество уже доказало, но пока не научило ИИ верифицировать.

По его словам, таким образом его состояние, большая часть которого появилась благодаря математике, возвращается обратно — но уже с прицелом на эпоху искусственного интеллекта.

#TRON #TRONGlobalFriends #TGF