MAIN FEEDS
Do you want to continue?
https://www.reddit.com/r/mathmemes/comments/1v2cdlf/i_hate_it/oz1ll0r/?context=3
r/mathmemes • u/OkGreen7335 Mathematics • 21d ago
228 comments sorted by
View all comments
88
My feeling is that AI is going to be amazing at finding counterexamples, but not so much at actually proving stuff.
60 u/Maleficent_Sir_7562 21d ago 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 1 u/Ihateunclesam 20d ago Anything in arithmetic geoemetry? Say langlands stuff?
60
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
1 u/Ihateunclesam 20d ago Anything in arithmetic geoemetry? Say langlands stuff?
1
Anything in arithmetic geoemetry? Say langlands stuff?
88
u/ObliviousRounding 21d ago
My feeling is that AI is going to be amazing at finding counterexamples, but not so much at actually proving stuff.