待验证50% 置信事实精确时间

Astra模型探索了开放的研究问题，生成了新的证明或更强的数学界限，并协助将论证整理为可供审阅的论文手稿

1

来源数

50%

置信度

中期 (~90 天)

时效性

2026/8/7

首次发现

有效期至：2026/11/5

来源

OpenAI发布Astra模型：AI首次攻克十大数学难题意味着什么

相关事实

待验证Astra模型将每一项结果形式化为Lean证明凭证，使得底层逻辑可以被机器自动检查68% 相似待验证文章基于知识图谱领域的模拟论文项目对三个Skills进行了测试62% 相似待验证作者搭建了统一预处理、维度、词表、数据预算和评估的匹配语料测试框架，用于对比Collapse、SGNS与PPMI+SVD60% 相似待验证赋予模型执行代码和工具调用的能力，使其能在数学、编程等有可验证奖励的领域进行搜索并显著提升表现58% 相似待验证编程Agent需借助代码检索增强（RAG）、抽象语法树分析（AST）、依赖图谱构建等技术筛选相关代码片段送入模型58% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/700729

API

curl https://kongchang.com/api/v1/knowledge/claims/700729

MCP

get_claim(id=700729)