Sharing AI progress in mathematics

openai.com

OpenAI 发布内部前沿模型解决数学开放问题的成果，公开 Lean 形式化证明与推理细节。

美国网页

被推荐 1 次

适合做什么

适合数学研究者、AI 科研人员跟踪 AI 在数学前沿的进展与形式化证明方法。

国家 / 地区

平台

教程与课程

DAIR.AI 出品的提示工程指南，汇集论文、教程、讲义与工具，覆盖提示工程、RAG 与 AI Agent。

开源网页

github.com2 处推荐

论文与研究

红杉资本2022年发布的生成式AI行业深度分析文章，梳理历史脉络与生态图谱。

网页

sequoiacap.com1 处推荐

论文与研究

★ 6,425

OpenAI 开源数学手稿库，含 722 篇由内部模型生成的数学论文与 Lean 形式化证明

开源网页

github.com1 处推荐

论文与研究

DeepMind 发布 2800 亿参数语言模型 Gopher 及伦理风险、检索架构三篇论文。

网页

deepmind.google2 处推荐

论文与研究

VILA-Lab 对 Claude Code 源码的系统性架构分析，揭示其 98.4% 为确定性基础设施，并提炼 Agent 设计指南。

开源Claude网页

github.com1 处推荐

论文与研究

多智能体辩论提升大模型事实性与推理能力的论文项目，多个模型实例互相质疑后给出最终答案。

GPT网页

composable-models.github.io1 处推荐