Comment on OpenAI Says It Has Cracked One of Math's 'Millennium Problems'