This project is suspended: no new articles or editions will be published. The archive stays available.
Every AI News story tagged with both Mistral AI and Open-Source AI — the two topics side by side, updated as new articles publish.
2 articles
Mistral AI is the Paris-based lab racing to build Europe's answer to OpenAI and Anthropic — known for releasing open-weight models and for its 'sovereign AI' pitch to European governments.
Read more →Mistral's new open-source model for Lean 4 fully saturates the miniF2F theorem benchmark, solves 87% of graduate-level math tests, and found five previously unknown bugs in production code — at roughly $4 per proof versus $300 for competing systems.
Read more →