9月、OpenAIは数学の千年賞問題の1つであるNavier-Stokesの解決策の発表をしました。これは流体の動きを記述する方程式に関する長年の質問です。企業はその後、数百件の結果を発表しましたが、新しい千年賞の証明は含まれず、いくつかの成果が残された5つのオープンな質問での進展を示しました。
これらは専門的な質問です。数学学者のほとんどにとっても難しいです。1つはリーマン仮説です。これは1859年にドイツの数学家ベルンハルト・リーマンによって発表された論文に関するものです。これは素数と数直線上での分布に関するものです。数が大きくなるにつれて、素数は珍しくなります。リーマンは、任意の数以下に存在する素数の数を推定するための正確な公式を提供するリーマン仮説を提案しました。彼は39歳でこの問題に戻らずに死去しました。プリンストン大学とアドバンスドスタディーズ研究所の数学者ピーター・サルナクはそれを"大きな問題"と呼び、その証明が"数学的に壮大だ"と語りました。
クォータイム・リーマン仮説に関連する結果は、Lean（コンピュータ証明補助ツール）によって検証され、正しいと考えられています。しかし、元の千年賞問題を解くには十分ではありません。ルッジズ大学数学部長アレックス・コントロヴィッチはそれを"根本的な突破"と描述し、完全な仮説を証明するには新しいアイデアが必要だと指摘しました。
その他の残された問題には、1960年代初頭にイギリスの数学家ブライアン・ジョン・バーチとサー・ピーター・スウィネートン・ダイアーが早期のコンピュータEDSAC-2を使用して立案したBirchとSwinnerton-Dyerの予想が含まれます。
出典: New York Times Top Stories · 要約：HeadlinesBriefing