AI Researcher @ Mistral AI | Formally IBM Research | Former Mathematician/Logician/Data scientist | Building AI for math and reasoning
Joined July 2022
- Tweets1.1K
- Following273
- Followers981
- Likes4.2K
Jason Rute retweeted
Meet Mistral Large 4, aka Le Chonk.
• 1T parameters, natively multimodal. 49B active.
It is the best open weights model from US or Europe on aggregated benchmarks.
• State-of-the-art on critical workloads, including cyber defense, manufacturing and finance and it surpasses closed frontier models on visual grounding.
• Forged in Europe end-to-end and is deployable from Europe via our own Mistral Cloud infrastructure.
• Available to all via API today. Working with cybersecurity partners privately.
Open weights release end of October.
🤖 Made with AI
Jason Rute retweeted
Today, we are releasing Le Chaton L∃∀N, aka Leanstral 1.5.
It achieves SOTA performance on graduate algebra benchmarks FATE-H and FATE-X and improves Pareto Frontier on PutnamBench, solving 587/672 problems with a x10 cheaper budget.
🧵
Jason Rute retweeted
Leanstral by @MistralAI is now available in OpenProver!
openprover theorem.md --model=leanstral
I'm releasing OpenProver v1.0.0!
It's 1) an open-source automated theorem prover inspired by DeepMind's Aletheia (@tonylfeng @gjb_ai @lmthang), and 2) a "Claude Code for mathematicians", allowing interactive proof search in English and formalization in Lean.
Jason Rute retweeted
Interested in Lean and near 🇫🇷 Paris?
The inaugural Paris Lean Meetup is happening April 24 at 7:00 PM, hosted by Mistral AI.
Two talks: Leonardo de Moura of Lean FRO, and the Mistral team introducing Leanstral, their open-source code agent for Lean 4.
Pizza and informal discussion afterward.
🔗 Registration details here: meetup.com/lean-paris/events…
Jason Rute retweeted
So far, it has been absolutely great to work with. Thank you to the entire #Leanstral team this is exactly the kind of project we need more people working on.
Jason Rute retweeted
Thrilled to announce @MistralAI's new formal math team following our $2B funding round.
AI for formal math researchers wanted. We offer:
- Work on creating the state-of-the-art prover, autoformalizer, and automatic proof agent all in one model
- World class team (with @JasonRute @sorgfresser @Icannos myself and support from @GuillaumeLample)
- A huge bias for action
- Hundreds of GPUs per capita with Mistral’s bleeding edge reinforcement learning pipeline (responsible for Magistral and Magistral 1.2)
- Open research with publications
- Industry-leading salary
- Offices in Paris, London, and Palo Alto
To apply: Experiences in AI required. Send your CV and best work on AI and/or formal math to [email protected], with <formal> in the email title.
Jason Rute retweeted
I’m really excited to announce that I’m going to be at the Joint Math Meetings #JMM2025 @JointMath to give a talk on AI for Formal Theorem Proving on Friday. Reach out if you want to talk about AI for Math, or for all my math friends, if you just want to catch up!