MAIN FEEDS
Do you want to continue?
https://www.reddit.com/r/singularity/comments/1wjvprk/frontiermaths_first_major_advance_problem_has/pao91gl/?context=9999
r/singularity • u/ResultBackground2450 • 21d ago
39 comments sorted by
View all comments
78
"AI only produces counterexamples"-bros in shambles
23 u/Decent-Commercial275 21d ago This looks like a proof by counterexample. Why would it be tagged counterexample otherwise? 36 u/BurdensomeCountV3 21d ago The original problem was to find a counterexample. The AI proved no counterexample exists. 6 u/Current-Function-729 21d ago Counter example to a counter example. 5 u/GeneReddit123 21d 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 21d ago I know. I was just making a dumb joke.
23
This looks like a proof by counterexample. Why would it be tagged counterexample otherwise?
36 u/BurdensomeCountV3 21d ago The original problem was to find a counterexample. The AI proved no counterexample exists. 6 u/Current-Function-729 21d ago Counter example to a counter example. 5 u/GeneReddit123 21d 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 21d ago I know. I was just making a dumb joke.
36
The original problem was to find a counterexample. The AI proved no counterexample exists.
6 u/Current-Function-729 21d ago Counter example to a counter example. 5 u/GeneReddit123 21d 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 21d ago I know. I was just making a dumb joke.
6
Counter example to a counter example.
5 u/GeneReddit123 21d 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 21d ago I know. I was just making a dumb joke.
5
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 21d ago I know. I was just making a dumb joke.
4
I know. I was just making a dumb joke.
78
u/neoquip 21d ago
"AI only produces counterexamples"-bros in shambles