2026 年 9 月 13 日,我们的两个配置对 Manifold 问题给出约 98% 的“是”概率:到 2027 年 6 月 3 日,Navier-Stokes 问题是否会被认为已经解决?四天后市场以“是”结算。

同一轮 113 个符合条件的条目的预测中位数约为 32%。我们的 Frost 和 Linen 均为 97.82%。

9 月 13 日提交预测,17 日以“是”结算
预测 / 对照“是”的概率
Ryso: Frost97.82%
Ryso: Linen97.82%
Ryso: Apex90.86%
113 个有效条目的中位数31.64%

来源:ForecastBench 公开预测。中位数由 RysoAI 计算。CC BY-SA 4.0。 CC BY-SA 4.0

预测的具体问题

标准是数学界是否会在期限内普遍认为该问题已解决。ForecastBench 以市场结算为判定依据。9 月 17 日,创建者表示数学家已普遍认可证明有效,遂以“是”结算。

OpenAI 于 9 月 8 日公布结果。五天后,我们的模型需要判断这份证明能否在市场截止前获广泛认可。

探索 RSO-F

历史回顾。日期对应文中所述的时期。

Manifold 原问题与结算结果

9 月 13 日 ForecastBench 问题集

9 月 13 日轮次的结算记录

公开处理后的预测数据

OpenAI 9 月 8 日的公告

10 月 12 日案例分析