Expired50% confidenceEventExact time

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

1

Sources

50%

Confidence

Short-term (~14 days)

Relevance

9/10/2026

First Seen

Valid until: 9/24/2026(expired)

Sources

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

Related Entities

OpenAIcompany Leanproduct GPT-6 Astramodel

Related Claims

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

Cite This Claim

Stable URI

https://kongchang.com/claim/888568

API

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

MCP

get_claim(id=888568)