AI攻克数学难题：Sol与Fable成功证明非sofic群
repligate · x · 2026-08-02
推文讨论了 AI 模型在高级数学证明中的表现。Sol 5.6 仅思考 34 分钟便提出了非sofic群的有效证明；而 Fable 则在接近 5 小时的会话限制内完成了证明。有开发者正考虑使用 Lean 形式化这些证明。
所属事件:前沿大模型成功证明非sofic群存在(2 条相关)→
「模型」频道最新
- Sakana AI 推出日版推理模型 Namazu，支持 26 万上下文 — SakanaAILabs · 2026-08-18
- 开发者吐槽：强模型会「自造复杂度」，agent 产码仍难维护 — aiamblichus · 2026-08-18
- Grok 4.6 登顶代理法律评测亚军，成本为 GPT-5.6 十三分之一 — XFreeze · 2026-08-18
- Grok 太快太上头：重度账户 24 小时烧掉 30% 额度 — Daniel_Farinax · 2026-08-18
- J-Space 驱动 DeepSeek V4 Pro 多项基准分暴涨 — ccerrato147 · 2026-08-18
- Qwen 3.8 medium think 对比 3.6：谁值得分配思考预算？ — deathcom65 · 2026-08-18