登录

当前标签：难题

人类56年解不出，谷歌AI一夜连破9道世纪难题

人类56年解不出，谷歌AI一夜连破9道世纪难题

人类56年未解的9道Erdős数学难题，被谷歌DeepMind全新AI系统AlphaProof Nexus在一夜间全部攻破，且所有证明均通过Lean编译器形式化验证，彻底宣告无幻觉。