康乃尔大学（康乃尔大学的教授及其研究生研发出eureqa）