An internal model from OpenAI disproves a conjecture by Paul Erdös, and eminent mathematicians confirmed the correctness:
cdn.openai.com/pdf/74c24085...
Can any math adjacent folks on bluesky chime in on this?
Watershed moment, or low hanging fruit for AI?