@jbz You might be joking, but this is actually not so far fetched as one might think:
Code Migration with Formal Verification for Performance Improvement of Legacy Code:
Combining AI with Formal Verification for Efficient Migration of Legacy Code:
IMHO, this is one of the most useful applications of #LLMs.
Either way, the future of #AI will belong to automated reasoning/symbolic AI (maybe in combination with LLMs).
