Pedro Domingos 感慨：数学家只靠纸笔的时代早已过去
pmddomingos · x · 2026-09-23
计算机科学家、《The Master Algorithm》作者 Pedro Domingos 发推感慨：数学家曾经只需要纸笔就能工作，「那样的日子早就一去不复返了」。这是对数学家日常工作方式被 AI（如证明助手、LLM 辅助）深刻改变的大局观察，暗指现在的研究已离不开计算工具与 AI 辅助。
「漫话AGI」频道最新
- 两个超级智能互相模拟对方代码,经典博弈论会失效吗 — dorsa_rohani · 2026-09-23
- AI2 CEO 力挺 Marcus:超智能论调需要怀疑派做现实检验 — GaryMarcus · 2026-09-23
- Karpathy 称 prompting 正在消亡,图结构才是终局 — pranavmarla · 2026-09-23
- 用「假设-实验-证伪」循环框定自动化科学的可行路径 — burny_tech · 2026-09-23
- 马斯克称智能正呈指数级提升，网友：不是就该修修了 — TinfoilTricorn · 2026-09-23
- 两个超级智能能模拟彼此代码,经典博弈论会失效吗? — dorsa_rohani · 2026-09-23