留給人類數學家的懸賞不多了！谷歌DeepMind一口氣解決9道埃爾德什問題

谷歌DeepMind發佈AlphaProof Nexus，基於Gemini 3.1 Pro和Lean編譯器，一口氣解決了9道埃爾德什開放問題，另有44個OEIS猜想、一道15年代數幾何難題等，每道題成本僅幾百美元。