justinsun

Основатель TRON Джастин Сан объявил о создании Justin Sun Prize, новой премии за решение сложных математических задач и формализацию доказательств для машинной проверки.
Идея заметно отличается от традиционных научных наград. Здесь нет возрастных ограничений, ежегодной церемонии или классического голосования комиссии. Главное условие получения вознаграждения, математическое доказательство должно в итоге пройти полную машинную проверку без ошибок.
Особенно интересно, что правила премии изначально учитывают новую реальность: решать задачи смогут люди, искусственный интеллект или человек вместе с AI.
Две награды за одну математическую задачу
Для каждой задачи предусмотрены две отдельные роли.
Первая - prover, то есть автор математического доказательства.
Вторая - formalizer, человек или система, которая переводит это доказательство в строгую форму, позволяющую компьютеру проверить каждый этап.
Обе роли может выполнить один участник, а могут совершенно разные люди. При этом Сан прямо заявляет, что для него не имеет значения, кто получил результат, человек, AI или их комбинация.
Если математическое сообщество признает новое доказательство правильным, имя его автора будет зафиксировано сразу. Но деньги останутся заблокированными со статусом «Proved, pending formalization» до завершения формализации и машинной проверки.
Получается интересная модель. Доказать теорему недостаточно, необходимо еще сделать доказательство полностью понятным и проверяемым для машины.
Почему Сан решил создать математическую премию
Свою мотивацию Джастин Сан связывает непосредственно с происхождением криптоиндустрии. Он отмечает, что блокчейн существует благодаря математике и криптографии: эллиптическим кривым, хеш-функциям и другим математическим конструкциям.
По его словам, значительную часть своего состояния он получил благодаря индустрии, построенной на этих открытиях, поэтому создание премии способ вернуть часть полученного обратно в фундаментальную математику.
В качестве исторического примера Сан вспоминает математика Пала Эрдёша, который назначал собственные денежные награды за решение открытых математических задач от $25 до $10 000. Justin Sun Prize фактически переносит эту идею в эпоху AI и блокчейна.
Почему здесь настолько важен искусственный интеллект
По мнению Сана, математика входит в совершенно новую эпоху. AI особенно хорошо подходит для задач, связанных с логическими рассуждениями и перебором большого количества возможных путей решения. Поэтому скорость появления и проверки математических доказательств потенциально может значительно увеличиться.
Именно поэтому премия не будет проводиться раз в несколько лет. Вместо этого создается постоянно пополняемый реестр математических задач с заранее установленными наградами.
Сан сохраняет за собой право определять, какие задачи появятся в списке и сколько будет стоить их решение. Но после добавления задачи ее нельзя удалить, а предназначенное для нее вознаграждение нельзя вернуть обратно спонсору.
Блокчейн вместо доверия к организатору
Еще одна необычная часть Justin Sun Prize, использование блокчейна для призового фонда. По словам Сана, первоначальный фонд уже размещен ончейн, а его адрес и баланс доступны публично. Сам Сан оставляет за собой возможность только добавлять новые средства.
Все выплаты победителям также должны оставаться в блокчейне, позволяя независимо проверить историю распределения наград. Победившие математические доказательства планируется публиковать открыто.
Таким образом, Сан хочет минимизировать необходимость доверять ему самому или отдельной комиссии: правильность формализованного доказательства должна определяться математикой и машинной проверкой, а движение призовых средств — фиксироваться ончейн.
Премия не ограничена только людьми
Возможно, самая необычная особенность Justin Sun Prize заключается именно здесь. Традиционные научные премии созданы для признания достижений людей. В новой системе происхождение решения принципиального значения иметь не должно.
Если AI самостоятельно найдет доказательство, либо человек получит его совместно с AI, результат может претендовать на признание на тех же условиях. Главное корректность доказательства и возможность его формальной проверки Это превращает премию одновременно в эксперимент на пересечении математики, AI и блокчейна.
Почему премия получила имя Джастина Сана
Сан отдельно объясняет и решение назвать награду собственным именем. Он приводит в пример премии Нобеля, Филдса, Абеля и Тьюринга и считает, что персональное имя позволяет инициативе существовать независимо от компаний и институтов.
Кроме того, 36-летний Сан пишет, что уже накопленного состояния ему достаточно и он хочет самостоятельно определить его дальнейшее предназначение: капитал, полученный благодаря математике, должен вернуться в математику.
Более того, он заявляет, что намерен сосредоточить дальнейшие благотворительные усилия именно на Justin Sun Prize, поскольку считает эту инициативу своим потенциально наиболее значимым вкладом. Пока премия будет посвящена исключительно математике.
Заключение
Самое интересное в Justin Sun Prize даже не сам призовой фонд, а попытка создать новую модель научного вознаграждения для эпохи искусственного интеллекта. Здесь соединяются сразу три направления: математика дает задачу, AI может участвовать в ее решении и формализации, а блокчейн обеспечивает прозрачность вознаграждения.
Особенно показательно отсутствие принципиального разделения между человеком и машиной. Если AI действительно начнет самостоятельно решать серьезные математические задачи, Justin Sun Prize потенциально может стать одним из экспериментов, где такие результаты будут не просто демонстрироваться, а формально проверяться, фиксироваться и получать экономическую ценность.
Теперь главный вопрос, какие именно нерешенные математические задачи появятся в официальном реестре и какие суммы Сан назначит за их решение.
#JustinSun #TRON #AI #TGF #TRONGlobalFreinds

Hãy dành một chút thời gian để phân tích vụ việc này một cách khách quan giữa World Liberty Financial và Justin Sun, người sáng lập TRON @TRON DAO , vì những gì vừa xảy ra tại tòa án liên bang của California thật sự rất đáng chú ý về mặt pháp lý và phơi bày cách—đáng tiếc—một số dự án trong thế giới crypto vận hành (không có gì mới dưới ánh mặt trời).
Hóa ra là với tư cách nhà đầu tư, Justin Sun đã bỏ ra 45 triệu đô la để đầu tư vào token $WLFI khi dự án vẫn chưa thực sự khởi động, giúp họ huy động hơn 550 triệu đô la. Nhưng phía World Liberty lại gài một “cửa hậu” (backdoor) vào hợp đồng thông minh để có thể đóng băng, lấy đi hoặc đốt cháy token của bất kỳ ai mà không cần thông báo. Và họ đã áp dụng nó lên Justin Sun: họ tước tài sản của anh ta, và khi anh ta đi đòi quyền lợi của mình, họ đe dọa sẽ kiện anh ta bằng các cáo buộc hình sự.

Tôi nghĩ câu chuyện về HTX chỉ là thêm một câu chuyện về trừng phạt nữa.
Sau đó tôi bắt đầu theo dõi dòng thời gian.
HTX lần đầu bị đưa vào diện bị giám sát theo các lệnh trừng phạt của Vương quốc Anh vào tháng 5 vì bị cáo buộc có liên hệ với nền kinh tế tiền mã hóa của Nga. Vào tháng 7, EU đã đưa HTX vào danh sách trừng phạt của mình, cáo buộc các công ty tiền mã hóa, bao gồm cả HTX, đã giúp người dùng Nga vượt qua các hạn chế.
Sau ngày 14 tháng 8, Binance đã thông báo rằng họ sẽ ngừng xử lý các giao dịch liên quan đến HTX từ ngày 23 tháng 8.
Nếu bạn lỡ mất nó thì đây là:
Binance About To Stop Transactions