OpenAI 数学证明撼动 MIT,数学家自嘲「旧式存在危机」
tdhopper · x · 2026-10-19
Boston Globe 报道 OpenAI 的数学证明能力令 MIT 学生与研究者陷入「读数学还有什么意义」的混乱。joelgrus 转发并调侃:怀念过去数学家只用老式方式经历「没有前途」的存在危机,道出 AI 对数学职业认同的冲击。
所属事件:OpenAI 公布 370 个数学证明，数学界陷入震动(3 条相关)→
「漫话AGI」频道最新
- 多智能体架构正在被「发现」而非设计，共享状态成涌现偏好 — JensHonack · 2026-10-21
- a16z 对话 OpenAI 健康 AI 负责人：3 亿人每周用 ChatGPT 问健康问题 — a16z · 2026-10-21
- Gartner 发布 2027 十大战略技术趋势，AI 焦点转向治理 — brucemacv · 2026-10-21
- 「自己训模型是个极其愚蠢的主意」：专有数据进权重的路线被痛批 — rseroter · 2026-10-21
- HeyGen 创始人:Agent 汇报何必都用文字,视频才是更好载体 — toolstelegraph · 2026-10-21
- Rachel 摘引新观点：LLM 让大脑不断接触新概念，难以形成长期记忆 — math_rachel · 2026-10-21