全网最新 AI 动态

数十agent，24天挑战数学界巨型工程，还揪出40年前漏洞

这一次，AI不仅完成了大规模数学形式化证明，还在前人的研究中找到了新的突破口。