推文

@Aoyi21 · 2026-10-12 22:20

OpenAI 一次放出一大批 AI 写的数学手稿，还把部分证明转成 Lean，让电脑能检查。 仓库里也放了论文修订和引用流程，后面还会继续补形式化证明。 AI 做研究越来越快，公开成果时连验证材料一起给，会省下不少核对功夫. https://openai.com/index/sharing-ai-progress-in-mathematics/

曝光 58 · 评论 0 · 点赞 0 · 书签 0 · 曝光/时 23.211829058316052