搜索: "数学研究"

谷歌在FirstProof数学挑战中创下难以突破的新纪录，超越IMO金牌水平

去年7月举行的国际数学奥林匹克竞赛上，两家人工智能公司因争夺金牌成绩而引发了广泛关注。当时OpenAI和谷歌都宣称取得了金牌的成绩，但OpenAI由于提前违反官方规则宣布结果而受到了批评；谷歌DeepMind的Gemini进阶模型则是首个被奥赛组委会正式认定为金牌的人工智能系统。竞赛与真正的数学研究之间仍存在明显的界限。自那之后，AI的发展迅速加快，其解决数学问题的能力不再仅仅依赖于推理能力。现在