AI 形式化全部人类数学？称一年内可完成堪比人类基因组计划
AccBalanced · x · 2026-09-06
Jared Lichtman 提出激进主张：借助 AI，人类已知的全部数学可以在一年内完成形式化（formalization），其规模意义相当于人类基因组计划或 AlphaFold。
- 他认为只要资金与算力/算量充足，学术界、前沿实验室、慈善组织和联邦政府的协调努力即可实现目标。
- Eric Weinstein 转发表示：这个想法几年前听着疯狂，但现在看来是自己想象力不足，并称 Jared 在纯数学形式化领域的判断一直是对的。
值得注意的是，这仍是一个愿景式主张，具体技术路径和可行性未在帖中展开。
所属事件:研究者倡议一年内形式化全部人类数学引争议(2 条相关)→
「漫话AGI」频道最新
- 创业者预言：AI 将让班加罗尔科技人才大规模流向孟买 — kingslyj · 2026-10-23
- 社科学者批 AI 圈：把 Agent 开发当会自动变好的黑箱 — RexDouglass · 2026-10-23
- 博主批 Anthropic：少数机构决定大众能用多少智能？ — VraserX · 2026-10-23
- 单人预训练吓坏年轻研究员,资深学者撰文驳「技能已过时」恐慌 — RexDouglass · 2026-10-23
- NBER 出版《变革性 AI 的经济学》，Agrawal 与 Brynjolfsson 主编 — JMateosGarcia · 2026-10-23
- Pedro Domingos:AI 是智力杠杆,越聪明的人用它越强 — pmddomingos · 2026-10-23