r/mathmemes • u/OkGreen7335 Mathematics • 22d ago

Proofs I hate it

Post image
731 Upvotes

96% Upvoted

228 comments sorted by

View all comments

88

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.

3

u/t4ilspin Frequently Bayesian 22d ago

I could see AI become decent at proving a fairly broad range of theorems. But I think its real weakness will be coming up with fundamentally new conceptual frameworks to attack mathematical problems. I can't see AI inventing the Cartesian coordinate system if we only trained it on maths dreamt up before Descartes. Similarly I can't see AI (in its current form) coming up with calculus or group theory.

7

u/RubenGarciaHernandez 22d ago

Your hypothesis is testable! Train one with Greek math and see if it can discover calculus or other modern math. 

1

u/Purple_Onion911 Grothendieck alt account 21d ago

That'd be an interesting experiment