OpenAI’s September 8, 2026 announcement of an AI-generated proof establishing finite-time blowup for Navier-Stokes alternatives (C) and (D) under a smooth external force triggered immediate market movement. Clay Mathematics Institute responded on September 11 by acknowledging the problem appears “apparently settled” while labeling it “active” and stressing its deliberately unhurried review process, which requires peer-reviewed publication, broad community acceptance, and typically at least two years before prize consideration. Traders are weighing the gap between this partial, forced-case result and the core unforced existence/smoothness questions, alongside a priority dispute involving mathematicians Buckmaster and Alpöge. No formal declaration or prize has occurred as of mid-October 2026, leaving odds sensitive to peer-review updates, independent verification in Lean or elsewhere, and any CMI statements clarifying whether the claimed solution meets official criteria.
基于Polymarket数据的AI实验性摘要。这不是交易建议,也不影响该市场的结算方式。 · 更新于View resolved

警惕外部链接哦。
警惕外部链接哦。
常见问题