DeepMind开源

AlphaProof Nexus是谷歌最新开源的数学解题框架。系统由Gemini驱动，配合Lean语言编译器纠错，以几百美元算力顺利解决9道埃尔德什世纪数学难题，本文双手奉上该智能体框架的结构分析与实...