Результаты поиска для "LEAN"
2026-04-27
15:01

Неделя крупных экономических событий: центральные банки встречаются, пять техгигантов публикуют отчеты о прибыли, выходят данные по занятости в США

Gate News сообщение, 27 апреля — На этой неделе наступает значимый период для мировых рынков: центральные банки всех стран — членов «Большой семёрки» проводят заседания, крупные американские технологические компании публикуют отчетность, а также ожидаются ключевые макроэкономические данные. Согласно данным, 42% компаний в S&P 500 по рыночной капитализации объявят результаты за первый квартал на этой неделе, включая пять из семи крупнейших технологических компаний.
Больше
04:49

DeepSeek V4 получает идеальный результат на Putnam-2025, делит первое место с Axiom в формальном математическом рассуждении

Gate News сообщение, 24 апреля — DeepSeek V4 опубликовала результаты оценок формального математического рассуждения, набрав идеальные 120/120 на Putnam-2025, разделив первое место с Axiom. В практическом режиме с использованием LeanExplore и ограниченной выборки V4-Flash-Max набрала 81.00 по
Больше
13:04

Киты Hyperliquid держат позиции на $3.577B: длинные/короткие в соотношении 1.05

Сообщение Gate News, 23 апреля — Согласно данным Coinglass, киты на платформе Hyperliquid в настоящее время держат позиции на $3.577 млрд. Длинные позиции составляют $1.834 млрд (51.27% от общего), тогда как короткие позиции — $1.743 млрд (48.73%). В настоящее время длинные позиции снизились на $4.467
Больше
BTC1,28%
08:16

ЕЦБ, вероятно, повысит ставку на 25 б.п. в июне — возможно, только один раз в этом году, показывают опросы экономистов

Экономисты ожидают повышения ставки на 25 базисных пунктов со стороны Европейского центрального банка в июне 2026 года, главным образом из-за роста цен на энергоносители, связанных с конфликтом в Иране. Хотя ожидается, что инфляция достигнет пика на уровне 2,8%, в последующие годы она должна замедлиться на фоне сдержанных прогнозов экономического роста для еврозоны. ЕЦБ сохраняет осторожность в отношении потенциальных будущих повышений ставок на фоне неопределенных геополитических условий.
Больше
09:41

Фонд Эфириума: завершено примерно 20% подготовки к постквантовой защите, планируется обеспечить полную квантонезависимость до 2032 года

Исследователь Фонда Ethereum Антонио Сансо на конференции EthCC обновил прогресс в области постквантовой безопасности Ethereum и отметил, что квантовые вычисления будут представлять угрозу алгоритму ECDSA в середине 2030-х годов. Ethereum уже завершил около 20% подготовки к постквантовой защите и планирует полностью внедрить квантовую устойчивость в период с 2028 по 2032 год. Основная проблема заключается в размере подписи; исследовательская команда будет решать ее за счет абстракции учетной записи и внедрения LeanVM.
Больше
ETH0,29%
11:06

Vitalik Buterin предлагает правила быстрого подтверждения, время подтверждения депозитов Ethereum может сократиться до 13 секунд

Соучредитель Ethereum Виталик Бутерин предложил правило быстрого подтверждения (FCR), целью которого является сокращение времени подтверждения депозитов примерно до 13 секунд и оптимизация пользовательского опыта. FCR обеспечивает ранние сигналы подтверждения через доказательства валидаторов без необходимости жесткого форка. Несмотря на опасения по поводу централизации и добросовестности, это рассматривается как важная мера повышения эффективности сети и является частью дорожной карты Lean Ethereum.
Больше
ETH0,29%
07:30

Vitalik Buterin предложил концепцию упрощенного Ethereum, ETH может совмещать скорость и безопасность

Соучредитель Ethereum Виталик Бутерин предложил концепцию "упрощенной версии Ethereum", целью которой является одновременное повышение скорости и безопасности сети за счет применения двойной системной архитектуры для повышения устойчивости сети. Это обновление может изменить стандарты оценки производительности блокчейна, сообщество положительно реагирует и ожидает будущих показателей фактической производительности. Успешная реализация создаст дифференцированное преимущество для ETH.
Больше
ETH0,29%
06:55

Mistral AI выпустила Leanstral: первый открытый агент кода Lean 4, способный автоматически генерировать формальные доказательства

Mistral AI выпустила открытый кодовый агент Leanstral, специально разработанный для формальной верификации Lean 4, способный генерировать код и доказательства, которые могут быть автоматически проверены. Модель использует разреженную архитектуру MoE, показывает лучшие результаты по сравнению с другими топовыми моделями и предлагает бесплатную загрузку и вызовы API.
Больше
13:27
1

东方汇理 снизил свою позицию по доллару до «осторожной», ожидая, что Федеральная резервная система продолжит снижать ставки.

ChainCatcher сообщает, что согласно отчету Ten Finance стратегов Amundi CIO, доллар в этом году сталкивается со структурными неблагоприятными ветрами, и ожидается, что Федеральная резервная система может провести еще два снижения ставок в этом году. Аналитики повысили прогноз роста на 2026 год с 1,9% до 2%, однако общая нарратива остается ниже потенциального роста. Существует неопределенность относительно следующего председателя ФРС, и, учитывая отношение президента Трампа к проведению мягкой денежно-кредитной политики, очевидно, что они будут склоняться в сторону снижения ставок.
Больше
05:06

Американская компания VivoPower планирует приобрести долю в Ripple Labs на сумму 300 миллионов долларов

VivoPower через новое совместное предприятие планирует приобрести доли Ripple Labs на сумму 300 миллионов долларов, что позволит инвесторам косвенно получить активы XRP на сумму около 1 миллиарда долларов. Vivo Federation получила одобрение Ripple, в будущем она не сможет инвестировать собственные средства, а будет получать доход за счет управленческих сборов и доли прибыли, с целью достижения 75 миллионов долларов возврата за три года.
Больше
XRP-0,49%