AI 形式化全部人类数学？称一年内可完成堪比人类基因组计划
AccBalanced · x · 2026-09-06
Jared Lichtman 提出激进主张：借助 AI，人类已知的全部数学可以在一年内完成形式化（formalization），其规模意义相当于人类基因组计划或 AlphaFold。
- 他认为只要资金与算力/算量充足，学术界、前沿实验室、慈善组织和联邦政府的协调努力即可实现目标。
- Eric Weinstein 转发表示：这个想法几年前听着疯狂，但现在看来是自己想象力不足，并称 Jared 在纯数学形式化领域的判断一直是对的。
值得注意的是，这仍是一个愿景式主张，具体技术路径和可行性未在帖中展开。
所属事件:研究者倡议一年内形式化全部人类数学引争议(2 条相关)→
「漫话AGI」频道最新
- MIT 实验:83% 用 ChatGPT 写完论文背不出一句 — victor_explore · 2026-09-06
- AI 生成哲学竞赛开赛:奖金 1.1 万美元,新增 OpenReview 替代投稿通道 — birchlse · 2026-09-06
- 从对话到关系：AI 叙事智能体如何重塑人机互动研究 — begusgasper · 2026-09-06
- 博主设想以用户赋能为目标的 RL 训练范式 — teortaxesTex · 2026-09-06
- GPT-6 Astra、Opus 5、Grok 4.6 扎堆,开发者直呼跟不上 — prasenx · 2026-09-06
- 反讽短评：AI 风险只盯着眼前危险，拒绝多想一步？ — ben_j_todd · 2026-09-06