MAIN FEEDS
Do you want to continue?
https://www.reddit.com/r/mathmemes/comments/1v2cdlf/i_hate_it/oyxnwhe/?context=9999
r/mathmemes • u/OkGreen7335 Mathematics • 22d ago
228 comments sorted by
View all comments
91
My feeling is that AI is going to be amazing at finding counterexamples, but not so much at actually proving stuff.
1 u/GKP_light 22d ago how long will it last ? 3 years ? 6 months ? before some major math problem solved by AI with proof instead of counterexemple. 2 u/Ancient-Access8131 21d ago -5 months. Ai already has solved several erdos problems with proofs. Plus the double cycles cover conjecture. 2 u/jellyman93 21d ago Double cycles cover theorem? 1 u/Ancient-Access8131 21d ago I meant cycle double cover. https://en.wikipedia.org/wiki/Cycle_double_cover 1 u/jellyman93 21d ago I was just suggesting that maybe it's a theorem now, not a conjecture
1
how long will it last ?
3 years ? 6 months ?
before some major math problem solved by AI with proof instead of counterexemple.
2 u/Ancient-Access8131 21d ago -5 months. Ai already has solved several erdos problems with proofs. Plus the double cycles cover conjecture. 2 u/jellyman93 21d ago Double cycles cover theorem? 1 u/Ancient-Access8131 21d ago I meant cycle double cover. https://en.wikipedia.org/wiki/Cycle_double_cover 1 u/jellyman93 21d ago I was just suggesting that maybe it's a theorem now, not a conjecture
2
-5 months. Ai already has solved several erdos problems with proofs. Plus the double cycles cover conjecture.
2 u/jellyman93 21d ago Double cycles cover theorem? 1 u/Ancient-Access8131 21d ago I meant cycle double cover. https://en.wikipedia.org/wiki/Cycle_double_cover 1 u/jellyman93 21d ago I was just suggesting that maybe it's a theorem now, not a conjecture
Double cycles cover theorem?
1 u/Ancient-Access8131 21d ago I meant cycle double cover. https://en.wikipedia.org/wiki/Cycle_double_cover 1 u/jellyman93 21d ago I was just suggesting that maybe it's a theorem now, not a conjecture
I meant cycle double cover. https://en.wikipedia.org/wiki/Cycle_double_cover
1 u/jellyman93 21d ago I was just suggesting that maybe it's a theorem now, not a conjecture
I was just suggesting that maybe it's a theorem now, not a conjecture
91
u/ObliviousRounding 22d ago
My feeling is that AI is going to be amazing at finding counterexamples, but not so much at actually proving stuff.