形式推理便宜到费曼式天才故事开始显得“天真可爱”
akbirthko · x · 2026-09-02
作者观察到一个反直觉的时代变化：当形式化推理变得极其便宜，曼哈顿计划物理学家费米、费曼、冯·诺依曼那些靠天才头脑推演的故事，开始显得像「可爱的小黑猩猩把戏」。这是对 AI 降低推理成本如何重塑「天才」稀缺性的一句锐评。
所属事件:推理成本骤降，费曼式天才故事显得天真可爱(2 条相关)→
「漫话AGI」频道最新
- 审稿人称频频撞上 AI 代写论文，呼吁导师把关学生稿件 — dianarycai · 2026-09-02
- Cohere 研究总监：预训练 ROI 放缓，重心转向推理时计算 — sarahookr · 2026-09-02
- 119 家 neolab 吸走 943 亿美元，风投史上最大「先研究后收入」豪赌 — WhatTheLJW · 2026-09-02
- 学者抱怨 AI 味论文暴增,呼吁导师认真审学生的初稿 — CSProfKGD · 2026-09-02
- Cohere 研究副总裁 Sarah Hooker：推理时代正在改写十年 GPU 设计逻辑 — sarahookr · 2026-09-02
- Sarah Hooker:测试时计算与智能体工作流正迫使 AI 基础设施重构 — sarahookr · 2026-09-02