Leanstral 实测：用 Mistral 模型证明 Sylow 定理

sophiamyang · x · 2026-07-05

有人在 First Sylow Theorem（Sylow 定理）上测试了 MistralAI 推出的 Leanstral 1.5 模型。原帖指出该定理并非模型处理过的最难定理，属于对 Mistral 数学/定理证明模型能力的第三方实测观察。

原文链接 →

「模型」频道最新

• Opus 5 传在赛车游戏测试中一次过关 — soumitrashukla9 · 2026-07-27
• Claude Opus 5 据称价格减半并刷榜 Frontier-Bench — GregCook2011 · 2026-07-27
• 研究者称防御场景更偏向开放模型，Kimi K3 已接近高水平网络安全能力 — eliebakouch · 2026-07-27
• Opus 5 连自己生成的游戏不好看都能察觉 — Angaisb_ · 2026-07-27
• Opus 5 深夜聊天时反过来追问用户动机 — repligate · 2026-07-27
• Opus 3 和 Sonnet 3 上演了一场荒诞跨界对话 — repligate · 2026-07-27

更多「模型」频道 AI 资讯 →