The Fifth Fourth Postulate of Decision Theory

In 1820, the Hungarian mathematician Farkas Bolyai wrote a desperate letter to his son János, who had become consumed by the same problem that had haunted his father for decades:

"You must not attempt this approach to parallels. I know this way to the very end. I have traversed this bottomless night, which extinguished all light and joy in my life. I entreat you, leave the science of parallels alone... Learn from my example."

The problem was Euclid's fifth postulate, the parallel postulate, which states (in one of its equivalent formulations) that through any point not on a given line, there is exactly one line parallel to the given one. For over two thousand years, mathematicians had felt that something was off about it. The other four were short, crisp, self-evident: you can draw a straight line between any two points, you can extend a line indefinitely, you can draw a circle with any center and radius, all right angles are equal. The fifth postulate, by contrast, was long, complicated, and felt more like a theorem that ought to be provable from the others than a foundational assumption standing on its own. Generation after [...]

The original text contained 1 footnote which was omitted from this narration.

---

First published:
March 14th, 2026

Source:
https://www.lesswrong.com/posts/R4xxxAfNpAvpb3LCf/extracting-performant-algorithms-using-mechanistic-5

---

Narrated by TYPE III AUDIO.

“Extracting Performant Algorithms Using Mechanistic Interpretability” by Ihor Kendiukhov

LessWrong (30+ Karma)

“Extracting Performant Algorithms Using Mechanistic Interpretability” by Ihor Kendiukhov