学者批驳「一年内形式化全部人类数学」计划
lpachter · x · 2026-09-06
- @jdlichtman 提出倡议：借助学术界、前沿实验室、慈善组织和美国联邦政府的资金与算力，可以在一年内「形式化所有已知的人类数学」，并称其为继人类基因组计划、AlphaFold 之后的同类工程。
- 数学家 lpachter 强烈反驳：恰恰是人类基因组「最没有被完全分类」，把数学变成基因组计划，等于希望数学家不理解数学——对该类比的夸大宣传提出根本质疑。
「漫话AGI」频道最新
- 「AI 可能在数月内攻陷全部数学」：数学不难，只是人类不擅长 — burny_tech · 2026-09-06
- 对齐研究者提议换视角：把「模因」而非「智能体」当对齐研究核心对象 — jachiam0 · 2026-09-06
- 陶哲轩长文回应AI破解纳维斯托克传闻:反对只为跑分的数学竞赛 — 量子位 · 2026-09-06
- 萨尔瓦多 AI 辅导试点覆盖 171 所公立学校,成绩媲美德瑞 — markjeffrey · 2026-09-06
- 研究员自述：写书比做研究更激动，因 AGI 后算法已无事可做 — avt_im · 2026-09-06
- 中美 AI 差距之争:一方称落后 1-2 年,回击称仅 3-6 个月 — sven_ai · 2026-09-06