Google DeepMind的AlphaProof Nexus自主解决了9个开放的Erdős问题，其中一些问题已有56年未解决，每题成本仅几百美元
Jeff Dean
·
2026-05-25
·
via LINUX DO - 最新话题
Paper [2605.22763] Advancing Mathematics Research with AI-Driven Formal Proof Search 1 个帖子 - 1 位参与者 阅读完整话题
此内容由惯性聚合(RSS阅读器)自动聚合整理，仅供阅读参考。 原文来自 — 版权归原作者所有。
