—— 请按键盘 空白键 开始游戏 ——

每个化学过程都讲述一个故事,我们的工作是确保这是一个值得讲述的故事。
Every chemical process tells a story - our job is to make sure it's a story worth telling.
我没有特定的配方[用于开发新的证明]...这就是为什么做研究既具有挑战性又具有吸引力的原因。这就像在丛林中迷路,试图利用你能收集到的所有知识来想出一些新技巧,如果运气好的话,你可能会找到出路。
算法是计算的诗歌。每个算法都有一个故事要讲述。
某个命题可以从某一组公理通过某一规则系统推导出来,这一事实本身并不使其为真。