Search results for "TIME"
Today
03:19

ResolvLabs Stablecoin USR Suspected Vulnerability, Sharp Plunge of 74.2% to $0.257

Gate News reports that on March 22, according to on-chain analysts' monitoring, ResolvLabs stablecoin USR allegedly experienced a vulnerability. A certain address minted 50 million USR tokens using 100,000 USDC, causing USR to plummet to $0.257 in the short term, representing a decline of 74.2%. Subsequently, the price recovered somewhat and is currently trading at $0.7847. As of press time, the ResolvLabs team has not yet responded to this incident.
More
USDC0,02%
02:22

USDC circulation increased by approximately 400 million in one week, with total circulation reaching 7.91 billion

Gate News, March 22: According to data on Circle's official website, during the week ending March 12 local time, USDC issued approximately 5.2 billion, redeemed approximately 4.8 billion, with circulating supply increasing by approximately 400 million. As of March 19 local time, USDC total circulating supply was approximately 79.1 billion, with reserve asset value approximately $79.4 billion.
More
USDC0,02%
00:57

Musk Announces Terafab Project Disclosure Tomorrow, Annual Production Capacity Target Exceeds 1 Terawatt Computing Power

Gate News reported that on March 22, Musk announced today that SpaceX and Tesla will jointly announce the TERAFAB project tomorrow at approximately 9:00 AM Beijing time, with a live broadcast on the X platform. The project aims to achieve computing power production capacity exceeding 1 terawatt annually, covering logic chips, memory chips, and packaging. Approximately 80% of the production capacity will be used for space applications, with approximately 20% for ground applications.
More
02:27

Meituan open-sources a 560B parameter theorem-proving model, achieving a 97.1% success rate over 72 inferences, setting a new open-source SOTA.

Meituan's LongCat team open-sourced LongCat-Flash-Prover on March 21st, a 560 billion parameter MoE model focused on Lean4 formal theorem proving. The model comprises three capabilities: automatic formalization, sketch generation, and complete proof generation, combined with reasoning tools and the Lean4 compiler to achieve real-time verification. Training utilizes the Hybrid-Experts Iteration Framework and HisPO algorithm to prevent reward hacking. Benchmark results show that the model sets new records for open-source weight models in automatic formalization and theorem proving.
More