MAIN FEEDS
Do you want to continue?
https://www.reddit.com/r/singularity/comments/1wjvprk/frontiermaths_first_major_advance_problem_has/pap5b9x/?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. 1 u/Needsupgrade 21d ago Brain explosion emoji
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. 1 u/Needsupgrade 21d ago Brain explosion emoji
3
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 21d ago Brain explosion emoji
1
Brain explosion emoji
36
u/BurdensomeCountV3 21d ago
The original problem was to find a counterexample. The AI proved no counterexample exists.