数学家撰文:为何对 AI 数学革命感到兴奋而非恐惧
StefanoGogioso · x · 2026-10-08
牛津数学学者 Stefano Gogioso 发文解释为何他对 AI 席卷数学界感到兴奋而非恐惧:
- 他把数学实践拆为三种活动:创造(探索概念空间、构建结构与模型)、形式化(把个人语义化理解翻译成规范数学语言以说服自己和他人)与传播交流。
- AI 工具能免除数学家在句法形式化上的沉重负担,让他们专注于数学建模这一创造性活动本身。
- 长远看,这将为更以概念驱动的数学成果表达方式铺路,而非威胁数学家的工作。
「漫话AGI」频道最新
- OpenAI 未审稿预印本称矩阵乘法指数降至 2.25,创 47 年最大降幅 — BorisMPower · 2026-10-08
- 数学如围棋:AI 碾碎古典之美后,数学家的机会是提出更好的问题 — xwang_lk · 2026-10-08
- 「品味」不够用？开发者称堆 token 和智能体就能补 — zebird0 · 2026-10-08
- 「丑陋暴力」才是解药?AI 圈热议 bitter lesson 的美学盲区 — shakoistsLog · 2026-10-08
- tszzl:训练模型做 AI 研发远比做数学题难 — tszzl · 2026-10-08
- OpenAI 纳维-斯托克斯突破的启示:数千智能体协同探索 — cneuralnetwork · 2026-10-08