AI 时代数学家称数学近乎艺术,提问比证明更难
micoolcho · x · 2026-10-07
- 作者对数学家开始把数学描述为「艺术与社交活动」感到不安,认为数学本应以可验证的证明为核心——尽管近期一些 AI 给出的证明人类很难读懂、验证要花极长时间。
- 作者认同的判断是:真正有创造性的 AI 的标志,是能提出当前模型自己尚无法解决、但至少可以表述的新数学猜想。
- 这才是真正的 unlock:问出下一个「对的问题」,推动新熵的边界;而对大多数认知领域来说,「回答」可能已经是相对容易的部分。
「漫话AGI」频道最新
- eigenrobot 转评学术造假：掩盖、威胁与死不认错才是学界常态 — eigenrobot · 2026-10-08
- 研究者称当前 AI 已有意识概率达 25%,谈机器意识前沿 — cccalum · 2026-10-08
- 富足是否人人均沾?一场关于 AGI 时代分配的争论 — LeviTurk · 2026-10-07
- AI 广告投放 AI 应用、受众也正被 AI 取代 — sull · 2026-10-07
- Google 学者的感叹：工程里的「凑数因子」救了他一生 — giffmana · 2026-10-07
- 花50美元造5万条假数据，ChatGPT一月引用7.2万次 — metehan777 · 2026-10-07