★ 4
AI 给出 Erdős–Sós 猜想的证明
一篇 arXiv 论文声称借助 AI 完成了 Erdős–Sós 猜想的证明，属于 AI 辅助数学研究的前沿尝试。若证明成立，将再次展示 AI 在组合数学等纯数学难题上的潜力，但此类成果通常需同行严格验证。
Hacker News – AI39 天前
#组合数学
共 2 篇相关资讯，按重要度与时间排序，每 3 小时更新。
★ 2
arXiv 论文：组合数学中的 AI 发现，从问题到解法再返回
该 arXiv 论文探讨 AI 在组合数学领域的发现能力，梳理从提出问题到求解、再反哺问题设计的路径。研究展示了 AI 在数学猜想与证明辅助方面的潜力。属于 AI for Science 方向的学术工作。
Hacker News – AI13 天前