数学家借助GPT-5.6解决三年未解难题

Usually when I get stuck with a math problem, I just want to stop for a while and [music] just get relaxed. So then I go out to the garden. I just am completely immersed in my own thoughts. And once I come back, I just run Codex to do all this exploration and all this technical stuff that otherwise it would take me weeks. I remember working on a computer code when I was about five, I think. I barely remember a time I was not able to code. It was like always in my blood. We've been working for the last three years on a remarkably hard question about algebraic surfaces. We were trying programming stuff, trying pen and paper approach. We tried previous models. Nothing really worked well. I decided, "Okay, I'm going to try the new Codex 5.6." Codex was able to come up with a completely new idea. And it helped us disprove the conjecture [music] that we were trying to prove for these three years. 14 over 5 is actually bigger than 8 over 3. So it turns out that the conjecture was basically false. Oh, I'm so excited of the discovery. >> [laughter] >> But that's why we do science, right?

And we we're on the fun. 5.6 it it feels kind of natural because you set up the task and the model can recognize that there is like a lot of computation going. So it has to spawn the subagents automatically without even me asking [music] for this. I see that all these AI tools are meant to empower people. Now I can focus on what I like doing [music] the most, so hard ideas in math, staying with my family, with my kids, and mowing. If you have this kind of audacity to try something very big, you won't be scared by the sheer amount of computation because [music] you'll be able to organize it with the model. And I think we are going to have a lot of fun and a lot of new discoveries on the way. [music] Questions?