皆さん こんにちは、時空 解です。

今日は表題にも書いたとおり、数学の未解決問題を AI が解いたと言う記事に付いて触れてみたいと思います。

まずは、エルディシュと言う数学者のご紹介 (Wikipedia にリンク) と、未解決問題 728番 のご案内。

・ポール・エルデシュ　20世紀で最も多くの論文を書いた数学者
・エルデシュの未解決問題 728番

次に、AI が数学の未解決問題を解いたという記事について。

・AIで数学の未解決問題をほぼ自動的に解くことに成功、AIツールにおける重要な進展に - GIGAZINE

巷ではかなり騒がれているようです。パッと目に入ってくる情報としては、
「えっ！　AI が付いて数学の未解決問題までも解くようになったのか」
と言う印象を受けますが…

でも、上記のリンクを貼ったページ (GIGAZINE) の中味をみてみると、下記のような記述を見付けることが出来ます。
 
うーむ、なるほど。

考えてみれば AI はネット上の情報を基にしているのですからね。
未解決問題だと分かれば「解けない」と回答してくるでしょう。
それをプロンプトを使って "人が" 上手にネット検索の範囲をコントロールしたんですね。(こんな事ができるんだね)

でも、それを行った上で、ネット上には存在しない解決法を提案して来たと言うことで、この点を数学者のテレンス・タオ氏は、今回の証明について「AIがエルデシュ問題をほぼ自律的に解き切った」と評価しているんですね。

将来的には本当に AI が数学の未解決問題を解き始めるのも、近いかも知れませんね。

それは良いことですよね…皆さん。( ^^;

では今日も１日の習慣を始めてます。小さな一歩・挑戦を試みています。
(休日は充実した日々によって輝きますよね)