# Сопутствующие статьи по теме Доказательство

Новостной центр HTX предлагает последние статьи и углубленный анализ по "Доказательство", охватывающие рыночные тренды, новости проектов, развитие технологий и политику регулирования в криптоиндустрии.

Zcash заявляет, что доказательство Ironwood исключает необнаружимые ошибки подделки

Исследователи Zcash завершили формальную верификацию Ironwood, опубликовав машинно-проверенное доказательство, что новый экранированный пул сети не содержит необнаружимых ошибок, способных привести к подделке монет, при соблюдении заявленных криптографических предположений. Доказательство, написанное на языке Lean, содержит более 2700 теорем и потребовало более месяца работы трёх команд. Оно устанавливает свойство безопасности «целостности баланса», гарантируя, что пул не может выплатить большую сумму, чем была публично в него внесена. Работа покрывает необходимые компоненты, включая систему доказательств с нулевым разглашением, но не касается гарантий конфиденциальности. Ironwood был представлен в обновлении NU6.3 как ответ на уязвимость в старом пуле Orchard, которая теоретически позволяла подделку ZEC. Для восстановления доверия к целостности эмиссии Zcash средства при миграции из Orchard проходят через публичный контрольный пункт («турникет»), предотвращающий попадание потенциально избыточных монет в новый пул. Этот процесс также может со временем предоставить данные о возможной эксплуатации старой уязвимости.

cointelegraphВчера 01:16

Zcash заявляет, что доказательство Ironwood исключает необнаружимые ошибки подделки

cointelegraphВчера 01:16

GPT-5.6 за 1 час решает 50-летнюю математическую проблему: 64 ИИ снимают корону с теории графов

11 июля OpenAI объявила, что GPT-5.6 Sol Ultra доказал гипотезу циклического двойного покрытия — проблему теории графов, которая оставалась нерешённой в течение 50 лет. Решение было найдено менее чем за час. Гипотеза, выдвинутая такими математиками, как Тутт, утверждает, что любой конечный неориентированный граф без мостов содержит набор циклов, где каждое ребро принадлежит ровно двум циклам. Для доказательства OpenAI использовала систему из 64 параллельных ИИ-агентов, каждый из которых исследовал различные подходы (алгебраические, структурные и др.). Часть агентов выступала в роли «строгих критиков», проверяя предложенные доказательства на ошибки. Система запрещала необоснованные утверждения и требовала конкретных конструкций. Доказательство свело задачу к анализу кубических графов и применило теорему Тутта о 8-потоке. Ключевым шагом стало введение леммы о назначении рёбрам наборов из двух элементов с определёнными свойствами, что позволило свести проблему к решаемой системе линейных уравнений. Исследователь OpenAI Ноам Браун объяснил успех методом параллельных вычислений во время тестирования (TTC), который значительно сократил время решения. Это достижение демонстрирует растущую способность ИИ к сложным логическим рассуждениям и открывает новые возможности для решения фундаментальных научных проблем.

marsbit07/15 07:59

GPT-5.6 за 1 час решает 50-летнюю математическую проблему: 64 ИИ снимают корону с теории графов

marsbit07/15 07:59

Вперед, математик на ИИ из Цинхуа: от идеи до теоремы, принимает участие в 84-страничной статье о квантовых алгоритмах

«ИИ-математик из Цинхуа»: как ИИ участвовал в создании 84-страничной работы по квантовым алгоритмам Исследователи из Института интеллектуальной промышленности Университета Цинхуа (AIR) представили интеллектуальную систему AIM, предназначенную для помощи в математических исследованиях. В отличие от инструментов, решающих готовые задачи, AIM способна участвовать в более ранних этапах научной работы: помогает генерировать идеи, структурировать теоремы, создавать черновики доказательств, которые затем проверяются человеком. На практике AIM была использована в передовом исследовании по квантовым алгоритмам под названием «Sign Embedding Quantum Algorithms for Matrix Equations and Matrix Functions». Работа началась с интуитивной идеи исследователей-людей: может ли рациональная аппроксимация стать принципом проектирования квантовых алгоритмов? ИИ помог расширить эту идею в несколько возможных направлений исследования. Человеческие учёные выбрали наиболее перспективный путь — метод «знакового внедрения» (Sign-Embedding). Затем AIM协助 организовать теоретический каркас, сгенерировала черновики доказательств и анализ сложности. В результате совместной работы был создан 84-страничный научный документ, представляющий новый класс квантовых алгоритмов для решения матричных уравнений и вычисления матричных функций. Ключевой вклад работы — предложение единого подхода к различным задачам путём их «внедрения» в знаковую функцию матрицы с последующей эффективной квантовой аппроксимацией. Исследование демонстрирует реалистичную модель взаимодействия человека и ИИ в теоретической науке. ИИ выступает как инструмент для высокопроизводительного исследования пространства идей, генерации вариантов и черновиков. Человек-исследователь выполняет критическую роль «воротаря»: оценивает ценность направлений, проверяет допущения, исправляет ошибки и осуществляет окончательный синтез результатов. Такой симбиоз позволяет повысить эффективность исследований, перенося фокус учёных с рутинных выкладок на стратегический выбор задач и глубокую экспертизу.

