陶哲轩：自动形式化尚昂贵耗时，但正在快速改善
littmath · x · 2026-08-27
陶哲轩在系列推文中表示，希望(自动)形式化能为数学正确性提供极其可靠的认证，但目前自动形式化工具在许多领域仍然昂贵且耗时。不过他指出，这一局面正在快速改善。
「漫话AGI」频道最新
- 投资人 Nic Carter 预言：开源模型将吃掉 99% 推理流量 — thedealdirector · 2026-08-27
- 研究：生成式 AI 改变了英国学生的专业选择 — RishiBommasani · 2026-08-27
- 访谈前瞻:构建更强科学 Agent 与递归自我改进组织 — LouisKirschAI · 2026-08-27
- Geoffrey Irving 论哲学辩论深度与治理中期的进展可能 — geoffreyirving · 2026-08-27
- 观点:行动力最强的人将成为 AI 革命的最大赢家 — nijfranck · 2026-08-27
- 为何争辩当前系统是否 AGI？两例长任务证伪人类级智能 — MidnightSun_55 · 2026-08-27