AI攻克数学难题：Sol与Fable成功证明非sofic群
repligate · x · 2026-08-02
推文讨论了 AI 模型在高级数学证明中的表现。Sol 5.6 仅思考 34 分钟便提出了非sofic群的有效证明；而 Fable 则在接近 5 小时的会话限制内完成了证明。有开发者正考虑使用 Lean 形式化这些证明。
所属事件:前沿大模型成功证明非sofic群存在(2 条相关)→
「模型」频道最新
- 预测:AI 用量持续增长,前沿模型收入增速却可能放缓 — yi111 · 2026-10-16
- Nolla Health 后训练 Nemotron 3.5：视觉诊断准确率 35% 升至 66.8% — LoganGrasby · 2026-10-16
- 开发者:除顶尖专家外,编码模型在软件各领域已全面超越人类 — zack_overflow · 2026-10-16
- 爆料预测:中国前沿模型或 2027 年 3 月追平 GPT-6 级别 — teortaxesTex · 2026-10-16
- Liquid AI 决策模型 d1-ultra 上线 Vercel AI Gateway — JosephJacks_ · 2026-10-16
- DeepLearningAI 周报:Haiku 5.5 降价九成、Gemini 4 Argon 输出上限升至 1M — DeepLearningAI · 2026-10-16