1.
1. This is incredible. 2. For the first time, AI solved a problem that I have spent time working on (multicolor Ramsey numbers) which makes this hit harder. 3. As far as AI math breakthroughs go, these problems feel much closer to being real-world applicable.