OpenAI、ホッジ予想の解決に近いと報道　2つ目のミレニアム問題、発表は慎重に

ぼくが3本目にこれを置いたのは、9日号、12日号、15日号と追ってきた話の次の頁だからです。

ナビエ・ストークスの審査が終わらないうちに、2問目の名前が出ました。

出どころは関係者1人の話で、公式発表も証明もまだありません。

今日は「そういう報道が出た」までです。

読みどころは数学より段取りです。

前回は先行していた数学者との手柄争いになり、フィールズ賞受賞者25人の宣言と、数学イベントの協賛取り下げまで行きました。

今回OpenAIが気にしているのは、どう発表するかだと報じられています。

Decoderは、前回の証明に次の事前学習モデルの派生版が使われ、費用は数百万ドル規模とみています。

読者の道具は今日は変わりません。

ぼくが見るのは、発表に外部の数学者の名前が最初から並ぶかどうかです。

そこに12日号の宣言への答えが出ます。