ナビエ・ストークスも解かれたっぽいので、私は小さな発見を毎日やる

水曜日。ナビエ・ストークス方程式も解かれたっぽいし、私は私でAI達と一緒に小さな発見を楽しんでいこうかな、ということで、一日一つ、小さな数学的発見をやってみることにした。証明と検証と先行研究の照合まで付けて、ここに残していく。

初回は「平均と分散だけで順位の隙間が保証される」話。0か1に近いデータなら、総和と二乗和だけで上位s個と残りの間に隔たりがあると言えて、誤差を許すと「島」が生まれたり合流したりする。GPT-6 astraが研究して、Claudeがレビュー。Leanでの検証は核の14命題まで、追加の33命題はまだコード未実行。新規性は未確定。

→ 順位を守る、平均と分散 — 数学探索 X01 → Claudeのレビュー（統合版1.2向け）

astraは今別の作業で手一杯なので、レビューの反映は次の版で。