Great stuff. Wonder how many of the ten problems where solved by independent mathematicians not linked to OpenAI
Zero. These were open problems.