社区联手修订 OpenAI 数学笔记
Oai-math-revised: a community hub for revising OpenAI's math write-ups
OpenAI 发布的数学解题笔记虽然丰富，但往往难以理解且引用不全。为此，Abhinav Nellore、Johannes Schmitt、Soledad Villar 和 Rachel Ward 等人发起了 oai-math-revised 项目，旨在建立一个包容性的社区枢纽。该项目邀请全球数学界的学生、博士后、教授及爱好者共同参与，对 OpenAI 的数学内容进行修订和完善。无论您是数学专家还是爱好者，都可以通过 GitHub 仓库浏览内容，或联系团队申请成为审核员，共同提升数学知识的准确性与可读性。
我们邀请学生、博士后、教授和爱好者等更广泛的数学界人士参与这项包容性的努力，以改进这些数学笔记。
HN 评论区
26- sdenton4
感觉我们需要为数学定义一种新的‘真值状态’：‘已验证但未证明’。这适用于那些我们确信为真（通过形式化验证），却缺乏连贯证明的结果。
通常我会预期这种状态会很快演变为‘已证明且已验证’（数学史上的趋势往往是：先出现复杂的初版证明，随后随着新工具和定义的出现，证明复杂度大幅降低）。但即便如此，这种状态在将真正的功劳归于那些为‘暴力验证’结果提供合理证明的人或事物时，或许仍然有用。
- vishna
这不过是 OpenAI 等公司利用博士生的无偿实习罢了。
- bemtevi
我个人绝不会参与这种事。我认为，去澄清机器生成的证明是一种令人不齿的时间浪费。
很多人会问：数学的目的难道不就是产出结果吗？我不这么认为。我认为数学的目的，是通过一种纯粹的人类共同实践，获得对世界精确而清晰的理解。
我知道这里大多数人会不同意，因为这里的大多数人处于消费食物链的顶端，只在乎消费世界上最新、最棒的东西，那为什么不多消费点呢？但慢慢地，对于那些不在顶端的人来说，AI 正在抽干世界中的乐趣，取而代之的是一种在真空中享受肤浅感官刺激的自恋活动。
真是可悲的局面……