标签: IMO

2026年7月21日，第67届国际数学奥林匹克（IMO）在上海落幕。中国队以232分蝉联冠军，三名少年拿到满分42分。同一天，GitHub上出现了另一份成绩单：前Google工程师、Menlo Ventures合伙人Deedy Das用7个前沿AI大模型全自主解答IMO 2026全部6道题，Claude Fable 5、GPT-5.6 Sol、Kimi K3和AxiomProver四个系统全部拿到42/42满分。

![IMO 2026 上海天际线](https://linlog.top/api/uploads/2026/07/1784780136439854863-ddc959be2ad2c