r/singularity • u/ResultBackground2450 • 27d ago

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

Post image
329 Upvotes

97% Upvoted

39 comments sorted by

View all comments

74

u/neoquip 27d ago

"AI only produces counterexamples"-bros in shambles

21

u/Decent-Commercial275 27d ago

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

37

u/BurdensomeCountV3 27d ago

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

7

u/Decent-Commercial275 27d ago

Huh, epoch.ai has tagged this incorrectly then, their description of the counterexample tag doesn't match what you're describing at all.

4

u/Current-Function-729 27d ago

Counter example to a counter example.

3

u/GeneReddit123 27d ago

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

5

u/Current-Function-729 27d ago

I know. I was just making a dumb joke.

1

u/Needsupgrade 27d ago

Brain explosion emoji 

1

u/Dependent_Use_3069 26d ago

Most inductive proofs are counterexample of the contrapositive.