Search results for "OPEN"
Today
04:30

Central Bank Governor Pan Gongsheng: Will Continue to Implement Moderately Loose Monetary Policy and Maintain Ample Liquidity

Gate News reported that on March 22, Pan Gongsheng, Governor of the People's Bank of China, stated at the China Development Forum 2026 Annual Conference that the central bank will continue to implement a moderately loose monetary policy, comprehensively utilizing various monetary policy tools such as the reserve requirement ratio, policy interest rates, and open market operations to maintain ample liquidity. (China News Service)
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