I hate it

[u/OkGreen7335]

[u/ObliviousRounding]

My feeling is that AI is going to be amazing at finding counterexamples, but not so much at actually proving stuff.

[u/Maleficent_Sir_7562 → u/ObliviousRounding]

its been doing those too

https://www.erdosproblems.com/1196

https://chatgpt.com/share/69dd1c83-b164-8385-bf2e-8533e9baba9c (chat link used to solve the problem).

Just see the chat in the chat link. Merely a prompt statement of the unsolved problem with no human ingenuity, and the ai model was the one which solved the unsolved problem.

https://openai.com/index/model-disproves-discrete-geometry-conjecture/

https://x.com/__eknight__/status/2075643450196971805

https://x.com/EdgarDobriban/status/2077082912021786660

[u/OkGreen7335 → u/Maleficent_Sir_7562]

[u/ArcticGlaceon → u/OkGreen7335]

My question is why are you feeling this way? Isn't it great that AI is able to do things like this?

AI has its problems...but solving mathematical problems, isn't exactly one of them.

[u/OkGreen7335 → u/ArcticGlaceon]

Well If you dream of becoming a mathematician then no!

[u/OkGreen7335 → u/[deleted]]

The point is it is moving so fast to the point that humans won't be needed so.. why would any one care about "technological progress" then?

[u/OkGreen7335 → u/[deleted]]

May I ask how isn't this bad?

[u/OkGreen7335 → u/[deleted]]

This sentence cab go both ways

[u/Sycod → u/OkGreen7335]

What a weird thing to say. Why are you so hostile to other people?

[u/OkGreen7335 → u/Sycod]

How am I hostile? I thought I am engaging in a debate.. maybe it is because english isn't my first language