学者批驳「一年内形式化全部人类数学」计划
lpachter · x · 2026-09-06
- @jdlichtman 提出倡议：借助学术界、前沿实验室、慈善组织和美国联邦政府的资金与算力，可以在一年内「形式化所有已知的人类数学」，并称其为继人类基因组计划、AlphaFold 之后的同类工程。
- 数学家 lpachter 强烈反驳：恰恰是人类基因组「最没有被完全分类」，把数学变成基因组计划，等于希望数学家不理解数学——对该类比的夸大宣传提出根本质疑。
所属事件:研究者倡议一年内形式化全部人类数学引争议(2 条相关)→
「漫话AGI」频道最新
- Grady Booch 引 Weinberg 名言讽软件质量：第一只啄木鸟就能摧毁文明 — Grady_Booch · 2026-10-23
- 分析师：UGC 平台易专业化，专业平台学 UGC 只会更像垃圾 — ZeroStateReflex · 2026-10-23
- AI 降低了写码门槛,独立开发者却更难了:竞争转向需求与流量 — sven_ai · 2026-10-23
- 单细胞动力学模型 DynaVelo 发表于 Nature Biotechnology — anshulkundaje · 2026-10-23
- e/acc 领袖 Beff Jezos:前沿实验室加速开源才能守住网络安全 — beffjezos · 2026-10-23
- AGI 时代一切皆无意义？一位 Reddit 用户坦言不愿活在那种未来 — peace_venerable · 2026-10-23