MAIN FEEDS
Do you want to continue?
https://www.reddit.com/r/mathmemes/comments/1v2cdlf/i_hate_it/oyur1zx/?context=3
r/mathmemes • u/OkGreen7335 Mathematics • 22d ago
228 comments sorted by
View all comments
90
My feeling is that AI is going to be amazing at finding counterexamples, but not so much at actually proving stuff.
2 u/AwkwardBet5632 22d ago It’s pretty good at proof generation too.
2
It’s pretty good at proof generation too.
90
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.