On: Competitive Programming with AlphaCode

[prideout]

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 → prideout]

Just make it output a proof together with the program.

[qayxc → thomasahle]

That won't work because the systems aren't trained on proofs and proper theorem provers don't work that way either.