Comment on A New AI Math Startup Just Cracked 4 Previously Unsolved Problems