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

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