Re:AI should only run as fast as we can catch up
by yuedongze on Monday December 08, 2025 @05:39PM
(#46198627)
> because it looks about right to me
this is something one can look in further. it is really probabilistic checkable proofs underneath, and we are naturally looking for places where it needs to look right, and use that as a basis of assuming the work is done right.
this is something one can look in further. it is really probabilistic checkable proofs underneath, and we are naturally looking for places where it needs to look right, and use that as a basis of assuming the work is done right.