研究者断言AI时代人类数学事业已终结

Edouard Harris 发帖宣称「数学作为一项人类事业，今天已基本终结」，并以「Maths, c. 600 BCE – 2026-10-06, RIP」的墓志铭式写法告别传统数学。他认为 AI 正在接管「机器数学」，人类今后或只能以娱乐心态继续玩「人类数学」。这一断言与近期 AI 在证明与解题方面接连突破的讨论相呼应，在社区引发热议。

2026-10-08 ~ 2026-10-09 · 2 条相关