Crypto Medwed

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 thông báo đã hoàn tất việc tham dự hội nghị AGNTCon + MCPCon North America 2026, diễn ra ngày 22–23 tháng 10 tại San Jose, California. Sự kiện quy tụ các nhà phát triển, nhà nghiên cứu và công ty công nghệ đang định hình tương lai của trí tuệ nhân tạo tác nhân.
Đối với TRON, việc tham gia những sự kiện như vậy đặc biệt đáng chú ý trong bối cảnh dự án ngày càng quan tâm đến việc kết hợp blockchain, stablecoin và AI.

Nền tảng phân tích Nansen đã công bố nghiên cứu TRON Q3 2026 Report vào ngày 21 tháng 10 năm 2026, tập trung vào sự phát triển của mạng lưới trong quý III. Báo cáo đề cập đến stablecoin, số lượng giao dịch, hoạt động của các địa chỉ, hoạt động của các sàn giao dịch tiền mã hóa và sự phát triển của hệ sinh thái ở cấp độ tổ chức.

Ngày 22 tháng 10 năm 2026, các nhà phát triển TRON đã phát hành phiên bản phần mềm mới GreatVoyage-v4.8.2.4 (Empedocles). Bản cập nhật có trạng thái Mandatory Upgrade, bắt buộc đối với các nhà vận hành nút mạng.
Bản cập nhật tập trung vào việc cải thiện độ ổn định khi thực hiện giao dịch, xử lý hợp đồng thông minh và khắc phục các sự cố chỉ xảy ra trong những tình huống hiếm gặp. Dù danh sách thay đổi tương đối ngắn, bản cập nhật này vẫn rất quan trọng để đảm bảo blockchain hoạt động ổn định.

TRON tiếp tục cho thấy hoạt động kinh tế sôi động. Theo dữ liệu từ nền tảng phân tích DefiLlama do Lookonchain công bố, blockchain này đứng đầu trong số các mạng được theo dõi về doanh thu trong cả ba khoảng thời gian: 24 giờ, 7 ngày và 30 ngày.
Trong 30 ngày qua, doanh thu đạt 23,41 triệu USD, vượt xa Ethereum, Solana, Base và các blockchain lớn khác.

Blockchain TRON tiếp tục ghi nhận mức độ hoạt động mạng lưới cao. Theo dữ liệu từ Token Terminal, trong quý III năm 2026, số lượng giao dịch đạt 1,10 tỷ, tăng 33,7% so với cùng kỳ năm trước.
Không chỉ số lượng giao dịch tăng mà số địa chỉ hoạt động cũng tăng, khẳng định quy mô sử dụng mạng lưới.