标签:AI数学奥林匹克

谷歌AI拿下IMO奥数银牌,数学推理模型AlphaProof面世,强化学习 is so back

AlphaProof 和 AlphaGeometry 2 在 IMO 中的表现在 2024 年的国际数学奥林匹克竞赛(IMO)中,谷歌 DeepMind 研发的人工智能系统完成了六道赛题中的四道,获...

首届AI奥数竞赛方案公布:4支获奖队伍,竟都选择国产模型DeepSeekMath

全球首届AI数学奥林匹克竞赛(AIMO)的获奖结果引起了广泛关注。在这次比赛中,共有五个团队脱颖而出,其中Numina团队荣获第一名,CMU_MATH获得第二名,after...