刚刚，Claude用11天完成费马大定理验证，清华姚班校友带队