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
- GPT-6 Astra beats Factorio with enemies in 44 in-game hours at ~$4,500 API cost — liminal_bardo · 2026-09-11
- giffmana: the env being used in training is part of the point — giffmana · 2026-09-11
- awesome-llm-leaderboards: an open-source directory of LLM leaderboards, pricing tables, comparison tools — Last_Establishment_1 · 2026-09-11
- Anthropic claims it works to keep eval environments unidentifiable to models — MaxKannen · 2026-09-11
- Nex N2.5 Pro released on Hugging Face with 407GB of weights — jinnyjuice · 2026-09-11
- RoMa v2 image matching model unveiled in the usual black poster — ducha_aiki · 2026-09-11