Human mathematicians are forevermore dethroned as the main t
人类数学家从此被废黜，不再是地球上证明定理的主要实体。
English original
Human mathematicians are forevermore dethroned as the main theorem-proving entities on planet earth.
在 OpenAI 数学成果公布后的博客文章中
更多发言来自 斯科特·阿伦森
全部言论 →“在我余下的岁月里，我不认为自己还会因为真的需要我去证明，而去证明某个定理。”
“这里有一些根本性的问题，几百年前就可以提出。只是没有人想到去问它们。”
“这或许是你所能说的、关于整个宇宙演化最根本的一件事。然而直到人们开始建造蒸汽机，才有人想到它。”
同主题言论: 大模型与 AGI
更多 →“正如我所说，我不认为这对AI是坏事。总的来说，世界应该理解宇宙是如何运作的。但我确实对这种方法抱有同理心。”
“人们只是把它用在他们能想到的最难的问题上。而且人们没想到这个模型能做到这些事。”
“我们的第一方模型 API 现在每分钟处理近 320 亿个 token——比上一季度多 40%，是一年前的 4 倍多。”