AI 暴力验证数学证明遭质疑:巨额算力堆出的是不是真数学
gerardsans · x · 2026-09-30
作者引用 Terence Tao 的观点展开评论：证明只有能被整合回数学领域才有价值，单纯的商业或孤立价值有限。核心质疑是：如果数学变成「一个算法验证器烧掉数百万美元算力」，而在人们挨饿、无家可归的背景下，这还是数学该有的样子吗？这是对 AI for Math 路线的一次伦理与资源分配层面的反驳。
「漫话AGI」频道最新
- AI 记者 Garrison Lovely 新书《Obsolete》上市:万亿美元的替代人类竞赛 — GarrisonLovely · 2026-09-30
- 欧盟钦点 AI 公司 Domyn CEO:OpenAI 和 Anthropic 在 AI 风险上撒谎 — Legitimate-Arm9438 · 2026-09-30
- Agentic CPU 指南:智能体 workload 重塑服务器 CPU,2030 或达 2210 亿美元 — BenBajarin · 2026-09-30
- 前 OpenAI 研究员开写 Substack:如何用 AI 写作不失去灵魂 — MinaLee__ · 2026-09-30
- Waymo 体验揭示:旧金山每 20-30 单仍需远程员救场 — herbiebradley · 2026-09-30
- Daniel Lemire：AI 正在瓦解软件护城河，用户终将受益 — lemire · 2026-09-30