OpenAI Forms a Mathematics Advisory Group at the Institute for Advanced Study After Claiming 100 Solved Open Problems · Polylog