陶哲轩分享了下第二届 AI 数学奥林匹克竞赛的进展。特别提到了qwen系列的Qw