Kết quả tìm kiếm cho "LEAN"
2026-04-24
04:49

DeepSeek V4 Đạt Điểm Hoàn Hảo Trên Putnam-2025, Hòa Với Axiom Trong Suy Luận Toán Học Chính Thức

Tin tức từ Gate, ngày 24 tháng 4 — DeepSeek V4 đã công bố kết quả từ các bài đánh giá suy luận toán học chính thức, đạt điểm tuyệt đối 120/120 trên Putnam-2025, hòa với Axiom ở vị trí số 1. Trong chế độ thực dụng sử dụng LeanExplore và lấy mẫu bị ràng buộc, V4-Flash-Max đạt 81.00 trên
Xem thêm
13:04

Cá voi Hyperliquid nắm giữ 3,577B USD trong vị thế, tỷ lệ long-short ở mức 1,05

Tin tức Cổng, ngày 23 tháng 4 — Theo dữ liệu của Coinglass, các cá voi trên nền tảng Hyperliquid hiện đang nắm giữ 3,577 tỷ USD trong các vị thế. Vị thế mua (long) chiếm 1,834 tỷ USD (51,27% tổng số), trong khi vị thế bán (short) đứng ở mức 1,743 tỷ USD (48,73%). Vị thế mua (long) hiện đang giảm $4.467
Xem thêm
BTC2,29%
08:16

Khả năng ECB tăng 25bp vào tháng 6, có thể chỉ tăng một lần trong năm nay, khảo sát của các nhà kinh tế cho thấy

Các nhà kinh tế dự đoán Ngân hàng Trung ương Châu Âu (ECB) sẽ tăng lãi suất thêm 25 điểm cơ bản vào tháng 6/2026, chủ yếu do giá năng lượng tăng liên quan đến xung đột Iran. Mặc dù lạm phát dự kiến đạt đỉnh ở mức 2,8%, nhưng sẽ hạ nhiệt trong những năm tiếp theo, cùng với các dự báo tăng trưởng kinh tế ở Khu vực đồng euro khá ảm đạm. ECB vẫn thận trọng trước khả năng các đợt tăng lãi suất trong tương lai trong bối cảnh điều kiện địa chính trị không chắc chắn.
Xem thêm
09:41

Quỹ Ethereum: Đã hoàn thành khoảng 20% công tác chuẩn bị kháng lượng tử, dự kiến đến trước năm 2032 sẽ đạt được khả năng kháng lượng tử toàn diện

Nhà nghiên cứu của Quỹ Ethereum, Antonio Sanso, đã cập nhật tiến độ về khả năng kháng lượng tử của Ethereum tại hội nghị EthCC, cho biết máy tính lượng tử sẽ đe dọa thuật toán ECDSA vào giữa những năm 2030. Ethereum đã hoàn tất khoảng 20% công tác chuẩn bị kháng lượng tử và dự kiến triển khai đầy đủ khả năng kháng lượng tử trong giai đoạn từ 2028 đến 2032. Thách thức chính nằm ở kích thước chữ ký; nhóm nghiên cứu sẽ giải quyết vấn đề này thông qua trừu tượng hóa tài khoản và việc đưa LeanVM vào.
Xem thêm
ETH3,14%
11:06

Vitalik Buterin đề xuất quy tắc xác nhận nhanh, thời gian xác nhận ký gửi Ethereum có thể được rút ngắn xuống còn 13 giây

Ethereum co-founder Vitalik Buterin proposed Fast Confirmation Rules (FCR), aiming to reduce deposit confirmation time to approximately 13 seconds and optimize user experience. FCR provides early confirmation signals through validator attestations without requiring a hard fork. Despite concerns about centralization and honesty, it is still viewed as an important measure to enhance network efficiency and is part of the Lean Ethereum roadmap.
Xem thêm
ETH3,14%
07:30

