未解決だった数学の証明問題を人工知能（ＡＩ）で解いたとの報告が相次ぎ、欧米の数学者が警鐘を鳴らす宣言を１１日までに発表した。