Тео

Сообщение ChainCatcher, известный бычий инвестор в золото и медвежий инвестор в биткойн Питер Шифф заявил, что он сомневается, что резкий рост MSTR сегодня в основном вызван закрытием коротких позиций, и повторил свою точку зрения о "смертельной спирали".Даже если временное восстановление биткойна немного продлило срок жизни Strategy, его долгосрочная медвежья позиция остается неизменной.

ChainCatcher сообщение, согласно отчету Techcrunch, метеорологическая компания WindBorne Systems завершила раунд финансирования B на сумму 37 миллионов долларов, который был совместно возглавлен Khosla Ventures и Galvanize, с постинвестиционной оценкой в 250 миллионов долларов.Компания использует долгосрочные воздушные шары для сбора метеорологических данных и подключения к AI прогнозным моделям, в настоящее время в мире есть 20 точек запуска и около 600 шаров в воздухе. Основными клиентами являются государственные учреждения, а средства этого раунда будут использованы для расширения коммерческой команды и развития бизнеса для клиентов из частного сектора, таких как инвестиционные фонды. С помощью AI-обогащенного метеорологического прогнозирования компания обслуживает множество отраслей, включая финансы и сельское хозяйство.

Сообщение ChainCatcher, Anthropic объявила, что модель Claude Mythos Preview достигла прорыва в области криптографических исследований, обнаружив улучшенный метод атаки на кандидатный алгоритм постквантовой цифровой подписи HAWK. HAWK является кандидатным алгоритмом постквантовой подписи, собранным NIST для противодействия атакам квантовых компьютеров, который ранее прошел два раунда экспертной оценки, но Claude всего за 60 часов снизил эффективную стойкость ключа HAWK-256 с 2^64 до 2^38, значительно уменьшив теоретические затраты на взлом. HAWK еще не был фактически развернут, эта атака в настоящее время не затрагивает никакие производственные системы.Claude также обнаружил улучшенную атаку на 7 раундов AES, увеличив скорость в 200-800 раз. В процессе исследования Claude самостоятельно выполнил обзор литературы, математические рассуждения и экспериментальную проверку под ограниченным руководством криптографов. Атака на HAWK заняла около 60 часов, стоимость API составила около 100 тысяч долларов; атака на AES была выполнена Claude самостоятельно, после генерации около 1 миллиарда токенов была предложена основная инновационная идея. Исследователи Anthropic затем потратили сотни часов на проверку результатов. Anthropic заявила, что модели ИИ уже могут помочь в обнаружении важных недостатков криптографических алгоритмов, и криптографическое сообщество может столкнуться с аналогичными узкими местами, как в области программных уязвимостей ------ результаты исследований, полученные ИИ, значительно превышают возможности верификации человека. Anthropic уже сотрудничает с академическими учреждениями для запуска бенчмарка CryptanalysisBench и координирует раскрытие информации с авторами NIST и государственными партнерами. Исследовательская группа уже достигла предварительных результатов по алгоритмам LEA, Serpent-128 и другим. Anthropic предупреждает, что с увеличением возможностей ИИ в будущем могут быть обнаружены реальные атаки на развернутые системы, и необходимо заранее создать механизмы реагирования.

Сообщение ChainCatcher, Виталик на платформе X заявил, что стоит попробовать новый тип "высокоуровневого языка программирования", который компилируется в Lean (или HOL и т.д.), с акцентом на то, чтобы сделать определения и теоремы как можно более понятными для человека. Не для доказательства, потому что доказательство должно быть просто правильным, ключевым является само определение и теорема. Предполагаемое использование заключается в том, что ИИ выводит большой объем доказательства, а читателю необходимо как можно легче понять, какие точные утверждения были фактически доказаны в этих выводах.

Согласно мониторингу Catcher Predict, на прогнозируемом рынке Polymarket событие "Уимблдон ATP: Григор Димитров против Маттео Берреттини" в подрынке "Уимблдон ATP: Григор Димитров против Маттео Берреттини" вероятность выигрыша опции "Григор Димитров" претерпела резкие колебания, увеличившись с 68.5% час назад до текущих 96% (колебание составило 27.5%). Обратите внимание на влияние соответствующих срочных новостей.

ChainCatcher消息，据Cointelegraph报道，链上资本市场平台Theo宣布，通过瑞士数字资产银行Sygnum向富达国际（Fidelity International）美元数字流动性基金（FILQ）投资2000万美元，成为首个配置该代币化基金的加密原生平台。该基金为代币化美元流动性产品，主要投资于多元化短期货币市场工具。数据显示，Theo此次配置占该基金当前链上管理资产的相当比例，反映出机构资金正持续流入代币化美债及现金管理类产品。