ChatGPT

nsaspook

Joined Aug 27, 2009
16,379
https://www.scientificamerican.com/article/chatgpt-just-proved-another-50-year-old-math-conjecture/


ChatGPT just proved another 50-year-old math conjecture

What’s the secret to prompting an AI to solve math problems that have left humans stumped? Tell it to believe in itself
Last Friday’s AI-generated proof seems to have settled the question. It shows that any guess-applicable graph can be doubly covered with no more than eight well-chosen loops (for technical reasons, graphs with big sections connected by a single edge—like twin cities with a single road between them—are excluded). The proof, like other notable AI achievements in math, required surprisingly little in the way of new ideas. It just followed and combined methods humans had tried before and managed to squeeze a bit more out of them. As AI companies continue to scour the mathematical literature for open problems that their models can solve, they seem to keep digging out “easy” quandaries disguised as hard ones—conjectures for which a proof was always within reach but somehow never grasped by humans.

Once a problem gets a reputation for being “hard,” experts and students might spend less time on it, says Andrew Sutherland, a mathematician at the Massachusetts Institute of Technology. This can make perceived difficulty a kind of self-fulfilling prophecy. “My guess is we will keep seeing examples of this—supposedly ‘hard’ problems having ‘easy’ solutions found by LLMs,” he says.
 

nsaspook

Joined Aug 27, 2009
16,379
Fine. Blame the lazy human.

That only makes the case for AI stronger.
There are not lazy, there are just other, more valuable problems to spend their human time on. AI has a great future in that sector of obscure problems IMO.

The universe is lazy. That's not a flaw, it's a smart feature. The current crop of LLM's are providing an high powered creative, hallucination, and degeneration multiverse of sorts out of the normal lazy universe by the use of massive amounts of energy.

1784857780890.png
 
Last edited:
Top