北大学者利用 LLM 否认丘-田-唐纳森猜想

teortaxesTex · x · 2026-08-22

北京大学代数几何学者刘继豪利用大语言模型成功证伪了丘-田-唐纳森猜想。该研究并非简单结合人类现有成果，而是由 LLM 创造了全新的数学方法，展示了 AI 在数学研究中的创新潜力。

原文链接 →

「研究」频道最新

• MLCB 2026 收录：评估空间转录组学基础模型多尺度学习能力 — anshulkundaje · 2026-08-22
• 斯坦福用 AI 审计 30 亿字法律，发现政策积弊 — shashib · 2026-08-22
• arXiv 论文：Jeffreys 质心无闭式解，Fisher-Rao 中心成快速替代 — FrnkNlsn · 2026-08-22
• 形式化方法做AI安全：世界模型+验证器+制裁机制 — devanshmehta · 2026-08-22
• 首尔世界模型：用空间RAG生成机器人真实训练数据 — bilawalsidhu · 2026-08-22
• GLM 5.3 等 3 模型 Terminal-Bench 3 测试结果与 DeepSWE 表现相反 — zainhas · 2026-08-22

更多「研究」频道 AI 资讯 →