跳到正文
10月12日周一
10月11日周日
  1. Hacker News71

    Google DeepMind 用 LLM 智能体解决 9 个 Erdős 开放问题

    Google DeepMind 团队在 arXiv 发布论文,对用 LLM 生成 Lean 形式化证明来求解开放问题做了首次大规模评测。其最强智能体自主解决了 353 个 Erdős 开放问题中的 9 个,单题成本为几百美元,并证明了 492 个 OEIS 猜想中的 44 个,正被用于组合数学、优化、图论、代数几何和量子光学研究。