I was surprised to see our paper mentioned on Terence Tao’s blog. He writes that an Erdős problem was solved through online collaboration, together with the use of various AIs, and our result is used in part. It is a very interesting post that makes you feel the future of math.