谷歌DeepMind团队推出新系统AlphaProof Nexus，在未依赖公开发表或训练集中可见的标准解法的情况下，自主解决了353个公开埃尔德什（Erdős）问题中的9道，其中有两道难题甚至困扰了数学界56年之久。值得一提的是，每...

继OpenAI在周六宣布其模型获得金牌后，Google也宣布其Gemini Deep Think模型在国际数学奥林匹克竞赛（IMO）中解决了六道题目中的五道，并获得了赛事官方认证的金牌标准。这一突破标志着Google在人工智能领域的重大进...

AlphaProof自成立以来，一直致力于技术创新与突破。在近期发布的年度技术精选中，AlphaProof回顾了过去一年内最具代表性的技术成就。从人工智能领域的LLM（大型语言模型）到LoRA（低秩适应）技术，AlphaProof在多个...