... shit that solved an apparently significant Erdős problem.
That is not nothing, no matter how much you hate AI.
It shows that AI is apparently very good at brute-forcing.
alt Hacker News
It shows that AI is apparently very good at brute-forcing.