Mistral Open Model Agent Scores 82% on ArXivLean With 10 Million Tokens Per Problem

A duo of open weights models was used to reach a new performance peak in automated theorem proving. The Mistral team employed Leanstral 1.5 and Kimi K3 to atta…