技術更新
OpenAIのナビエ・ストークス証明を巡って数学者が揉めている論点を整理した
OpenAIが9月8日に発表したナビエ・ストークス方程式の有限時間爆発の証明を巡り、Buckmaster氏との功績を巡る対立と、Codexに入れた下書きがOpenAIの結果に使われたかという疑念を双方の声明と原典から整理した。9月8日の発表前2か月にBuckmaster氏が送ったCodexプロンプトは結果に影響し得なかったという、OpenAIの9月10日の説明に加え、外力ありと外力なしの問題設定の差、Lean検証と人の理解の関係も扱う。