三大公司大模型论文

AlphaProof Nexus：Google DeepMind 用 LLM 自主证明了 9 道 Erdős 难题

Google DeepMind 发布 AlphaProof Nexus，首次在 353 道 Erdős 开放数学问题上做大规模评测，自主解决其中 9 道，涵盖 56 年未解难题、44 道 OEIS 猜想，以及优化理论、代数几何、量子光学等实际数学研究场景。