Timaeus was announced in late October 2023, with the mission of making fundamental breakthroughs in technical AI alignment using deep ideas from mathematics and the sciences. This is our first progress update.

In service of the mission, our first priority has been to support and contribute to ongoing work in Singular Learning Theory (SLT) and developmental interpretability, with the aim of laying theoretical and empirical foundations for a science of deep learning and neural network interpretability.

Our main uncertainties in this research were:

• Is SLT useful in deep learning? While SLT is mathematically established, it was not clear whether the central quantities of SLT could be estimated at sufficient scale, and whether SLT's predictions actually held for realistic models (esp. language models). 
• Does structure in neural networks form in phase transitions? The idea of developmental interpretability was to view phase transitions as a core primitive in the [...]

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

---

First published:
February 28th, 2024

Source:
https://www.lesswrong.com/posts/Quht2AY6A5KNeZFEA/timaeus-s-first-four-months

---

Narrated by TYPE III AUDIO.