大模型解数学题仍需人工引导？开发者称全自动解题近在咫尺
shakoistsLog · x · 2026-07-21
针对当前语言模型（LLM）在解决雅可比猜想等复杂数学问题时仍需依赖人工引导提示的现象，作者提出了不同看法。
作者认为，认为模型“仍需人工提示”的观点只是一种自我安慰。他预测，在未来的 1 到 3 年内，大模型将具备足够的自主能力，只需下达指令让其自行寻找并解决数学问题即可。
「漫话AGI」频道最新
- IMF 预测 AI 未来十年或拉动非洲经济增长 4% — Polymarket · 2026-07-21
- Bluesky 上的 “AI con” 争论在变事实，不变姿态 — iskander · 2026-07-21
- 帖子称，竞争正把 AI 推进得前所未有地快 — eyishazyer · 2026-07-21
- 为什么有对手时，连掷硬币都可能被预测 — snikolov · 2026-07-21
- Aaronson：AI 会证明定理，不等于 P vs NP 要解决了 — fortnow · 2026-07-21
- AI 让分析看起来更权威，但人类判断仍然重要 — aloncarmel · 2026-07-21