This morning I was reviewing some code that a JR engineer submitted. It had this wild logical conditional with twists and turns, negations, and weird property naming..

o1-preview perfectly evaluated the conditional and determined that, hilariously, it would always evaluate to true.

o1 untangled the spaghetti, and, verifying that it was correct was quick and easy. It created a perfect truth table for me to visualize.

This is a sign of things to come. We are speeding up.