Meet a mathematician solving previously unsolvable math problems with GPT-5.6
Summary
Meet Bartosz. A mathematician solving previously unsolvable math problems with GPT-5.6
Related topics
Transcript Excerpt
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 ide…