I'm curious why he is so bullish on AI. The page lists many traditional and actually useful tools like Coq, but much space is devoted to deep learning. My experience with CoPilot shows that it fails at the most simple…
I'm curious why he is so bullish on AI. The page lists many traditional and actually useful tools like Coq, but much space is devoted to deep learning. My experience with CoPilot shows that it fails at the most simple…