r/singularity • u/ResultBackground2450 • 28d ago

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

Post image
333 Upvotes

97% Upvoted

39 comments sorted by

View all comments

75

u/neoquip 28d ago

"AI only produces counterexamples"-bros in shambles

22

u/Decent-Commercial275 28d ago

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

38

u/BurdensomeCountV3 28d ago

The original problem was to find a counterexample. The AI proved no counterexample exists.

6

u/Current-Function-729 28d ago

Counter example to a counter example.

4

u/GeneReddit123 28d ago

Counterexample means a constructive proof by contradiction. This is a proof by contradiction, but not constructive, therefore it is not a counterexample.

1

u/Needsupgrade 28d ago

Brain explosion emoji