人類数学者への懸賞金が残り少ない？Google DeepMindがエルデシュ問題9問を一挙解決

Google DeepMindは、Gemini 3.1 ProとLean検証器を基盤とするAlphaProof Nexusを発表。50年以上未解決だった問題を含むエルデシュの未解決問題9問を解決し、さらにOEISの44の予想、15年未解決の代数幾何学問題なども証明した。費用は1問あたり数百ドル。