News for hackers. Stuff that matters.

A comment on I Quit OpenAI Because Its Culture Is Broken. Parent comment

Re:I Quit OpenAI Because Its Culture Is Broken by ben_w on Monday October 05, 2026 @12:32PM (#49967051)
Automatic? No. But then, under Bayesian updating, it takes infinite evidence to reach P = [0, 1]

An agent whose outcomes become bad in 100 years can, similarly, be described as "less wrong" than one whose outcomes become bad in 1 week.

[ Parent | on HN ]
Re:I Quit OpenAI Because Its Culture Is Broken by MichaelZuo on Monday October 05, 2026 @07:15PM (#49972072)
Are you confused?

A formal proof with 1 contradiction and 9999 correct steps is just as false as a formal proof with 10 contradictions and 9990 correct steps.

There is no “less wrong” or “more wrong” in logic, by definition.

i.e. There is no safe lower bound threshold of “wrongness” that can partially salvage the correct steps. Or conversely, 1 contradiction is already sufficient to prove anything at all.

[ Parent | on HN ]