用于科学发现的人工智能