小红书自研大模型在2026年IMO中以满分42分完成所有题目解答,第三题几何题的代数化解法让人类冠军选手直呼“优雅”。技术突破背后是形式化推理框架、多路径探索与......
7月21日,小红书AI在第67届IMO中以满分42分夺金,成IMO历史首个满分夺冠的AI系统,也是中国AI首次登顶。第三题几何解法被金牌选手评价“优雅得不像机器......