AI 资讯
OpenAI 公开 722 份手稿与证明，数学界忧心研究分享
OpenAI 分享 722 份数学手稿与证明引发争议，有专家警告不应将研究随意提供给大模型，并主张数学界应更注重社区建设而非单纯追求解答。
阅读全文
数学
共 2 篇相关文章
AI 资讯
OpenAI分享AI数学进展：公布前沿模型开放问题结果与Lean证明
OpenAI发布内部前沿模型在数学开放问题上的新结果，并在GitHub公开Lean证明形式化代码及研究细节。
阅读全文