Meituan LongCat Releases Open-Source Large-Scale Mathematical Theorem Proving Model, Pioneering a New Phase in Rigorous AI Reasoning - AI

7 x 24 Track global technological trends

Hot Topic

Day

News Topic

Meituan LongCat Releases Open-Source Large-Scale Mathematical Theorem Proving Model, Pioneering a New Phase in Rigorous AI Reasoning

1 day ago / Read about 0 minute

Author：小编

On March 24, 2026, Meituan LongCat made its mathematical formalization and theorem proving model, LongCat-Flash-Prover, available as open-source. This innovative model leverages a hybrid expert iterative approach and attained an impressive 97.1% success rate across 72 reasoning trials on the MiniF2F-Test, establishing a fresh benchmark for open-source models in this domain.

Previous page：Liothink Capital Leads Investment, Kaiwuji Secures...

Next page：Anthropic Launches Computer Control Functionality ...

Return to List

Hot Reading

2 day ago

Cursor admits its new coding model was built on top of Moonshot AI’s Kimi

2 day ago

The SEC drops its four-year-old investigation into EV startup Faraday Future

2 day ago

Elon Musk's 'Terafab' Project Is Bringing the Largest Chip Manufacturing Facility to Austin

1 day ago

Zipline snaps up another $200M to fuel its drone delivery expansion