Odaily Planet Daily reported that Vitalik stated on the X platform that a new type of "advanced programming language" worth trying is one that compiles into Lean (or HOL, etc.), with a focus on making definitions and theorems as easy as possible for humans to read. Rather than proofs, because as long as the proof is correct, the key lies in the definitions and theorems themselves. The envisioned use case is that AI outputs a long proof, and readers need to understand as effortlessly as possible which precise claims in those outputs have actually been proven.

Odaily星Odaily thông báo rằng Google cho biết đã bắt đầu tiền huấn luyện Gemini 3.5 Pro hiện đang được thử nghiệm với các đối tác, dự kiến sẽ sớm ra mắt rộng rãi sau khi sẵn sàng, hiện tại đã bắt đầu tiền huấn luyện Gemini 4. (Jin Shi)

Odaily星球日报讯 Kết quả đăng ký chiến lược cuối cùng của ChangXin Memory Technologies đã được công bố. Số cổ phần được phân bổ ban đầu cho 30 nhà đầu tư chiến lược là 3,344 tỷ cổ phiếu, nhưng số cổ phần thực tế đăng ký cuối cùng là 1,667 tỷ cổ phiếu, giảm khoảng một nửa, gây ra nhiều đồn đoán trên thị trường. Được biết, điều này có liên quan đến thông lệ chung trong ngành.

Đối với số lượng cổ phần phân bổ chiến lược, thông thường thiết kế ban đầu thường đặt ở mức trần theo quy định để tạo dư địa linh hoạt. Đối với đợt phát hành quy mô lớn của ChangXin Memory Technologies, giới hạn trên cho phân bổ chiến lược là 3,344 tỷ cổ phiếu (50% tổng số lượng phát hành), sau đó sẽ điều chỉnh lại dựa trên tình hình thực tế. Được biết, mặc dù số lượng đăng ký thực tế có giảm, nhưng số tiền đăng ký thực tế của 30 nhà đầu tư chiến lược vẫn tương ứng với số tiền cam kết ban đầu (144,37 tỷ Nhân dân tệ). Ngoài ra, phần chênh lệch cổ phiếu này đã được chuyển sang đăng ký trực tuyến, giúp tăng đáng kể tỷ lệ trúng thầu cho nhà đầu tư mới tham gia đấu giá trực tuyến. (Jinshi)

The U.S. Treasury market declined, with 10-year and 30-year bond yields rising to their highest levels in about two months. Surging oil prices have raised concerns that inflationary pressures may prompt the Federal Reserve to raise interest rates. On Tuesday, Treasury yields across maturities generally rose by 2 to 4 basis points, with the 10-year yield briefly climbing to 4.64%, its highest level since late May. As the U.S. and Iran launched strikes against each other for the 10th consecutive day, the U.S. dollar strengthened against most major currencies.

Theo tin tức từ Odaily, nền tảng phát hành token Meme trên hệ sinh thái Solana là Pump.fun đã công bố ra mắt "Chế độ BOOST" (BOOST Mode) hoàn toàn mới, sẽ trở thành cơ chế khởi chạy tiêu chuẩn cho tất cả các token mới phát hành trên Pump.fun trong tương lai, bổ sung thêm thanh khoản cho các token đã hoàn tất quá trình di chuyển (bonding curve migration).

Đồng sáng lập Pump.fun, alon, cho biết hiện tại có hơn 100 triệu USD thanh khoản bị thất thoát mỗi năm khi các token di chuyển từ đường cong liên kết (bonding curve) sang nhóm thanh khoản. Thông qua Chế độ BOOST, nền tảng sẽ tái đầu tư thanh khoản trong tương lai vào hệ sinh thái của mỗi token đã hoàn tất quá trình bonding. Cơ chế này sẽ giúp tăng thanh khoản cho mỗi token mới di chuyển lên khoảng 20%, đồng thời không làm thay đổi trải nghiệm giao dịch của người dùng trong giai đoạn giao dịch trên đường cong liên kết hoặc trong nhóm thanh khoản.

According to data from MSX.COM, US-listed Bitcoin concept stocks continue to rally. Bitcoin has broken through the $66,000 mark and is currently up over 2.3%, trading at $66,694. Strategy (MSTR.US) is up over 5%, Coinbase (COIN.US) is up over 12%, and Robinhood (HOOD.US) and Circle (CRCL.US) are up over 7%.

On the news front, sources indicate that US President Donald Trump has agreed to include ethical clauses in the Clear Act, and the White House has reached a consensus on the ethical framework of the bill. This clears the last major hurdle for the crypto regulatory legislation, which has been stalled for months. The bill text is expected to be released as early as the same day, though there could be a slight delay.

Odaily星球日报讯 Telegram 创始人 Pavel Durov 在个人频道发文表示，今年夏季将迎来“人类历史上最大规模的非托管加密钱包部署”，Telegram 计划在所有应用中集成原生非托管 Gram 钱包。Pavel  Durov 称，该钱包将为超过 10 亿 Telegram 用户提供即时、零手续费的加密货币交易体验，使链上支付进一步走向大众化，他表示：“我们正在将原生非托管 Gram 钱包带入每一个 Telegram 应用。”

