AI模型Fable尝试为自发现的数学定律提供证明
repligate · x · 2026-08-01
推文讨论了 AI 模型 Fable 在数学领域的最新进展。此前 Fable 发现了一些数学定律，目前它正致力于为这些被发现的定律构建严格的数学证明。此外，Fable 还制作了可视化解释器，帮助人们直观理解这些定律的本质及其证明的运作机制。
「模型」频道最新
- Astra 推理成本达 2000 美元，Noam Brown 盛赞 — daniel_mac8 · 2026-08-01
- 曝 OpenAI 新模型 Astra 连克 10 大数学难题 — ns123abc · 2026-08-01
- OpenAI 频繁降价发布与数学突破，被指预示能力起飞 — basedjensen · 2026-08-01
- DeepSeek V4F-0731 在 EQ-Bench v4 成绩平平，高强度 RL 或损伤模型个性？ — xeophon · 2026-08-01
- Claude Pro 遭遇严重 Bug：无痕模式未发消息已显示额度耗尽 — Worldly-Topic5179 · 2026-08-01
- Speechify发布Simba 3.2：语音生成榜单登顶且成本仅十分之一 — PrajwalTomar_ · 2026-08-01