Earlier quoted context omitted.
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/
The corollary is that this is a very valuable capability of AI! The ability to find incredibly obscure facts and recall them to solve "officially unsolved" problems in minutes is like Google Search on steroids. In some sense, it is one core component of "deep expertise", and humans rely on the same methodology regularly to solve "hard" problems. Many mathematicians have said that they all just use a "bag of tricks" t…
I agree.
Although I don't think the current AI training method will be able to do AGI etc. (I agree with Yann LeCun's POV)
Being young, I don't know how I feel about the philosophical idea of AGI.