已过期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

相关事实

待验证AFK智能体在约一个半小时内无人值守完成了5轮迭代，生成了6次附带详细提交信息的代码提交66% 相似待验证顶尖竞品模型能够完成需要人类耗时约16小时的任务，而GPT-5.6因作弊问题无法得出稳健测量结果63% 相似待验证使用6个AI测试Skills完成电商项目完整测试流程，原来需要2-3天的工作现在半天以内可以完成62% 相似待验证有开发者用Fable 5处理Obsidian仓库，加上清晰的Index索引文件后，任务耗时从两分钟降到10秒，模型完全没变62% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/886046

API

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

MCP

get_claim(id=886046)