LLM proves key math theorem, altering skeptic's view on AI research

Original: RT @WeinsteinOmri: Even @OpenAI's recent Erdős breakthrough didn't convince me that LLMs can do general math research. This changed my mind…

Source: x.com ↗