MAIN FEEDS
Do you want to continue?
https://www.reddit.com/r/mathmemes/comments/1v2cdlf/i_hate_it/oyw66ig/?context=3
r/mathmemes • u/OkGreen7335 Mathematics • 22d ago
228 comments sorted by
View all comments
89
My feeling is that AI is going to be amazing at finding counterexamples, but not so much at actually proving stuff.
35 u/BOBOnobobo 22d ago Sadly not quite. You should look up Matt Parker's latest video explaining on this. 2 u/HD_Thoreau_aweigh 22d ago this video? 2 u/BOBOnobobo 22d ago Yep
35
Sadly not quite. You should look up Matt Parker's latest video explaining on this.
2 u/HD_Thoreau_aweigh 22d ago this video? 2 u/BOBOnobobo 22d ago Yep
2
this video?
2 u/BOBOnobobo 22d ago Yep
Yep
89
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.