字节跳动Seed团队近日发布了一款名为Seed-Prover的创新型自动定理证明系统，并在2025年国际数学奥林匹克（International Mathematical Olympiad, ...

本周六早上传来消息，在国际数学奥林匹克竞赛 IMO（International Mathematical Olympiad）比赛上中国队重夺冠军，获得了六金、双满分的佳绩。 从「成绩单」来看，中国队总分 231 ...

越通社驻东京记者报道，亚洲数学奥林匹克组委会于8月5日公布了2025年亚洲国际数学奥林匹克（Asia International Mathematical Olympiad，简称AIMO）国际总决赛的结果，越南队全部22名学生均获奖。

Google宣布将Gemini的Deep Think功能推向最高端方案Google AI Ultra的用户，可帮用户解决需要创意及策略规划的困难问题。此外，Google也宣布不久前取得国际数学奥林匹亚（International ...

团体赛中，由阮克忠坚、黄公保龙、阮富仁和裴谭军组成的越南二队以198.4分的高分斩获第四名，仅次于波兰、俄罗斯和匈牙利队。这一成绩标志着越南首次跻身该项赛事全球四强。

谷歌称，Gemini Deep Think的先进版本完美解答了国际数学奥林匹克竞赛 (International Mathematical Olympiad，简称IMO)六道题目中的五道，总得分35分，达到了 ...

当地时间 7 月 21 日，谷歌 DeepMind 宣布，其研发的人工智能系统在国际数学奥林匹克（IMO，International Mathematical Olympiad）中取得了历史性的突破，正式 ...

亚洲数学奥林匹克组委会于8月5日公布了2025年亚洲国际数学奥林匹克（Asia International Mathematical Olympiad，简称AIMO）国际总决赛的结果，越南队全部22名学生均获奖。