Odaily tin tức - Nhóm khai thác Bitcoin Foundry USA đã phát hành hướng dẫn tài nguyên BIP-110. Foundry USA cho biết hướng dẫn này dành cho các thợ mỏ, nhằm giúp họ đưa ra quyết định sáng suốt trước khi cuộc bỏ phiếu kết thúc tại khối 961.632.

Theo thông tin, hướng dẫn bao gồm thông số kỹ thuật chính thức của BIP-110, trang web đề xuất, các cuộc thảo luận trong danh sách gửi thư Bitcoin-dev, hướng dẫn tương tác của Orange Surf, bình luận của Jameson Lopp, cũng như quan điểm của Adam Back, Michael Saylor, Luke Dashjr, Alex Thorn, Softfork Mechanic và những người khác. (News.bitcoin)

According to Odaily, as monitored by Lookonchain, U.S. Bitcoin ETFs recorded a net inflow of 3,443 BTC today, with a 7-day net inflow of 11,030 BTC; Ethereum ETFs saw a net inflow of 19,517 ETH, with a 7-day net inflow of 81,773 ETH.

Tin tức từ Odaily Planet Daily: Theo các nguồn tin thân cận, Moonshot AI có kế hoạch hoàn tất điều chỉnh cấu trúc hồng sáo ra nước ngoài trước cuối tháng này, nhằm mở đường cho việc huy động vốn trong nước và chuẩn bị IPO. Công ty có thể niêm yết trên thị trường vốn Hồng Kông ngay trong năm nay.

Moonshot AI dự kiến khởi động vòng đàm phán huy động vốn cuối cùng trước khi niêm yết vào tháng 8, tận dụng sức nóng thị trường từ các mô hình ngôn ngữ lớn mới nhất để tìm kiếm mức định giá lên tới 50 tỷ USD. Các nguồn tin cho biết, Moonshot AI dự kiến sẽ hoàn tất một vòng huy động vốn khởi động vào mùa hè năm nay trong vài ngày tới, với mức định giá khoảng 31,5 tỷ USD. Sau khi hoàn tất huy động vốn, công ty sẽ ngay lập tức tiến hành các cuộc đàm phán huy động vốn mới với các nhà đầu tư tiềm năng, đây có thể là đợt bơm vốn cuối cùng trước khi lên sàn Hồng Kông. (Kim Thập)

Ngân hàng tiền điện tử Augustus thông báo hoàn thành vòng gọi vốn 180 triệu USD, định giá đạt 1 tỷ USD, nhằm xây dựng cơ sở hạ tầng tài chính hoạt động 24/7 kết nối hệ thống thanh toán truyền thống với mạng lưới stablecoin. Vòng gọi vốn này do Tiger Global Management dẫn đầu, với sự tham gia của Hummingbird, QED và đội ngũ sáng lập của Nubank, Ramp, Circle và Deel.

Augustus cho biết, khi stablecoin đang dần thay đổi hệ thống tài chính toàn cầu, mô hình Ngân hàng Đại lý (Correspondent Banking) truyền thống đang đối mặt với những nút thắt về hiệu quả. Công ty mong muốn xây dựng một ngân hàng thanh toán bù trừ được cấp phép liên bang dành cho các công ty công nghệ tài chính và tổ chức tài chính, thay thế cơ sở hạ tầng thanh toán xuyên biên giới truyền thống.

Không giống các nhà phát hành stablecoin, Augustus không có kế hoạch phát hành stablecoin riêng mà muốn cung cấp cơ sở hạ tầng ngân hàng nền tảng, cho phép các tổ chức tài chính tự do chuyển tiền giữa mạng lưới thanh toán truyền thống và mạng lưới blockchain. Hiện tại, Augustus đã cung cấp dịch vụ thanh toán bù trừ bằng Euro thông qua thực thể được quản lý tại Phần Lan, với quy mô giao dịch xử lý hàng năm lên tới hàng tỷ Euro. Khách hàng bao gồm các tổ chức tài chính quốc tế, công ty công nghệ tài chính, ngân hàng và doanh nghiệp tiền điện tử, trong đó có sàn giao dịch tiền điện tử Kraken. (CoinDesk)

Odaily tin tức: Thông tin thị trường: Moon's Dark Side được cho là đang thương thảo vòng gọi vốn Pre-IPO với định giá 50 tỷ USD. (Jin Shi)

Tin tức từ Odaily: Dữ liệu thị trường OKX cho thấy Bitcoin đã tăng lên 66.808,2 USDT, đạt mức cao nhất kể từ ngày 15 tháng 6, tăng 3,86% trong 24 giờ qua; Ethereum tăng lên 1.941,43 USDT, tăng 4,26% trong 24 giờ qua.