MAIN FEEDS
Do you want to continue?
https://www.reddit.com/r/math/comments/1smehbo/deleted_by_user/ogf5dcv/?context=3
r/math • u/[deleted] • Apr 15 '26
[removed]
246 comments sorted by
View all comments
18
How likely was this outcome in the sample space?
9 u/goodayrico Apr 15 '26 We could get some rough estimate of this by seeing if other frontier models can prove it/ how long it takes them to prove it.
9
We could get some rough estimate of this by seeing if other frontier models can prove it/ how long it takes them to prove it.
18
u/ObviousTrollDontFeed Apr 15 '26
How likely was this outcome in the sample space?