这才是IMO奥赛战神：满分，5战3金，刚被MIT录取

最近，IMO是真的热闹。不过，大家谈论的重点都是AI在国际数学奥林匹克（IMO）上的表现。这不，除了海外的OpenAI、谷歌，国内的字节跳动Seed团队也刚刚公布了他们的IMO竞赛结果：我们的形式化数...

游客 2025-08-02

3 0