Shorten a cycle. Recover from a jam. Accommodate a different part. Each industrial change begins with an intention, then needs instructions and a way to check them.
I see those two tasks becoming accessible to machines together. AI expands what manufacturers can change. Advances in verification expand what we can establish about the result.
The bottleneck is acceptance
DORA’s 2025 survey announcement described nearly 5,000 technology professionals. Ninety per cent used AI at work; 30% reported little or no trust in generated code. Greater adoption was associated with higher delivery throughput and lower stability. Strong platforms, testing and feedback helped teams benefit. IN01
Its March 2026 analysis examined 1,110 open-ended responses from Google engineers, collected in Q3 2025. Engineers described time saved in creation returning as auditing work. The qualitative survey, subject to possible priming, shows how drafting speed and review capacity can diverge. IN02
Industry is moving in the same direction. Siemens’ April 2026 Eigen Engineering Agent launch named more than 100 pilot companies in 19 countries. It reported faster automation programming and configuration; June’s expansion connected electrical designs to automation projects. These are Siemens’ productivity claims. Its “standards-compliant” generation refers to its project framework, with functional-safety conformity a separate task. IN03 IN04
Siemens and NVIDIA’s January 2026 programme aims to connect virtual testing with operational changes, using the Erlangen electronics factory as an initial blueprint. IN05
Anthropic’s August Model Hardware Standard preview brings agents to instruments and robots through common drivers. Device limits, further safety evaluation and expert physical judgement remain part of that work. IN06
The direction is clear: machines will propose more changes to other machines. Someone must establish which changes deserve to run.
An industrial base ready for improvement
IFR counted about 4.66 million industrial robots operating in 2024, with 542,076 new installations. Those robots span many tasks and markets. My first customers are manufacturers whose supported equipment changes often enough to need a continuing service. Machine builders and integrators can help us reach them. IN07
The first engagement starts with one arm through an investor connection. It gives us a concrete place to learn before expanding across related installations.
Public specifications, stopping-distance data and manuals supply part of the starting knowledge. We have retained documents for major arm families and lab prototypes. Their figures enter as declared premises with sources and conditions; measurements must establish what holds at an installation. SY03
The value is close to the machine: a commissioning shift saved, a rejected batch avoided, a reliable restart. Siemens’ 2024 downtime report uses 181 interviews covering 2019–2023 to estimate wider industrial losses. It establishes context, without isolating losses caused by AI-generated software. I’ll price our work against the customer’s actual costs. IN08
European machinery law also makes the connection between change and evidence consequential. The Machinery Regulation generally applies from 20 January 2027. A digital change can qualify as a substantial modification when it creates a new hazard or increases risk and meets the regulation’s other conditions. Article 18 then gives the modifier manufacturer obligations for the affected scope. Ordinary edits do not automatically qualify; conformity routes include internal production control. The law does not universally require mathematical proof or an external verifier. IN09
Proving the work
Finding a proof and checking it are separate jobs. AI can search while a trusted checker enforces the statement and its allowed assumptions. FV01
Microsoft’s SymCrypt work connects specifications to extracted Rust models and maintains proofs as those models change. Some low-level connections rely on reviewed models. For this cryptographic scope, verification can follow the implementation. FV04
CERN–GSI’s PLC verification service found discrepancies in a real safety-critical project and developed reusable models for protected Siemens functions. Documentation and simulation supplied those models because the hidden implementations were unavailable. Solving one difficult component left work the next project could inherit. FV13
VeruSyn reports 6.9 million synthetic verified training programs and lower proof-generation costs under its sampling protocol. VeriStruct verified 128 of 129 functions across ten of eleven curated data-structure modules, including test functions and using supplied tests. These are advances in bounded proof construction, with industrial delivery effort still to measure. FV07 FV08
Connecting proofs remains hard. DafnyCOMP’s ICLR 2026 evaluation found average success of 0.55% at Pass@8 on its main chain tasks; a three-turn verifier-assisted protocol raised two models to 9.67%. It used older model configurations and excluded Claude from downstream tests because Claude helped construct the tasks. The result identifies a problem worth solving: making contracts across functions agree. FV12
Repetition must improve the economics
I’ll begin where useful verification already exists and build as the tools improve. The commercial test covers the whole job: requirements, modelling, proof work, review, measurements and maintenance.
The second installation must need less repeated work while preserving useful coverage. That is how faster code generation becomes faster industrial improvement.
Equipment vendors can bundle checking and integrators can build their own tools. Symbolia earns a place when a customer gets better evidence, less repeated work or continuity across suppliers, and returns for the next change.