Search results for "OPEN"
2026-03-21
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
04:16
1

BTC Falls 0.50% in 15 Minutes: Large Position Transfers and Long Liquidations Trigger Cascading Decline

On March 19, 2026, from 04:00 to 04:15 (UTC), the BTC price declined by 0.50% within the short-term window, with an amplitude of 0.68%, and a price range of 70,729.6 to 71,214.1 USDT. Market attention significantly increased, with spot and derivatives trading volumes expanding simultaneously. Short-term activity became more active, and market sentiment turned slightly cautious. The main driver of this movement was the transfer of approximately 2,800 BTC from large on-chain holdings to exchange hot wallets between 04:05 and 04:10, which triggered large sell-offs in the spot market. Liquidity pressure rose, directly pushing the price down.
More
BTC3,34%
19:02

BTC Falls 0.72% in 15 Minutes: On-chain Large Inflows to Exchanges Amplify Decline as Long Positions Liquidate

**March 18, 2026, 18:45-19:00 (UTC)**: BTC recorded a -0.72% return rate within 15 minutes, with price fluctuating between 70,946.6 and 71,615.2 USDT, reaching an amplitude of 0.93%. Market attention increased during this period with active trading volume. Short-term selling pressure dominated the market, causing significant short-term volatility. The primary driver of this price movement was the concentration of large on-chain BTC inflows into mainstream exchanges. Two large transfers totaling 2,150 BTC were detected flowing into exchanges during the 18:45-19:00 period, and
More
BTC3,34%
05:30

Thai Man Arrested After Illegally Entering Viral Hippopotamus Moo Deng's Enclosure

On March 18, a security incident occurred at Thailand's Khao Kheow Open Zoo when a man breached the enclosure of viral pygmy hippo Moo Deng to take photos and was arrested. Although the hippo was unharmed, it may have been frightened, and veterinarians will monitor the animal's condition. The zoo is approximately a two-hour drive from Bangkok.
More