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

其中邓哲文和徐祺铭已连续两届入选国家队。自 1985 年中国队首次参加 IMO 以来，已有 17 位选手连续两届入选国家队，包括北京大学助理教授韦东奕，他曾在 2008、2009 年两次获得满分。

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

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