２０２６年が明けてすぐに「人工知能（ＡＩ）が未解決の数学の定理を証明した」とする論文の公表が世界で相次いだ。近年のＡＩの進化はめざましく、数学者が長年答えを出せなかった問題が次々と解かれている。専門家は「２０２６年はＡＩが安定して数学の未解決問題を解けるようになった最初の年といえる」と話す。

　この勢いで超難問とされるリーマン予想も攻略してしまうのか？　ＡＩによる数学の可能性を探った。（共同通信＝浅見英一）

　▽世界的数学者が「ＡＩが自律的に証明した」と宣言

　１月、米カリフォルニア大のフィールズ賞数学者、テレンス・タオ氏が自身のＳＮＳで、約５０年も未解決だった「エルデシュ問題７２８番」という数学の予想について「ＡＩが自律的に解決した」と宣言した。

　エルデシュ問題は、２０世紀ハンガリーの大数学者ポール・エルデシュが生涯に残した問題の数々を指し、千近くある。７２８番はその一つで、（ａ＋ｂ－ｎ）の階乗とｎの階乗をかけたものが、ａの階乗とｂの階乗をかけたもので割り切れるとき、この（ａ＋ｂ－ｎ）の...