Afaik this is because there is a community and database around them.
Interesting. OpenAI could also be trying to solve other problems, but Erdos problems maybe falling first?
alt Hacker News
Interesting. OpenAI could also be trying to solve other problems, but Erdos problems maybe falling first?