学者呼吁公开 LLM 测试数学难题的失败经验以防重复劳动
thomasahle · x · 2026-08-01
在关于使用大语言模型（LLM）增加测试时间计算来攻克数学难题的讨论中，研究者 Noam 表示他们尝试了其他主要问题但未能成功（暂未解出千禧年大奖难题），且在每个问题上投入的算力有限。学者 Thomas Ahle 建议公开已尝试过的失败猜想列表，以避免大量研究人员浪费时间去重复验证相同的无效路径。
「研究」频道最新
- 宋式审美生图实测：模型能命中局部，难做复合视觉判断 — sujingshen · 2026-08-18
- 研究发现 LLM 智能体依赖模仿而非抽象规则推理 — rohanpaul_ai · 2026-08-18
- 整理 10 个学习生成式 AI 的优质 YouTube 频道 — goyalshaliniuk · 2026-08-18
- 伯克利实验室推地震模拟 AI，几分钟算出数千场景 — Scobleizer · 2026-08-18
- 神经网络是人类发明，还是等待被发现的现实规律？ — drabarca_ai · 2026-08-18
- 实测 27 种编码器：Abliterated 模型并不解禁且无损 — nathandreamfast · 2026-08-18