News for hackers. Stuff that matters.
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.

There are no comments on this comment yet.