Kamath 解释为何无人做 AI 简化证明:发表文化只奖励第一个
thegautamkamath · x · 2026-10-06
本条为 threads 2/n:Kamath 认为这种忽视源于发表文化——荣耀几乎全归第一个得到结果的人,简化工作通常难以发表( notable 例外如 Dinur 对 PCP 定理的简化)。
(完整论述见 1/n 条目。)
所属事件:Kamath 发问：为何没人用 AI 简化旧定理证明(8 条相关)→
「研究」频道最新
- 数学界缺乏实证传统，费马奖千份错误证明暴露领域盲区 — RexDouglass · 2026-10-06
- NanoGPT speedrun 刷新纪录：速度提升 11.3%，论文即将发布 — yoavartzi · 2026-10-06
- CMU 团队 PNAS 论文警示 AI 科学家系统:自动化越多,可见性越少 — Dr_Atoosa · 2026-10-06
- Embodied Analysis 发布统一评测平台:物理智能体与世界模型同框架横评 — qinzytech · 2026-10-06
- COLM 论文直指 softmax 梯度瓶颈,作者曾以新 LM head 破 nanogpt speedrun 纪录 — yoavartzi · 2026-10-06
- 用"拟态欲望"理论分析智能体黑话:Neuralese 行话图谱上线 — kalladomcdowell · 2026-10-06