"I remember early systems struggling with something as simple as 2+2. Then, within just a few years, we went from that to systems achieving IMO gold-medal-level performance and now, assuming this proof is correct, to a Millennium Prize problem. That completely changes how I think about the trajectory".
How would Sept. 8 completely change how they think about the trajectory? Seems like there has been tremendous progress at all time.