行业
Sharing AI progress in mathematics
OpenAI 发布内部前沿模型在数学开放问题上的新成果，并在 GitHub 公开 Lean 证明形式化与研究细节，展示 AI 在数学推理与形式化证明上的进展，值得关注其对科研自动化的推动。
行业落地·OpenAI News·5 天前
AI 搜索
带引用 · 可溯源先用站内已采集内容作答；站内不足时联网检索，每条结论都给出来源链接
AI 答案正在检索与综合…
站内相关条目
1 条 · 点击可看原文全文与中文译文
先用站内已采集内容作答；站内不足时联网检索，每条结论都给出来源链接
1 条 · 点击可看原文全文与中文译文
OpenAI 发布内部前沿模型在数学开放问题上的新成果，并在 GitHub 公开 Lean 证明形式化与研究细节，展示 AI 在数学推理与形式化证明上的进展，值得关注其对科研自动化的推动。
现有资料不足以回答「这两篇论文」各自的 GitHub 仓库或项目主页链接，因为资料中并未指明用户所问的是哪两篇论文，也未给出任何论文标题。 资料中能确认的部分只有：
但资料未提供具体的 GitHub 仓库地址或项目主页 URL，也未提及任何「两篇论文」的标题、作者或编号1。因此无法据此判断这两篇论文是否各自有公开仓库或主页。