Jeff Dean (@Xsc15926) 在 Google DeepMind的AlphaProof Nexus自主解决了9个开放的Erdős问题，其中一些问题已有56年未解决，每题成本仅几百美元 中发帖
[IMG_20260525_111244.jpg]
Paper [2605.22763] Advancing Mathematics Research with AI-Driven Formal Proof Search