谷歌Deepmind的AlphaProof Nexus破解9個埃爾多斯問題
谷歌deepmind的alphaproof nexus解決了9個開放的數學問題，展現了人工智慧在數學領域的不斷進步。 這對依賴數學證明領域具有重要意義。
google deepmind's alphaproof nexus, built around gemini 3.1 pro, solved 9 open erdős problems, including two unsolved for 56 years, and proved 44 conjectures from the oeis integer sequence database. it also solved an open question in algebraic geometry and improved a known bound in min-max optimization. the system uses lean to draft and revise proofs, with alpha proof assisting on harder sub-problems. this achievement shows ai's growing capabilities in mathematics, differing from openai's approach of dumping hundreds of ai proofs on github without peer review.