6 votes

Does an AI exist that can write software based on a formal specification?

I think that the answer to your question is yes. In the article New A.I. application can write its own code, the authors state Computer scientists have created a deep-learning, software-coding ...
Brian O'Donnell's user avatar
5 votes

Does an AI exist that can write software based on a formal specification?

There's Neural Program Synthesis, which can be used to generate a piece of code. Please, have a look at the article Neural Program Synthesis by Microsoft for an overview of the field.
a3.14_Infinity's user avatar
4 votes

Does an AI exist that can write software based on a formal specification?

The other answers cover modern work on this, but it's not even a new topic! Koza's work in Genetic Programming (1992) led to whole sub-fields doing this. The techniques are widely used, robust, and ...
John Doucette's user avatar
2 votes
Accepted

Why is creating an AI that can code a hard task?

AI has been applied to programming (check out TabNine, my favorite autocomplete engine) although not in as robust a fashion as you describe. Programming requires a high level of abstract while AI is ...
Chris's user avatar
  • 144
1 vote

Why is creating an AI that can code a hard task?

I am not an expert on this specific topic, but I can say a few words. I will use the term "programming" to refer to software development (of any kind). If you are in the camp that this isn'...
nbro's user avatar
  • 40.5k

Only top scored, non community-wiki answers of a minimum length are eligible