人机协同攻克克努特难题

📂 精选资讯 · 📰 Hacker News

研究者结合人类专家、AI 与证明辅助工具，推进解决克努特「克劳德循环」数学难题。该方法展示了 AI 在复杂数学证明中的协同潜力。

阅读原文