Executive Summary
- ChatGPT solves an Erdős problem with a novel approach
- Experts analyze the AI’s proof and find it to be correct
- This breakthrough showcases AI’s potential in math problem-solving
The Buzz Score
The Internet’s Verdict: 70% Hyped, 30% Skeptical
Expert Opinions
Experts are impressed by ChatGPT’s ability to combine knowledge and synthesize new results.
Of course LLMs are still absolutely useless at actual maths computation, but I think this is one area where AI can excel — the ability to combine many sources of knowledge and synthesise, may sometimes yield very useful results.
Others propose creating a repository of unsolved math problems for AI to tackle.
At this point we should make a GitHub repo with a huge list of unsolved “dry lab” problems and spin up a harness to try and solve them all every new release.
However, some note that AI’s output often requires expert interpretation.
The raw output of ChatGPT’s proof was actually quite poor. So it required an expert to kind of sift through and actually understand what it was trying to say.
Focus Keyword: ChatGPT Erdős
