Hacker News Reader

Correctness can also be guaranteed by non-deterministic systems [0]. You do trade time predictability though. It will eventually give the correct answer, we just dont know when.

I keep thinking about the implications of this. So in some sense it's less about being inaccurate and more about prematurely stopping (or not having a well defined target, but that's a whole other mess).

In theory, if the target is well defined and it never prematurely stops, the question changes from "will the output be correct" to "when will it be done?"

[0] https://en.wikipedia.org/wiki/Las_Vegas_algorithm

> we just dont know when

Ah, so it's merely functionally useless, if not theoretically.

Guaranteed correctness on an unknown timeline is a pretty interesting tradeoff and not novel. It's just how probabilistic systems work.

I dont really understand your position. Do you think AI is useless?

Correct.

Also, the better one gets at using AI, the better they can predict where AI might fail.

This allows you to both work 10x faster and prevent many mistakes, which puts you far ahead of not-using-AI.

Yep. Exactly why we use machines. They do the deterministic bit quickly. We do the other bits.