I don't expect to ever again prove a theorem because I'm nee

“人类数学家从此被废黜，不再是地球上证明定理的主要实体。”

“这里有一些根本性的问题，几百年前就可以提出。只是没有人想到去问它们。”

“这或许是你所能说的、关于整个宇宙演化最根本的一件事。然而直到人们开始建造蒸汽机，才有人想到它。”

“正如我所说，我不认为这对AI是坏事。总的来说，世界应该理解宇宙是如何运作的。但我确实对这种方法抱有同理心。”

“人们只是把它用在他们能想到的最难的问题上。而且人们没想到这个模型能做到这些事。”

“我们的第一方模型 API 现在每分钟处理近 320 亿个 token——比上一季度多 40%，是一年前的 4 倍多。”