News for hackers. Stuff that matters.
Re:An OpenAI model has disproved a central conjecture in dis... by net01 on Wednesday May 20, 2026 @05:39PM (#48214532)
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/

Re:An OpenAI model has disproved a central conjecture in dis... by jiggawatts on Wednesday May 20, 2026 @05:43PM (#48214578)
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" they've picked up and apply them to problems to see if they work. The LLMs have a huge bag of very obscure tricks, and are starting to reach the point that they can effectively apply them also.

I suspect the threshold of AGI will be crossed when the AIs can invent novel "tricks" on their own, and memorise their own new approach for future use without explicitly having to have their weights updated with "offline" training runs.

Re:An OpenAI model has disproved a central conjecture in dis... by net01 on Friday May 29, 2026 @01:48PM (#48326693)
> The corollary is that this is a very valuable capability of AI

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.