从为电影《降临》提供科学咨询、解决人工智能道德规范问题、寻找一个不寻常的多面体的来源、与外星人交流，到建立Mathematica 和Wolfram|Alpha ...