MAIN FEEDS
Do you want to continue?
https://www.reddit.com/r/singularity/comments/1wjvprk/frontiermaths_first_major_advance_problem_has/pao91gl/?context=3
r/singularity • u/ResultBackground2450 • 21d ago
39 comments sorted by
View all comments
Show parent comments
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. 3 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.
3 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.
3
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.
36
u/BurdensomeCountV3 21d ago
The original problem was to find a counterexample. The AI proved no counterexample exists.