Meet a mathematician solving previously unsolvable math problems with GPT-5.6

TL;DR: 一位自五岁开始编程的数学家，用 Codex 5.6 在一个代数曲面问题上推翻了自己耗时三年试图证明的猜想，并发现模型能自动派生子代理处理繁重计算，让他能专注于最爱的难题与生活。 ## 从花园散步到代码突破 当数学问题陷入僵局时，我习惯停下来歇一歇，去花园走走。完全沉浸在自己的思绪里。等回来之后，就让 Codex 去做那些探索和技术性的活儿——否则那些事得花我好几周时间。 我大约五岁就开始写计算机代码了，几乎不记得有哪段时间我不会编程——这好像一直流淌在我的血液里。 ## 一个三年未解的代数曲面难题 过去三年，我们一直在研究一个关于代数曲面的极其困难的问题。我们尝试过编程，也试过纸笔推导，还试过以前的模型，效果都不太好。于是我决定：“好，我要试试新的 Codex 5.6。” ## Codex 5.6 带来的全新思路 Codex 竟然提出了一个全新的思路。它帮我们推翻了一个我们花了三年试图证明的猜想。 关键数字出现在推导中：14/5 实际上比 8/3 大，所以那个猜想基本上是错的。这个发现让我好激动，但这就是我们做科学的原因，而且我们玩得很开心。 ## 自然的使用体验与自动子代理 5.6 用起来感觉很自然：你设定好任务，模型就能识别出有大量计算正在进行，并自动派生子代理，甚至不需要我提出要求。 ## AI 赋能：专注于真正重要的事 我觉得所有这些 AI 工具都是为了赋能于人。现在我可以专注在我最喜欢做的事情上——数学里的难题、陪家人、陪孩子，还有割草。 如果你有这种胆量去尝试非常宏大的事情，你就不会因为计算量庞大而害怕，因为你可以用模型来组织它。我想我们会在前进的路上收获很多乐趣和很多新发现。 **Source:** [YouTube 视频链接](https://www.youtube.com/watch?v=5X5CALvYvp0)