百年卡拉西奥多里猜想或被 AI 反证
haider1 · x · 2026-08-19
数学界迎来新突破，一个有着百年历史的卡拉西奥多里猜想（Carathéodory conjecture）很可能已在 AI 的辅助下被推翻。参与者利用 Claude 模型检查了复杂的文献与论证，发现 $C^\infty$ Carathéodory 和 Loewner 猜想实际上并不成立，并已将相关证明 PDF 在学术圈流传。这一事件被视为“数学奇点”正在发生的信号。
所属事件:Claude 辅助证伪百年卡拉西奥多里猜想(2 条相关)→
「漫话AGI」频道最新
- AI 研究员十年后自白:科研自主性正在被行业文化侵蚀 — mariyaivasileva · 2026-10-16
- 用 AI 出劳动力不算艺术，出创意才算：Aella 划出 AI 艺术边界 — ZeroStateReflex · 2026-10-16
- AI 先逼人当管理者，下一步连中层管理也一起吃掉 — MonkZer0 · 2026-10-16
- 《幕府将军2》复刻版遭差评轰炸，开发者热议 AI 放大画质背锅 — draginol · 2026-10-16
- Pedro Domingos：每个人都该有自己的专属模型 — pmddomingos · 2026-10-16
- 可解释性研究者泼冷水：模拟不了神经元就不算真正解释了它 — nabla_theta · 2026-10-16