3 ms·
It is obvious to me that computer programming is an interesting AI goal, but at the same time I wonder if I'm biased, because I'm a programmer. The authors of
by prideout 5y ago
It is obvious to me that computer programming is an interesting AI goal, but at the same time I wonder if I'm biased, because I'm a programmer. The authors of AlphaCode might be biased in this same way.
I guess this makes sense though, from a practical point of view. Verifying correctness would be difficult in other intellectual disciplines like physics and higher mathematics.
- thomasahle 5y agoJust make it output a proof together with the program.
- qayxc 5y agoThat won't work because the systems aren't trained on proofs and proper theorem provers don't work that way either.