純粋数学もタンパク質生成も、人工知能におまかせを