谷歌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.