Erdos problem solver experienced sleepless nights over math internal OpenAI model has solved

An internal OpenAI model has reportedly solved a math problem that previously caused sleepless nights for an Erdős problem solver. This development suggests significant progress in AI capabilities, with one individual noting that academia has consistently underestimated the problems being solved by such models. There is a hope that the message about this impending progress will be acknowledged rather than dismissed.

This report highlights a specific instance where an internal OpenAI model solved a math problem that previously challenged a human expert, unlike general claims of AI progress.