Ｌｅａｎが理解できる機械の言葉に翻訳されたリーマン予想
２０２６年が明けてすぐに「人工知能（ＡＩ）が未解決の数学の定理を証明した」とする論文の公表が世界で相次いだ。近年のＡＩの進化はめざましく、数学者が長年答えを出せなかった問題が次々と解かれている。専門家は「２０２６年はＡＩが安定して数学の未解決問題を解けるようになった最初の年といえる」と話す。
この勢いで超難問とされるリーマン予想も攻略してしまうのか？ ＡＩによる数学の可能性を探った。（共同通信＝浅見英一）
▽世界的数学者が「ＡＩが自律的に証明した」と宣言
１月、米カリフォルニア大のフィールズ賞数学者、テレンス・タオ氏が自身のＳＮＳで、約５０年も未解決だった「エルデシュ問題７２８番」という数学の予想に...
残り4145文字（全文：4444文字）
