40 年前的猜想生成器 Graffiti:埃尔德什如何看待「AI 做数学」
littmath · x · 2026-09-24
约 40 年前,Siemion Fajtlowicz 开发了 Graffiti——一个自动生成图论猜想的计算机程序。作者发表文章回顾数学家 Paul Erdős 对这个项目的真实看法,并据此推测 Erdős 若活在今天会对 AI 持何种态度。文章提供了计算机辅助数学发现这一传统的早期一手史料,对理解当下 AI for Math 讨论有参考价值。
「漫话AGI」频道最新
- Autor 团队实验:AI 辅助提升专利起草质量,新手收益却两极分化 — danielrock · 2026-09-24
- Mila 报告：全球数据中心 2025 年排 1.89 亿吨 CO2，相当于 2.5 个魁北克 — Mila_Quebec · 2026-09-24
- 科技圈预测:AI 先夺白领工作,机器人再夺蓝领,价值最终流向真人创作 — martyjbeard · 2026-09-24
- Rohit Krishnan:AI 议题的左右分裂其实并不存在 — DavidSKrueger · 2026-09-24
- 黄仁勋称模型若真不安全就该关停实验室,前 OpenAI 高管回应争议 — Miles_Brundage · 2026-09-24
- 经济学家：AI 垃圾投稿正在耗尽人类审稿时间 — paulnovosad · 2026-09-24