Comment by net01

I’m quite certain that a few months ago, some problems were claimed to be solved by AI. However, those claims were actually false and were exactly that, solved erdos problems that were not marked as solved and the solution was "found" by AI.

edit: >> https://techcrunch.com/2025/10/19/openais-embarrassing-math/