Crypto Medwed

Canary Capitalは、Canary Staked TRX ETF（TRXS）の主な特徴について説明しました。これは、従来の証券口座を通じて投資家がTRXの価値にアクセスできる上場投資信託です。この商品の最大の特徴は、価格を追跡するために先物やデリバティブを使うのではなく、ファンドが実際のTRXトークンを保有している点にあります。

26 октября 2026 года команда Джастина Сана объявила о партнёрстве Justin Sun Prize с математической платформой MathDB. В рамках сотрудничества запускается пилотная программа из 50 математических задач, а призовой фонд за решение отдельных проблем может достигать $1 млн.
Научное направление программы возглавит профессор Калифорнийского технологического института (Caltech) Тони Юэ Ю (Tony Yue Yu) вместе со своей командой.
Главная цель инициативы объединить фундаментальную математику, искусственный интеллект и технологии формальной проверки доказательств.
50 математических задач и вознаграждения до $1 млн
Новая программа охватывает 50 математических проблем, распределённых по четырём уровням вознаграждений.
В наиболее сложную категорию входят некоторые из самых известных нерешённых задач современной математики:
P против NP - одна из центральных проблем теоретической информатики.Гипотеза Римана - фундаментальная задача теории чисел.Гипотеза Ходжа - важнейшая проблема алгебраической геометрии.Существование теории Янга - Миллса и массовый разрыв - задача математической физики.Гипотеза Бёрча - Свиннертон-Дайера - проблема, связанная с эллиптическими кривыми.Функториальность в глобальной программе Ленглендса - направление, объединяющее различные разделы современной математики.
В зависимости от сложности задачи общий призовой фонд за её решение может достигать $1 млн.
Деньги получат не только авторы решений
Одной из наиболее интересных особенностей сотрудничества Justin Sun Prize и MathDB стала система распределения наград.
Вознаграждение разделяется на три направления:
50% - непосредственно за математическое решение.30% - за формализацию доказательства в Lean.20% - за качественное и доступное объяснение полученного результата.
Например, если призовой фонд конкретной задачи составляет $1 млн, предусмотренное распределение соответствует $500 000 за решение, $300 000 за формализацию и $200 000 за объяснение.
Это не означает автоматическую выплату всех трёх частей, каждая категория предполагает отдельную проверку и выполнение установленных условий.
Подобный подход интересен тем, что программа стимулирует не только поиск математических открытий, но и их проверку, документирование и распространение.
Зачем нужен Lean?
Одной из ключевых технологий новой программы станет Lean, система формальной проверки математических доказательств.
Современные ИИ-модели уже способны предлагать сложные математические рассуждения, однако убедительно выглядящий ответ не всегда является правильным. Особенно это важно при решении фундаментальных задач, где даже небольшая логическая ошибка может полностью обесценить результат.
Lean позволяет представить доказательство в формальном виде, после чего специальная программа проверяет корректность логических шагов. Таким образом, исследователь может предложить решение, другой специалист формализовать его, а система проверки поможет подтвердить правильность математических рассуждений.
При этом автоматическая проверка не заменяет всей научной экспертизы, также необходимо установить, что формализовано именно требуемое утверждение и соблюдены правила конкурса.
Главная идея оценивать научные результаты по строгости доказательств, а не по известности их авторов.
Какую роль играет MathDB?
MathDB - исследовательская платформа для организации математических знаний, открытых проблем, теорем и доказательств. В рамках партнёрства платформа будет принимать представленные решения, проверять формализации в Lean и оценивать пояснительные материалы.
Команда Justin Sun Prize отдельно отвечает за проверку соответствия участников условиям программы, установление авторства, приоритета результатов и применение правил присуждения наград.
Таким образом, создаётся процедура, в которой научная проверка и определение права на вознаграждение выполняются раздельно.
Как это связано с искусственным интеллектом и TRON?
Джастин Сан уже неоднократно подчёркивал, что фундаментальная математика лежит в основе современных блокчейнов, криптографии и многих других технологий.
Развитие искусственного интеллекта открывает дополнительные возможности для проведения научных исследований. ИИ может помогать искать закономерности, предлагать гипотезы и участвовать в разработке доказательств.
Однако чем активнее используются подобные инструменты, тем важнее становится независимая проверка результатов. Именно эту задачу Justin Sun Prize пытается решить через сотрудничество с MathDB.
Заключение
На мой взгляд, партнёрство Justin Sun Prize с MathDB один из наиболее интересных этапов развития инициативы. Особенно привлекает внимание система распределения наград.
Вознаграждаются не только авторы математических решений, но и специалисты, которые смогут формально доказать их корректность и объяснить результаты другим исследователям.
В эпоху стремительного развития ИИ это действительно важный подход. Сегодня нейросети способны генерировать огромное количество гипотез и рассуждений, однако научную ценность представляют только результаты, которые выдерживают строгую проверку. И здесь у формальных методов может появиться совершенно новая роль.
Конечно, запуск программы ещё не означает, что сложнейшие математические задачи будут решены в ближайшее время. Но если сотрудничество с MathDB позволит создать прозрачную систему проверки и вознаграждения научных открытий, инициатива может оказаться полезной далеко за пределами криптовалютной индустрии.
В конечном итоге развитие фундаментальной математики способно принести гораздо больше пользы технологиям будущего, чем очередной краткосрочный тренд на крипторынке.
#Tron #JustinSun #AI #TGF #TRONGlobalFreinds

TRONは、カリフォルニア州サンノゼで10月22〜23日に開催されたAGNTCon + MCPCon North America 2026への参加を終えたと発表しました。このイベントには、エージェント型人工知能の未来に取り組む開発者、研究者、テクノロジー企業が集まりました。
ブロックチェーン、ステーブルコイン、AIの融合にプロジェクトの関心が高まるなか、TRONにとって、こうしたイベントへの参加は特に意義があります。

分析プラットフォームのNansenは2026年10月21日、2026年第3四半期におけるネットワークの発展を取り上げた調査レポート「TRON Q3 2026 Report」を公開しました。レポートでは、ステーブルコイン、トランザクション数、アドレスの活動、暗号資産取引所の運営、エコシステムの制度面での発展を網羅しています。

2026年10月22日、TRONの開発者はソフトウェアの新バージョンGreatVoyage-v4.8.2.4（Empedocles）を発表しました。このアップデートはMandatory Upgradeに指定されており、ネットワークのノード運用者は必ず適用する必要があります。
主な焦点は、トランザクションの実行安定性、スマートコントラクトの処理、まれな状況で発生する問題の修正です。変更点の一覧は比較的短いものの、ブロックチェーンの安定した稼働にとって重要なアップデートです。

TRONは引き続き高い経済活動を示しています。Lookonchainが公開した分析プラットフォームDefiLlamaのデータによると、ブロックチェーンはRevenue指標で、24時間、7日間、30日間の3つの期間すべてにおいて、追跡対象ネットワークの首位に立ちました。
過去30日間のRevenueは2,341万ドルに達し、Ethereum、Solana、Baseをはじめとする主要なブロックチェーンを大きく上回りました。