数学家争论:AI 验证的成果该不该直接公开发表
littmath · x · 2026-09-16
数学家 Jabaluck 发文反驳圈内流行观点——「数学家不应发表自己不理解的(通常由 AI 产生的)结果」。他认为这一规范形成于可验证性稀缺、必须靠他人背书才能判断推导是否值得研究的旧世界;如今可机器验证的重要成果同样是对人类理解的贡献,可以公开让他人自行研究。arXiv 可保留给人类可理解的成果,但不应禁止可验证结果的分享。
所属事件:AI 冲击数学界：AI 生成证明能否发表、功劳归谁引激辩(4 条相关)→
「漫话AGI」频道最新
- 1988年科幻短篇预言「涌现式中文房间」,主角靠彩衣演员与它对话 — toptickcrypto · 2026-09-18
- Noam Brown:气隙隔离也挡不住失控 AI,安全标准必须大幅提高 — basedjensen · 2026-09-18
- a16z 合伙人 Casado 转评:「AGI/ASI 是终结思考的口头禅」 — seanmcdonaldxyz · 2026-09-18
- Casado 谈 Noam Brown「气隙无用论」:隐蔽信道是老问题非新威胁 — tszzl · 2026-09-18
- 越来越多人用 AI 给亲友发消息,「社交惰性」或催生新创业机会 — mobileraj · 2026-09-18
- Dwarkesh 警告 RSI 阶段实验室将闭门造车,HF CEO 忧权力集中 — soumitrashukla9 · 2026-09-18