Comment Comment by 0x5FC3 Interesting. OpenAI could also be trying to solve other problems, but Erdos problems maybe falling first? parent 0x5FC3 5 months ago