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