> 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
