已过期50% 置信事件精确时间

OpenAI称智能体于9月5日得出解答，距启动约88小时，Lean形式化验证额外花费17小时，通过GPT-6 Astra完成

1

来源数

50%

置信度

短期 (~14 天)

时效性

2026/9/10

首次发现

有效期至：2026/9/24(已过期)

来源

OpenAI千禧年数学难题争议：AI训练数据边界在哪里

涉及实体

OpenAIcompany Leanproduct GPT-6 Astramodel

相关事实

待验证使用 OpenAI Codex 从想法到微信小程序上线的整个周期约为5天，其中大部分时间花在审核环节而非开发62% 相似已验证一项行政命令要求OpenAI、Anthropic等前沿AI实验室在模型上线前将最强能力版本交由政府审查最长30天61% 相似待验证AFK代理在几小时内可能消耗相当于人类开发者数周交互使用的Token量60% 相似待验证Agent可以一次性拉取过去7天、30天甚至90天的飞书工作数据进行综合分析，生成复盘报告60% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/888568

API

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

MCP

get_claim(id=888568)