「AIがミレニアム問題を解いた」は本当か——書くのは88時間、確かめるのは何年
OpenAIがナビエ–ストークス方程式を「解いた」と発表。でもペレルマンの証明でさえ認定まで約8年、ケプラー予想は査読者12人が4年。査読はほぼボランティアで回っている。AIが書く速さと、人間が確かめる速さの差を考えます。
AI論
AIは「考えている」のか——確率的オウム論争を、数学の言葉で整理する
「AIは意味を分かっていない」と「実際に考えている」の論争が終わらないのは、争点が事実ではなく定義だからです。数学の側から、決着する部分としない部分を切り分けます。