A mathematician's analysis evaluates the validity and technical details of OpenAI's newly published AI-generated mathematical proof

The answer is to work on harder, more complex things. We must sharpen our skills for the next frontier.

Reminds me of Lee Sedol's reflections after losing to Alpha Go.

"“I faced the issues of A.I. early, but it will happen for others,” Mr. Lee said recently at a community education fair in Seoul to a crowd of students and parents. “It may not be a happy ending.”

At any level of intelligence, there is always a complexity frontier.

There is infinite complexity in our universe to grok with more intellect, and near infinite reward to unlock by doing so (Kardashev 3+).

We must let go of zero-sum mindset and aim for the infinite.

@beffjezos Although if you value intelligence above all human qualities, you will have a good time

gotta say after reading the http://comp.ai archives from the 80s and 90s i have seen this exact sentiment expressed so many times for achievements that in retrospect seem entirely insignificant. it is an expression of apocalyptic spiritual revelation not of remorse

Most human experts will feel this pain and existential reflections

of watching a skill becoming an API.

@BjarturTomas More status game collapses. If these people can't find meaningful work after this they weren't doing it for the right reasons anyway.

@BjarturTomas If you can't exist outside of your function then you're not even a person, you're just a labor bot made of organic materials.

@BjarturTomas Very typical of friends in pure math who absolutely did not want to work on anything that would be beneficial to humanity in the next 100 years.

you guys gotta stop falling for this stuff. develop some intellectual antibodies to technomillenarian nonsense

@Plinz also true

@BjarturTomas Wow he sounds pretty upset.

AI is becoming smarter than us at well defined downstream tasks.

I believe only humans still can do upstream tasks using abductive reasoning.

@BjarturTomas

You learn from the proof and explore?

Who said curiosity was dead? Who declared all things solved?

The answer is you explore the new edge. Never forget, YOU hold the frame, not the ai....not unless you give it up.

And you don't want to do that. Ai is great at detail, but sucks at setting the frame...deciding where to look and explore...how to do it....that is You.

Plenty of wonder left. You just have to be curious and look.

@BjarturTomas It seems like people don't have a detachment from their in-nate abilities and focus on value creation and building like software engineers have shown to have the last few years.

I feel empowered by the tools.

@BjarturTomas John Henry was a steel driving man. He beat the machine, but the effort killed him. Most of his fellow laborers probably just found other lines of work. https://en.wikipedia.org/wiki/John_Henry_(folklore)

@BjarturTomas this is why god invented leisure; or, rather, stopped inventing to enjoy leisure

https://www.nytimes.com/2024/07/10/world/asia/lee-saedol-go-ai.html

@sigfig

@JackFeynman @BjarturTomas There won’t be any meaningful knowledge work for anyone, in the medium run.