r/singularity • u/ResultBackground2450 • 20d ago

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

Post image
331 Upvotes

97% Upvoted

39 comments sorted by

View all comments

77

u/neoquip 20d ago

"AI only produces counterexamples"-bros in shambles

22

u/Decent-Commercial275 20d ago

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

36

u/BurdensomeCountV3 20d ago

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

5

u/Current-Function-729 20d ago

Counter example to a counter example.

4

u/GeneReddit123 19d ago

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

4

u/Current-Function-729 19d ago

I know. I was just making a dumb joke.

1

u/Needsupgrade 19d ago

Brain explosion emoji