Hacker News

points by gewetensleegte 2 days ago | 0 comments

They first do have to show results that are actually useful to any human, though.

Right now, they just created busy work for real mathematicians while snatching away their feeling of accomplishment and discovery.

The only "use" for these results people can claim currently, all rest on the idea that surely better results will follow. Which is why it's being called strip-mining, because you can only keep that up for so long.

What if they just start churning out Lean proofs forever, and the only job left for mathematicians is turning them into human readable proofs, this is definitely a net negative for humanity, because then true progress of mathematics will slow down, because there are more people that like doing mathematics for discovery and accomplishment, than there are people that like doing math homework for the sake of it.

Also I would prefer a world where humans get to have this sense of discovery and accomplishment, instead of what they are trying to turn mathematics into.

[–] schindlabua 2 days ago

Coding used to be a super creative and rewarding thing for me, and now I do 0 of it. Does this mean I produce less code, or hate my job because I can no longer "do the problem solving" that gave me so much joy? No -- it's the opposite on both accounts and I can actually tackle much larger problems now.

If anything, proof abundance should speed up discovery, and mathematics will be fine. What is happening now is just a massive shock to the system so understandably people are upset.

(It's also understandable why AI companies are strip mining open maths problems. "Solve P=NP" is crazy hard, but still a simple prompt, with a verifiable solution. You don't get that this often outside of maths.)

[–] Lambdanaut 2 days ago

`Superhuman` does not imply subservience or beneficence to humanity, it's just a nice to have for us if it pans out that way.

[–] hagen8 2 days ago

I think, AI is not waiting for humans to understand new science. While humans are busy understanding the new proofs, AI can already use the new findings to create 10 more, and based on those 10 more, some agents will create 100 more. Until the gap between human understanding and AI understanding is so large that unless we are using some research agents, we will not be able to contribute meaningfully on the scale we do it now. Agents will build some research database where they can built upon another, and our traditional peer review system with humans in the loop will be partially replaced, because requiering human understanding would slow down progress.

Well long story short, the tech bros are right and we will have super intelligence some time soon!