The most successful area of AI is compiler theory.
@zpartacoos Early compilers were referred to as automated programming. Back in the day, translating mnemonics of assembly to binary was simple enough, but automatically optimizing, or checking a program for correctness, was AI magic. Now it is the only way to code for most problems.
Presently, there is a field called "program synthesis" which is basically compiler engineering with even more automated reasoning. This all part of the symbolic artificial intelligence branch of general AI research.
@jmw150 ahh gotcha, thanks for explaining.
@jmw150 can you explain what that is as if I'm 12.