<p>Not true.  I studied the problem starting in June 1975 and March 1977 I discovered 8 general Rules of Inference for synthesizing computer programs.  The algorithm continues to evolve.  See <a href="http://arxiv.org/abs/1501.01363" rel="nofollow">http://arxiv.org/abs/1501.01363</a> .  Nobody will publish it because computer science academic publishing is an Old Boy's Club that only accepts paper from college professors.  Look at any academic journal and you'll see that every paper is by a professor - or a researcher for a rich company or university e.g. SRI.</p>
Is there an AI, Machine, or Automated Theorem Prover that builds source code from input?
<p>I think my title is quite succinct.  Is there an AI, Machine, or Automated Theorem Prover (ATP) that builds source code from input? A very simple idea of what I'm getting at is this "Hey AI/Machine/ATP, please build a 'hello world' source code."</p>

<ol>
<li>If not source code, what about creating output for LLVM IR, Java Bytecode, or MSIL?</li>
</ol>