Search AI Products and News

The Kimi team recently released a technical report and open-sourced the preview version of Kimina-Prover, including 1.5B and 7B parameter distilled models, the Kimina-Autoformalizer-7B model for data generation, and a revised miniF2F benchmark dataset. Kimina-Prover, jointly developed by the Numina and Kimi teams, is a mathematical theorem proving model that excels in the field of formal theorem proving.

The OpenCompass team from Shanghai Artificial Intelligence Laboratory and ModelScope have jointly launched an upgrade for the large model evaluation platform CompassArena. This upgrade aims to provide users with a more scientific and comprehensive model evaluation experience. Since its launch, the platform has attracted a large number of community users to participate and contribute data. Based on this data, CompassArena continues to optimize, and this upgrade includes the new Judge Copilot feature and improvements to the ranking algorithm.

Worth Buying Technology announced an official partnership with large model company MiniMax. MiniMax's large model product, HAI-AI, has been integrated into Worth Buying's 'Consumer Large Model Enhancement Toolkit.' Through the 'Floating Ball' feature of HAI-AI, users can now quickly compare prices and make purchases. This collaboration not only enriches Worth Buying Technology's AI ecosystem but also promotes co-construction and win-win cooperation with partners in the large model industry.