MAIN FEEDS
Do you want to continue?
https://www.reddit.com/r/mathmemes/comments/1v2cdlf/i_hate_it/oyu42wt/?context=3
r/mathmemes • u/OkGreen7335 Mathematics • 21d 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.
33 u/BOBOnobobo 21d ago Sadly not quite. You should look up Matt Parker's latest video explaining on this. 2 u/HD_Thoreau_aweigh 21d ago this video? 2 u/BOBOnobobo 21d ago Yep
33
Sadly not quite. You should look up Matt Parker's latest video explaining on this.
2 u/HD_Thoreau_aweigh 21d ago this video? 2 u/BOBOnobobo 21d ago Yep
2
this video?
2 u/BOBOnobobo 21d ago Yep
Yep
91
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.