marsbit07/10 02:55

Вперед, математик на ИИ из Цинхуа: от идеи до теоремы, принимает участие в 84-страничной статье о квантовых алгоритмах

marsbit07/10 02:55

Чем останется биткойн в эпоху ИИ?

Недавнее падение биткойна ниже 60 000 долларов вновь поднимает вопрос о его ценности в эпоху ИИ. Автор рассматривает ИИ и биткойн как две стороны одной медали. ИИ радикально снизил стоимость создания контента (текстов, изображений, видео) почти до нуля, что привело к потоку информации, где подлинное и сфабрикованное становится все труднее отличить. В результате истинную ценность приобретает не сам контент, а возможность его **верификации** — подтверждения подлинности фактов, активов, записей. Здесь и проявляется суть биткойна. Его часто критикуют за огромное энергопотребление, которое, в отличие от ИИ, кажется непродуктивным. Однако автор предлагает другую точку зрения: если ИИ сжигает энергию для **создания** (генерирования контента и возможностей), то биткойн сжигает её для **верификации**. Его децентрализованная сеть, основанная на криптографии и консенсусе, создает неизменяемый и самостоятельно проверяемый реестр транзакций. Энергия тратится на то, чтобы сделать подделку истории или мошенническую транзакцию астрономически дорогой и практически невозможной без захвата всей сети. Проводя историческую параллель, автор сравнивает ИИ с печатным станком Гутенберга, который резко удешевил распространение знаний, а биткойн/блокчейн — с двойной бухгалтерией, которая снизила затраты на доверие в коммерции. Таким образом, ИИ и блокчейн не конкурируют, а дополняют друг друга в новой цифровой реальности: один отвечает за безграничное **создание**, другой — за надежное **доказательство** и проверку. Биткойн, в этой логике, — это не просто машина для создания монет, а «машина для создания верифицируемости». В мире, где ИИ может сгенерировать что угодно, конечной ценностью может стать не количество контента, а наличие независимо проверяемых фактов и активов. Будущее биткойна остается неопределенным, но его основная функция — обеспечение доверия без доверия — приобретает новую актуальность в эпоху повсеместных глубоких подделок.

marsbit06/30 15:58

Чем останется биткойн в эпоху ИИ?

marsbit06/30 15:58

Криптоиндустрия вступает в эпоху «Покажи мне»: только лишь видения уже недостаточно

В криптоиндустрии наступает эпоха «докажи это» (Show Me Era), когда простого видения и обещаний уже недостаточно. Раньше достаточно было идеи и white paper, чтобы привлечь внимание. Сейчас, с приходом крупных традиционных финансовых институтов (например, BlackRock, Fidelity, JPMorgan) и их реальных продуктов, а также с ростом скептицизма и зрелости аудитории, изменились правила игры. Теперь ключевое значение имеют конкретные доказательства: реальные партнёрства с подписанными контрактами, фактические данные об объёмах транзакций, активных пользователях и доходах (проверяемые в сети), а также органическое сообщество пользователей. Коммуникация должна строиться от фактов — что уже построено и кем используется — а не от гипотетического видения. Хотя видение по-прежнему важно, его доля в сообщениях должна уступить место результатам. Более высокие требования отсеивают шум и помогают настоящим проектам заявить о себе.

链捕手06/25 06:22

Криптоиндустрия вступает в эпоху «Покажи мне»: только лишь видения уже недостаточно

链捕手06/25 06:22

MEXC начинает 2026 год с сильными резервами: январский аудит показывает покрытие BTC на уровне 158%

MEXC, одна из самых быстрорастущих криптобирж, опубликовала январский аудит доказательств резервов за 2026 год. Резервы всех основных активов превышают 100%, при этом покрытие BTC выросло до 158%, а USDC — до 140%. USDT и ETH сохраняют уровень покрытия на уровне 127% и 107% соответственно. На платформе хранится 6 172,88 BTC, 2,24 млрд USDT, 111,54 млн USDC и 61 729,67 ETH. По сравнению с декабрем резервы BTC увеличились на 771 монету, а ETH — на 4 273 монеты. MEXC использует Merkle Tree для верификации резервов, что позволяет пользователям самостоятельно проверять свои балансы. Ежемесячные аудиты проводит независимая компания Hacken, что гарантирует прозрачность и безопасность активов. Платформа обязуется и в дальнейшем публиковать проверенные отчеты для укрепления доверия пользователей.

TheNewsCrypto01/14 10:17

MEXC начинает 2026 год с сильными резервами: январский аудит показывает покрытие BTC на уровне 158%

TheNewsCrypto01/14 10:17

活动图片