回应 Dietterich:OpenAI 数学成果像已故数学家的笔记本
seth_stafford · x · 2026-10-09
针对 ttdietterich 提出的观点——对待 OpenAI 数学模型发布的正确态度,是把它想象成发现了一本已故数学家留下的记满结果的笔记,我们的工作是理解这本笔记——sethstafford 回应:死去数学家不再写证明了,而这台机器会不断产出证明;这只意味着接下来有大量整理筛选(curation)工作要做。
seth_stafford · x · 2026-10-09
针对 ttdietterich 提出的观点——对待 OpenAI 数学模型发布的正确态度,是把它想象成发现了一本已故数学家留下的记满结果的笔记,我们的工作是理解这本笔记——sethstafford 回应:死去数学家不再写证明了,而这台机器会不断产出证明;这只意味着接下来有大量整理筛选(curation)工作要做。