Will we even read code once AI just generates platform native executable binaries using a blackbox AI optimized compiler we have no access to?
Seems we will be writing programs using some kind of logical formal methods[1] and generating the code without ever looking at it and testing the system properties. I imagine AI will make its own intermediate programming language that benefits it the most instead of human readability
Seems we will be writing programs using some kind of logical formal methods[1] and generating the code without ever looking at it and testing the system properties. I imagine AI will make its own intermediate programming language that benefits it the most instead of human readability
[1] https://forge-fm.github.io/book/2026/