@s_batzoglou
Scott Aaronson on the new AI math breakthroughs: "It seems to me that we’re now over the top of this particular rollercoaster, and it will keep accelerating until we reach the bottom, wherever that might be. I don’t know whether to hope or dread that solutions to P versus NP and all our other great problems will be included in the ride—that our role, as human mathematicians, will be reduced to (at most) deciding which questions we find interesting and then understanding AI models’ answers to those questions. But maybe that won’t happen. Maybe the new AI mathematicians will soon hit a wall, because they lack the uncomputable quantum gravity microtubules of Penrose and Hameroff, or some other magic human ingredient. The fantastical thing is that, one way or the other, we’re going to find out empirically before very long." I don't think we will "reach the bottom". AI will keep getting better in math, and fast. And unlike Go, where the limit is that the AI already plays an almost perfect game (meaning that there is probably no way mathematically to beat the AI with handicap), there is no upper limit in math ability. So we are heading to interesting times for math, and fast. https://t.co/nlVFm3uCv4