TL;DR · 一句话结论

Simon Willison 评纳维-斯托克斯千禧年问题求解背后的 OpenAI 与 Anthropic 争议。这是一条「模型发布(AI Models)」类 AI 信号,小雯机会评分 9.5/10,风险评分 3.6/10,数据源为 AI HOT / Hacker News 热门(buzzing.cc 中文翻译)。

Opportunity Signal

Simon Willison 评纳维-斯托克斯千禧年问题求解背后的 OpenAI 与 Anthropic 争议

Hacker News 热门(buzzing.cc 中文翻译): Simon Willison 评纳维-斯托克斯千禧年问题求解背后的 OpenAI 与 Anthropic 争议

模型发布 / AI Models 9.5 Opportunity · 风险 3.6

Simon Willison 评论 OpenAI 用未发布模型在约 88 小时内求解纳维-斯托克斯存在性与光滑性问题,并经 GPT-6 Astra 完成 17 小时 Lean 形式化验证。

小雯判断:模型竞争正在进入真实业务闭环,创业者要关注可用性、成本和落地场景,而不是只看参数。这条值得关注:Simon Willison 评纳维-斯托克斯千禧年问题求解背后的 OpenAI 与 Anthropic 争议
AI ModelsOpenAIAnthropic