研究者倡议一年内形式化全部人类数学引争议

Jared Lichtman 提出激进主张：借助学术界、前沿实验室、慈善组织和美国联邦政府的资金与算力，人类已知的全部数学可以在一年内完成形式化，其意义堪比人类基因组计划或 AlphaFold。但该倡议很快遭到学者批驳，认为其目标过于激进、可行性存疑，引发社区对 AI 形式化数学能力边界的讨论。

2026-09-06 ~ 2026-09-06 · 2 条相关

• 学者批驳「一年内形式化全部人类数学」计划 — lpachter · 2026-09-06
• AI 形式化全部人类数学？称一年内可完成堪比人类基因组计划 — AccBalanced · 2026-09-06