AI Agent搞定世纪首次菲尔兹奖成果形式化，一周时间独立完成，20万行代码已公开