“我正在将我的幻灯片上传至我昨日傍晚在加州理工学院（Caltech）发表的公开讲座"Math 2.0"。该讲座计划已酝酿逾一年，最初题为“机器辅助证明”，并定于五月举行。后推迟至十月，而近期事态的发展使讲座内容发生了显著变化，但……"