Gate News message, April 27 — This week marks a significant period for global markets, with central banks from all Group of Seven member nations holding meetings, major U.S. tech companies releasing earnings, and key economic data expected. According to data, 42% of companies in the S&P 500 by marke

Gate News message, April 24 — DeepSeek V4 has published results from formal mathematical reasoning evaluations, achieving a perfect score of 120/120 on Putnam-2025, tying with Axiom for first place. In the practical regime using LeanExplore and constrained sampling, V4-Flash-Max scored 81.00 on the

Gate News message, April 23 — According to Coinglass data, whales on the Hyperliquid platform currently hold $3.577 billion in positions. Long positions account for $1.834 billion (51.27% of total), while short positions stand at $1.743 billion (48.73%). Long positions are currently down $4.467

Economists anticipate a 25 basis point rate hike by the European Central Bank in June 2026, primarily due to rising energy prices linked to the Iran conflict. While inflation is expected to peak at 2.8%, it should moderate in subsequent years, alongside muted economic growth forecasts for the Eurozone. The ECB remains cautious about potential future hikes amid uncertain geopolitical conditions.

以太坊基金会的研究员Antonio Sanso在EthCC会议上更新了以太坊抗量子安全的进展，指出量子计算将在2030年代中期威胁ECDSA算法。以太坊已完成约20%的抗量子准备，计划在2028至2032年全面实现量子抗性。主要挑战在于签名体积，研究团队将通过账户抽象和引入LeanVM来解决。

以太坊联合创始人Vitalik Buterin提出快速确认规则（FCR），旨在将存款确认时间缩短至约13秒，优化用户体验。FCR通过验证者证明提供早期确认信号，不需硬分叉。尽管存在集中化和诚实度的担忧，但仍被视为提升网络效率的重要措施，属于Lean Ethereum路线图的一部分。

Ebury分析师马修·瑞安表示，中东冲突可能使欧洲央行更倾向于加息而非降息，因俄乌战争后的通胀飙升让央行更加警惕潜在风险。他预计拉加德将在周四会议上强调控制通胀的重要性。

以太坊联合创始人Vitalik Buterin提出“精简版以太坊”概念，旨在同时提升网络速度与安全性，采用双系统架构增强网络韧性。该升级可能改变区块链性能评价标准，社区反应积极，关注未来实际性能指标。成功将为ETH建立差异化优势。

Mistral AI 发布开源代码代理 Leanstral，专为 Lean 4 形式化验证设计，能生成可自动校验的代码和证明。该模型采用稀疏 MoE 架构，表现优于其他顶级模型，并提供免费下载和 API 调用。

Odaily星球日报讯 Bitpanda 表示，下周将把超过 10,000 只股票和 ETF 整合到其受监管的应用程序中，从而建立一个所谓的多元资产平台。此次扩张加深了该公司从加密货币原生交易所向全栈投资提供商的转变，因为数字资产平台越来越倾向于整合传统金融产品。（The Block）