Illustration for the Sazko Solutions article on the future of AI in software development

The Future of AI in Software Development: What’s Actually Changing

By September 2026 the industry’s own framing had shifted: the value is in workflows, data rights and human review, not flashy demos. That’s a good moment to take stock of what has actually changed in how software gets built. It’s easy to be either dismissive or breathless about AI’s effect on software development, and both postures avoid the more useful question: what, specifically, is actually different about how software gets built today versus three years ago? A few concrete shifts are worth naming, separate from the marketing around them.

Sazko Solutions article on AI-assisted formal verification for critical software, July 2026

Formal Verification Meets AI: Why Machine-Checked Proofs Matter for Critical Systems

In July 2026, Mistral released a model aimed at formal software verification — generating machine-checked mathematical proofs, in Lean 4, that a piece of software behaves as specified. It’s a narrow capability with outsized implications for anyone building systems where “we tested it and it seemed fine” isn’t good enough.