Do recent AI solutions to major unsolved math problems mark a transformative turning point for math and wider progress?

“I've been here when the AI started solving the Math Olympiad gold medal problems. ... Now the AIs are solving millennium problems, and like, where are the people waking up?”

“We've actually solved very deep scientific problems quicker because of AI, interestingly enough.”

“when we say that, and people are hearing this idea that's thoroughly cooked, I think it's very important, to, to define what this means. What it means is it no longer takes humans to do this work. the mathematical challenges, the scientific challenges, you know, we'll talk about room temperature superconducting, you know, the cha- the grand challenges we've always”

“if you look at what's going on with these mathematical grand challenges and adjacent problems in AI, we're so deep into the singularity, and this is an overhang type situation that I think is about to collapse.”

“I think maybe the problem of math is that there's many subfields in, of math that haven't really had, they were just almost purely beautiful intellectual exercises without real life impact anymore. But as you get close to real life impact, you should be excited about it, and you think and realize your field is flourishing, not being cooked.”

“AI has solved the field. AI is scalably solving the field. And this is exactly what we want. The, the field of math is set to flourish and be flourished because we're about to learn the answers to the mysteries of the mathematical universe”

“These guys are in great shape because they're so cooked that they're now becoming AI natives very, very quickly. ... the mathematicians are going to flourish on top of the flourishment.”

“So I think AI opens up huge new possibilities for mathematics. It will change many things about it, but at the end of the day, we're going to end up with more understanding, we're going to end up with more theorems proved, and we're going to end up, you know, with just a better overview of what mathematics is.”

“I don't know if I would call it a crisis. There's a lot of opportunity in that crisis. It's a, it's a chance to rethink what it is we're trying to accomplish. ... Now we have a flashlight.”

“This is a really good opportunity for us to remember why we're doing this. Like, what is human purpose? It's not to be famous. It's not to have a Fields Medal. You know, solving interesting problems, helping other people, being curious, just wanting to understand the world.”

“this has demonstrated that math is no longer hard. Math can be scalably solved. ... the most immediate impact of this is likely to be felt, not investment advice, is crypto”

“when the histories of the singularity get written, this feels like we've switched, we've finished one act and we're beginning the next act. ... we've now, for the first time, we've seen an entire field, math, get bulk solved in only two weeks at presumably de minimis cost for OpenAI.”

“I don't think, I don't think, Peter, people realize, many people I've spoken with, I don't think they realize how we've just entered like the sci-fi part of the singularity. ... this is one of the. The inflection points”

“Definitely these problems have changed the boundary. And, you know, maybe a more concrete thing is just that the types of things that people are going to work on after that, drop of OpenAI problems is forever different.”

“I think history will regard contact with reality under the slop drop as being the moment when everything started to get solved and there was a panic in the applicable community”

“there's been a classic thing, almost like Marvex paradox, right? Where, like, we see, like, you know, we think of the AI being like, if it can do this, it's going to be amazing, right? Like, if it can solve these hard math problems, if it can win a chess, blah, blah. And then it solves these things, and then”

“I think that this, I think this class of proof is, it's really great. It shows computational horsepower overcame other things, as you said, Friedberg, because you can recursively improve to get there. But I don't think these proofs is what is going to necessarily show you that there's a cure to cancer, or there's a supersonic plane.”

“if it's worth saying it, I asked ChatGPT, and I said, will the latest proofs of important math problems result in direct Improvements and innovations to life as we know it, be honest and don't extrapolate weakly. And its conclusion was the latest mathematical proofs are more compelling as evidence that AI is acquiring sophisticated reasoning capabilities than as evidence”

“giving it to a moment would tell us that there's something about computing that like we genuinely, that like a lot of our expectations around computing are not necessarily true. Whereas solving like the millennial prize problems, you know, is like very interesting observations, but like we knew they were questions, right? We asked them, right?”

