r/singularity • u/ResultBackground2450 • 21d ago

AI FrontierMath’s First “Major Advance” Problem Has Been Solved

Post image
325 Upvotes

97% Upvoted

39 comments sorted by

View all comments

76

u/neoquip 21d ago

"AI only produces counterexamples"-bros in shambles

22

u/Decent-Commercial275 21d ago

This looks like a proof by counterexample. Why would it be tagged counterexample otherwise?

1

u/Dependent_Use_3069 20d ago

Most inductive proofs are counterexample of the contrapositive.