Harmonic 旗下 Bel 被曝已解决 100+ 个长期悬而未决的数学问题
ctjlewis · x · 2026-10-07
Elliot Glazer 引发讨论：AI 公司 Harmonic 的数学模型 Bel 宣称已解决 100 多个长期悬而未决的数学问题，他认为这并非意外——此前 Astra 与 Bel 的对比图表已显示 Bel 能解决其精选开放问题清单中近一半的题目，照此推算解决 100+ 题只是时间问题。评论者 ctjlewis 转发并认同这一判断。
「模型」频道最新
- 700亿参数数学模型Bel引争论：合成数据还是规模红利 — teortaxesTex · 2026-10-07
- Fable 自评新发布：相当于约 5 个「OpenAI 纳维-斯托克斯」级成果 — willdepue · 2026-10-07
- Reddit 用户发布去审查 27B 红队安全模型，自称零拒绝 — Least_Dog_8556 · 2026-10-07
- OpenAI 研究员惊讶:AI 实验室数学新成果至今没查出硬伤 — willdepue · 2026-10-07
- OpenAI 模型在 ARC 类谜题上输给 Meta 的 Muse — BLUECOW009 · 2026-10-07
- Inception 免费推出 Mercury Decide:每秒 14 次结构化决策,对标 Jev — StefanoErmon · 2026-10-07