Three years of using formal validation with increasingly capable AI

For three years, the author has been experimenting with formal validation of software algorithms, primarily using Codex Sol 5.6. ChatGPT GPT-5.6 Sol was employed to write the prompts for this work. The author has documented their findings, detailing what proved effective, what did not, and the current limitations of this approach, which can be found at https://levelup.gitconnected.com/nine-rules-for-vibe-validation-of-vibe-coded-algorithms-20db019f5583.

This report details a three-year experiment using formal validation with AI, unlike most discussions that focus on theoretical aspects or shorter-term trials.