logoalt Hacker News

WhitneyLandyesterday at 7:43 PM3 repliesview on HN

If all checks out this is a huge milestone. AI has now solved one of the most famous open problems in graph theory, using an off the shelf model, in one hour.

It might be a better mathematician than most humans at this point. Kind of like when chess software started beating everyone except grandmasters.

What’s left? Proposing and building out entirely new theories and frameworks? Then better than any human? Then alien math results we struggle to comprehend?


Replies

StefanBatoryyesterday at 8:35 PM

It's hard for me not to think what's the point. I am a very average, even below average person in times of intelligence. What is even my value or reason to be if I know anything I can do, LLMs can do better? What is even my value both on job market and as a human?

show 6 replies
esafakyesterday at 7:50 PM

> What's left?

I think humans will be left to propose new conjectures while machines fill out the proofs. I don't know if there are enough interesting conjectures to go round to build new careers, though.

show 2 replies
npinskeryesterday at 7:48 PM

You say those things like they're a short step away, but that might not be how it works out.

For example, AI has made zero progress in the last few years in surpassing professionals at art or writing. Its prompt-following skill is much better, and sure, it can render hands and text now, but its artistic sensibility is completely stagnant.

show 6 replies