3 ms·
Why don’t we have an AI programmer yet? “Write a sorting algorithm” is a well-defined problem, and easy to test for correctness to a reasonable degree of certai
by igammarays 7y ago
Why don’t we have an AI programmer yet? “Write a sorting algorithm” is a well-defined problem, and easy to test for correctness to a reasonable degree of certainty. Why don’t we have machines finding us better sorting implementations?
- blueboo 7y agoAs Yann LeCunn observed in a recent interview, program synthesis is a genre of problem that neural nets seem to be horribly inefficient (bad) at. The successful applications of SOTA program synthesis are laughably specific, as a recent HN post from Microsoft on the subject showed.
- igammarays 7y agoThanks. I was trying to research this idea at the back of my mind, but I didn’t even know what to search for. I didn’t know the term “program synthesis” existed.