Pedro Domingos:数学家错在把数学当成终点而非工具

pmddomingos · x · 2026-09-13

机器学习研究者 Pedro Domingos 发表观点：数学家的问题在于把数学本身视为最终目标，而它只是通向其他事物的工具。这条简短评论呼应了当下关于 AI 与形式化证明（如 AlphaProof 等系统）是否会取代数学研究的讨论。

原文链接 →

「Fun」频道最新

• ChatGPT 建议用户「裸睡」,网友调侃:人工后智能 — VoidStateKate · 2026-09-13
• 历史轮回：1973 年伯克利唱片店里的首个公共 BBS — charles_irl · 2026-09-13
• 让 Astra 用键盘表达自己，模型摸索 40 分钟学会打字 — ZeYanjie · 2026-09-13
• 冷冻复活选错方式：生物复原者被千年神明朋友劝上传 — matiroy · 2026-09-13
• 话务员的「AI 失业焦虑」:百年前电话自动化的讽刺寓言 — CallMePyro · 2026-09-13
• 别聊 AI 占领银河系了，先担心它把全人类干掉——反讽段子引共鸣 — NathanpmYoung · 2026-09-13

更多「Fun」频道 AI 资讯 →