Claude 辅助证伪百年卡拉西奥多里猜想

困扰数学界超过百年的卡拉西奥多里猜想疑似被推翻。哈佛数学家 Levent Alpöge 联合 Anthropic，借助 Claude 模型检查复杂的文献与论证，完成了对该猜想的证伪，同时顺带推翻了 Loewner 指数猜想。这一成果被视为 AI 辅助数学研究的标志性突破，显示大模型在处理深奥数学证明中开始发挥实质作用。

2026-08-19 ~ 2026-08-20 · 2 条相关