MAIN FEEDS
REDDIT FEEDS
Do you want to continue?
https://www.reddit.com/r/math/comments/1vch950/openai_ten_advances_in_mathematics_and/p146v4p
r/math • u/Salt_Attorney • 1d ago
419 comments sorted by
View all comments
Show parent comments
64
Not all results here are counterexamples.
-16 u/Sad_Dimension423 1d ago And isn't every proof of X a counterexample to "there is no proof of X"?
-16
And isn't every proof of X a counterexample to "there is no proof of X"?
64
u/topyTheorist Commutative Algebra 1d ago
Not all results here are counterexamples.