留给人类数学家的悬赏不多了！谷歌DeepMind一口气解决9道埃尔德什问题

谷歌DeepMind发布AlphaProof Nexus，基于Gemini 3.1 Pro和Lean编译器，一口气解决了9道埃尔德什开放问题，另有44个OEIS猜想、一道15年代数几何难题等，每道题成本仅几百美元。