登录

当前标签：[谷歌DeepMind

留给人类数学家的悬赏不多了！谷歌DeepMind一口气解决9道埃尔德什问题

留给人类数学家的悬赏不多了！谷歌DeepMind一口气解决9道埃尔德什问题

谷歌DeepMind的AI系统成功自主解决了9道被悬赏数十年的埃尔德什开放问题，每道题的证明成本仅数百美元，并已通过Lean编译器进行形式化验证，彻底消除了AI推理中的幻觉问题。