目前的谷歌研究主要集中在數(shù)學(xué)推理這個相對規(guī)范的領(lǐng)域