4 ms·

Afaik this is because there is a community and database around them.

• 0x5FC3 5mo ago
  Interesting. OpenAI could also be trying to solve other problems, but Erdos problems maybe falling first?
  • CSMastermind 5mo ago
    No, Erdos problems were accepted as sort of a benchmark. There's a bunch of reasons they're favorable for this task: 1. They have a wide range of difficulties. 2. They were curated (Erdos didn't know at first glance how to solve them). 3. Humans already took the time to organize, formally state, add metadata to them. 4. There's a lot of them. If you go around looking for a mathematics benchmark it's hard to do better than that.
    • ric2b 5mo ago
      I'm curious how the relative difficulty between the problems can be assessed when no one knows how to solve any of them.