Gate Crypto Flash News and Market Updates

According to OneMillion_AI, Mistral AI recently released Leanstral 1.5, a formal proof model for Lean 4 with 119 billion total parameters and 65 billion active parameters. The model is released under Apache-2.0 license with free API access. On PutnamBench, Leanstral 1.5 achieves an average cost of a

According to Jin10, Baiwenapp will discontinue its Agent feature on July 15, 2026. Users will no longer be able to create new agents, and existing agents will become inoperable. After the discontinuation date, Baiwenapp will delete agent-related data, which will no longer be recoverable.

According to BlockBeats, TradingView integrated on-chain market data from Hyperliquid and Trade.xyz on July 4, allowing users to view real-time price movements of decentralized perpetual contracts. Hyperliquid is the largest decentralized perpetual trading platform with cumulative trading volume

South Korea's government announced a large-scale investment plan for semiconductors and AI data centers on July 3, according to IBK Securities. The initiative is expected to attract hundreds of trillions of Korean won in construction investments to facilities including those in Yongin. IBK Securitie

On July 2, Musk stated on X that Tesla's Optimus production will be extremely slow initially because everything is new and fundamentally different from vehicle manufacturing. The statement came after Musk posted a photo with the Optimus production team at Tesla's Fremont factory, which has been

According to Morgan Stanley's July 2 report, NAND flash demand is projected to grow 60% annually through 2027, driven by AI applications, which will account for 41% of total NAND market by 2027—up from 18% in 2025. However, the bank expects a 15% supply shortage in 2026, signaling structural market

According to Qianwen Platform, the company's personified interactive AI agents and user-created AI agent features will shut down on July 10, 2026, as part of a system upgrade and maintenance effort. Users will lose access to their agent configuration information and historical conversation records o

According to Jin10, Iran held a public funeral and memorial service for deceased Supreme Leader Ali Khamenei in Tehran on July 4.

According to Security Times, Liandong Technology, a Shenzhen-listed Chinese semiconductor test equipment maker, agreed to acquire 100% of Northstar Technologies Limited for $10 million in cash on July 3. The wholly owned subsidiary Hong Kong Liandong Technology

According to Bloomberg, the Fourth of July parade in Washington, D.C. was cancelled on July 4 due to extreme heat.

According to Seoul Economic Daily, on July 4 Seoul lowered the public contribution rate by half and raised the residential ratio cap to a maximum of 90% for pre-negotiated development sites in northern and southwestern Seoul. This is expected to accelerate large-scale development of stalled vacant p

According to Business Insider, Meta Platforms' AI chief Alexandr Wang stated recently that the company's forthcoming Watermelon large language model has achieved performance parity with OpenAI's GPT-5.5, narrowing the technology gap in the AI race. Wang made the comments during an internal

According to overseas brokers, the USD/KRW 1-month non-deliverable forward (NDF) overnight rose to 1,526.65 KRW on July 4, up 2.10 KRW from Seoul's previous foreign exchange closing rate of 1,525.60 KRW. The bid price was quoted at 1,526.60 KRW, with the ask at 1,526.70 KRW. U.S. financial markets w

In June, CME's cryptocurrency derivatives contracts saw an average daily trading volume increase of 76% year-over-year, with notional value surpassing $10 billion, according to CME data. The growth reflects expanding institutional participation in crypto derivatives markets through regulated

On July 2, Robinhood CEO Vlad Tenev told CNBC that AI-powered trading agents will emerge as a new category. He noted that automated trading, high-frequency trading, and AI-driven complex strategies have historically been dominated by institutional investors and Wall Street firms, with limited

According to Xinhua, on July 3, Georgian Prime Minister Kobakhidze and Uzbek President Mirziyoyev signed a joint declaration elevating bilateral relations to strategic partnership level.

According to The Information, Tesla will impose a weekly spending cap of $200 on employee AI tool usage starting July 6, with any overages requiring manager approval. The policy reflects the automaker's effort to balance AI expansion with cost control, as some software engineers have been

According to Reuters, HCLTech won a $1.14 billion contract with an unnamed European firm on July 3 to transform and manage the client's global digital workplace and enterprise networks using an AI-driven operating model. The five-and-a-half-year deal can be extended for another five years, and

According to BlockBeats, KOL Ansem launched an airdrop page for ANSEM token on BullpenFi on July 4, pushing the Solana meme coin's market cap to $350 million within 12 hours. The token later retreated to $300 million, according to GMGN data. ANSEM recorded a 75.6% gain over 24 hours with $68 million

According to The Japan Times, Japanese chipmaker Kioxia has begun sending samples of its 332-layer 10th-generation 3D NAND flash memory to AI data center operators. The new chip delivers 59% higher bit density than its eighth-generation product and reaches speeds of 4.8 Gb/s, approximately 33%