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 ...
- 1,937
5
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 ...
- 9,362
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.
- 151
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 ...
- 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'...
- 41.1k
Only top scored, non community-wiki answers of a minimum length are eligible