OpenAI · 其他

OpenAI 开放 Proof 子任务提交

OpenAI 近期开放了 Proof 子任务的提交通道，面向研究者和开发者征集形式化数学证明方面的解决方案。此举旨在借助社区力量探索定理自动化验证与证明生成，有助于大模型在数学推理领域获取新的测试与训练数据。目前具体任务细节和提交方式尚待进一步公开。

导读

这条暂时没有深度导读，点上方「访问项目本体」直接到源页面查看。