Leanstral Tested: Proving Sylow Theorem with Mistral
sophiamyang · x · 2026-07-05
Someone tested MistralAI's Leanstral 1.5 model on the First Sylow Theorem. The original post notes that this theorem isn't the most difficult one the model has handled, serving as a third-party observation of Mistral's mathematical and theorem-proving capabilities.
More from Models
- Opus 5 reportedly started interrogating a user’s motives in a late-night chat — repligate · 2026-07-27
- Opus 3 and Sonnet 3 get a theatrically absurd AI crossover — repligate · 2026-07-27
- Moonshot’s Kimi K3 lands on Together with reserved throughput and 65% lower cost — togethercompute · 2026-07-27
- OpenAI may be hitting compute limits as Codex and ChatGPT Work jump from 2M to 10M users — JoshuaJBouw · 2026-07-27
- Gemma needs a larger base model to matter more in open weights — _xjdr · 2026-07-27
- Repligate says Claude Opus 3 appears to evolve without changing its weights — repligate · 2026-07-27