“I think that this, I think this class of proof is, it's really great. It shows computational horsepower overcame other things, as you said, Friedberg, because you can recursively improve to get there. But I don't think these proofs is what is going to necessarily show you that there's a cure to cancer, or there's a supersonic plane.”

“giving it to a moment would tell us that there's something about computing that like we genuinely, that like a lot of our expectations around computing are not necessarily true. Whereas solving like the millennial prize problems, you know, is like very interesting observations, but like we knew they were questions, right? We asked them, right?”

“there's been a classic thing, almost like Marvex paradox, right? Where, like, we see, like, you know, we think of the AI being like, if it can do this, it's going to be amazing, right? Like, if it can solve these hard math problems, if it can win a chess, blah, blah. And then it solves these things, and then”

“I think history will regard contact with reality under the slop drop as being the moment when everything started to get solved and there was a panic in the applicable community”

“So I think AI opens up huge new possibilities for mathematics. It will change many things about it, but at the end of the day, we're going to end up with more understanding, we're going to end up with more theorems proved, and we're going to end up, you know, with just a better overview of what mathematics is.”

“This is a really good opportunity for us to remember why we're doing this. Like, what is human purpose? It's not to be famous. It's not to have a Fields Medal. You know, solving interesting problems, helping other people, being curious, just wanting to understand the world.”

“I think maybe the problem of math is that there's many subfields in, of math that haven't really had, they were just almost purely beautiful intellectual exercises without real life impact anymore. But as you get close to real life impact, you should be excited about it, and you think and realize your field is flourishing, not being cooked.”

“this has demonstrated that math is no longer hard. Math can be scalably solved. ... the most immediate impact of this is likely to be felt, not investment advice, is crypto”

“I've been here when the AI started solving the Math Olympiad gold medal problems. ... Now the AIs are solving millennium problems, and like, where are the people waking up?”

“if you look at what's going on with these mathematical grand challenges and adjacent problems in AI, we're so deep into the singularity, and this is an overhang type situation that I think is about to collapse.”

“I've been here when the AI started solving the Math Olympiad gold medal problems. ... Now the AIs are solving millennium problems, and like, where are the people waking up?”

“if you look at what's going on with these mathematical grand challenges and adjacent problems in AI, we're so deep into the singularity, and this is an overhang type situation that I think is about to collapse.”

“I think maybe the problem of math is that there's many subfields in, of math that haven't really had, they were just almost purely beautiful intellectual exercises without real life impact anymore. But as you get close to real life impact, you should be excited about it, and you think and realize your field is flourishing, not being cooked.”

“So I think AI opens up huge new possibilities for mathematics. It will change many things about it, but at the end of the day, we're going to end up with more understanding, we're going to end up with more theorems proved, and we're going to end up, you know, with just a better overview of what mathematics is.”

“This is a really good opportunity for us to remember why we're doing this. Like, what is human purpose? It's not to be famous. It's not to have a Fields Medal. You know, solving interesting problems, helping other people, being curious, just wanting to understand the world.”

“this has demonstrated that math is no longer hard. Math can be scalably solved. ... the most immediate impact of this is likely to be felt, not investment advice, is crypto”

“I think history will regard contact with reality under the slop drop as being the moment when everything started to get solved and there was a panic in the applicable community”

“there's been a classic thing, almost like Marvex paradox, right? Where, like, we see, like, you know, we think of the AI being like, if it can do this, it's going to be amazing, right? Like, if it can solve these hard math problems, if it can win a chess, blah, blah. And then it solves these things, and then”

“I think that this, I think this class of proof is, it's really great. It shows computational horsepower overcame other things, as you said, Friedberg, because you can recursively improve to get there. But I don't think these proofs is what is going to necessarily show you that there's a cure to cancer, or there's a supersonic plane.”

“giving it to a moment would tell us that there's something about computing that like we genuinely, that like a lot of our expectations around computing are not necessarily true. Whereas solving like the millennial prize problems, you know, is like very interesting observations, but like we knew they were questions, right? We asked them, right?”