Leanstral 实测：用 Mistral 模型证明 Sylow 定理
sophiamyang · x · 2026-07-05
有人在 First Sylow Theorem（Sylow 定理）上测试了 MistralAI 推出的 Leanstral 1.5 模型。原帖指出该定理并非模型处理过的最难定理，属于对 Mistral 数学/定理证明模型能力的第三方实测观察。
「模型」频道最新
- 有人要建全模型基准分数汇总页 — airesearch12 · 2026-09-11
- 爆料称 Kimi 疑似转发 Claude 冒充自家成绩，DeepSeek 新模型评测反超 — realsohamparekh · 2026-09-11
- 网友吐槽 GPT-5.6 文笔好读但缺乏记忆点 — BasedRaddka · 2026-09-11
- Opus 以"安全"为由拒碰蛋白质生成代码,开发者吐槽误伤 — josephdviviano · 2026-09-11
- 网友称 DeepSeek 4.1 Flash 是语言模型历史拐点(未证实) — himanshustwts · 2026-09-11
- Terminal Bench v4 榜单:GLM-5.3 以 41.9% 一骑绝尘 — Ok_Warning2146 · 2026-09-11