in-depth blog post on our first test with o1: Subtxt and System 2 Thinking: The Power of Precision with the o1 Model