https://aibussin.com/categories/formal-methods/ Recent content in Formal Methods on AIBussin — AI applications, systems and books Hugo en-US Fri, 19 Jun 2026 14:49:56 +0100 https://aibussin.com/post/moment/ Fri, 19 Jun 2026 14:49:56 +0100 https://aibussin.com/post/moment/ <blockquote> <p><strong>Most AI systems answer and move on. The next step is different: preserve the reasoning state, replay it, measure whether it improves, and keep only what survives verification.</strong></p> </blockquote> <h2 id="summary">Summary</h2> <p>Most AI workflows still treat intelligence as a single pass.</p> <p>You ask a question. The model answers. Maybe you ask it to try again. Maybe you add more context. Maybe you save something to memory.</p> <p>But the basic shape remains the same:</p>