> Now, a key question is how we check that the program we get out of the AI is indeed equivalent to the higher level description / numpy ... suffice it to say that testing for semantic equivalence is possible and we do it.
This is the most interesting problem in CS right now
显示更多
"openai engineer explains /why/ he didn't need to understand the kernel line by line" 🙃
we're doing compilers 2.0
