algebraic-surfaces

一位数学家使用Codex 5.6成功推翻了自己耗时三年试图证明的代数曲面猜想，模型能够自动派生子代理处理繁重计算，让他能专注于难题与生活。