数学界震动！Claude一口气写下19万行源码，揪出13年前证明错误

正在取这篇稿子…