Wow, the rate of progress on this result has been remarkable to observe!

Source: Boris Power · x.com