AI证明首个菲尔兹奖成果，两周狂飙20万行代码，数学圈集体沸腾