Vitalik Buterin đề xuất khái niệm Ethereum phiên bản tối giản, ETH có triển vọng cân bằng tốc độ và bảo mật

Đồng sáng lập viên Ethereum Vitalik Buterin đã đề xuất khái niệm "Ethereum phiên bản rút gọn", nhằm nâng cao đồng thời tốc độ mạng và tính bảo mật, sử dụng kiến trúc hệ thống kép để tăng cường khả năng chịu đựng của mạng. Nâng cấp này có thể thay đổi tiêu chuẩn đánh giá hiệu suất blockchain, cộng đồng có phản ứng tích cực, chú ý đến các chỉ số hiệu suất thực tế trong tương lai. Thành công sẽ thiết lập ưu thế khác biệt cho ETH.
Xem thêm
ETH3,14%
06:55

Mistral AI phát hành Leanstral: Agent mã nguồn mở Lean 4 đầu tiên, có thể tự động xuất bản chứng minh hình thức

Mistral AI phát hành Leanstral, một mã tác nhân nguồn mở, được thiết kế đặc biệt cho xác minh hóa hình thức Lean 4, có khả năng tạo mã và chứng minh có thể được tự động xác thực. Mô hình sử dụng kiến trúc MoE thưa thớt, hoạt động vượt trội so với các mô hình hàng đầu khác, và cung cấp tải xuống miễn phí và gọi API.
Xem thêm
13:27
1

东方汇理 hạ mức độ trung lập của USD xuống “thận trọng”, dự đoán Fed sẽ tiếp tục hạ lãi suất

ChainCatcher tin tức, theo báo cáo của Jin Shi, các nhà phân tích của Amundi cho biết rằng đồng đô la Mỹ hiện đang phải đối mặt với những gió ngược cấu trúc trong năm nay, và dự kiến Cục Dự trữ Liên bang có thể sẽ thực hiện hai lần cắt giảm lãi suất nữa trong năm nay. Các nhà phân tích đã nâng nhẹ kỳ vọng tăng trưởng năm 2026 từ 1,9% lên 2%, nhưng tường thuật chung vẫn là tăng trưởng thấp hơn tiềm năng. Về tính không chắc chắn liên quan đến vị trí Chủ tịch Cục Dự trữ Liên bang kế tiếp, xem xét việc Tổng thống Trump thúc đẩy chính sách tiền tệ nâng lỏng, rõ ràng họ sẽ thiên vị cắt giảm lãi suất.
Xem thêm
15:45

Arthur Hayes:Riêng tư sẽ trở thành câu chuyện chủ đạo của thị trường tiền điện tử vào năm 2026

Odaily Planet Daily News: Arthur Hayes stated that privacy will define the next wave of cryptocurrency trading, with Zcash serving as the privacy beta for it. His family office Maelstrom has established a large Zcash position at low prices in Q3 2025, and Zcash has become the second-largest liquid asset holding in its portfolio after Bitcoin. Arthur Hayes believes that as American political motivations lean toward radical credit expansion, expanded US dollar liquidity will support Bitcoin and privacy assets. Additionally, Maelstrom is shifting its research and portfolio strategy toward the zero-knowledge proof ecosystem.
Xem thêm
ZEC2,32%
BTC2,29%
05:06

Công ty niêm yết tại Mỹ VivoPower dự kiến chi 300 triệu USD để mua cổ phần của Ripple Labs

VivoPower thông qua kế hoạch liên doanh mới dự kiến mua cổ phần trị giá 300 triệu USD của Ripple Labs, cho phép nhà đầu tư gián tiếp sở hữu gần 1 tỷ USD tài sản XRP. Vivo Federation đã được Ripple phê duyệt, trong tương lai sẽ không thể tự đầu tư bằng vốn riêng, mà dựa vào phí quản lý và chia sẻ lợi nhuận để thu lợi nhuận, mục tiêu đạt 75 triệu USD lợi nhuận trong vòng ba năm.
Xem thêm
XRP1,4%