实体 Paul Cohen

Paul Cohen

PulseAugur coverage of Paul Cohen — every cluster mentioning Paul Cohen across labs, papers, and developer communities, ranked by signal.

总计 · 30天

1

90 天内 1

发布 · 30天

0

90 天内 0

论文 · 30天

1

90 天内 1

层级分布 · 90 天

主题

情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条

RESEARCH · CL_356998 · Nov 13 · 22:48

AI 协助解读库尔特·哥德尔的定理手稿

Anthropic 的 Claude AI 在解读库尔特·哥德尔笔记本中使用的复杂密码方面发挥了重要作用，揭示了数百个先前未知的定理。逻辑学家 Jan von Plato 利用 Claude 分析了这些笔记本，AI 协助翻译了 663 个定理。其中，400 个定理使用 Coq 证明助手进行了验证，包括连续统假设独立于选择公理的证明，这比 Paul Cohen 的工作早了二十年。