Satya Nadella, opposite Facebook founder Zuckerberg at an AI conference, made a bold claim about how much of the company’s new code is generated by software.