AI未能发现Harrison-Reiman类，人类找到反例
2prime_PKU · x · 2026-07-07
研究团队发现原始数学猜想在自然延伸中存在反例，猜想仅在Harrison-Reiman类这一子类中成立。有趣的是，AI未能独立发现这个关键结构性类别，整个过程中人类直觉再次发挥了AI无法替代的决定性作用。
所属事件:北大团队人机协作攻克排队论35年猜想(7 条相关)→
「模型」频道最新
- Agent Astra 在 GauntletBench 得 83%,成首个超人类基线的电脑操作 Agent — ducha_aiki · 2026-09-11
- Kimi K2.8 Preview 上线：性能接近 K3、1M 上下文全档开放 — teortaxesTex · 2026-09-11
- 有人想给软件工程任务建「形态分类」数据库,好按任务选模型 — StewartalsopIII · 2026-09-11
- 用户呼声下 DeepSeek V4 Pro API 宣布继续服务,计费不变 — teortaxesTex · 2026-09-11
- 第三方实测:DeepSeek V4.1 Flash 达 GPT-6 Astra 98% 分,成本仅 1.4% — ayushtweetshere · 2026-09-11
- TheZhi 发起调查:Fable 5.1 与 Astra 发布后,编码模型选择变了吗 — TheZvi · 2026-09-11