未解決だった数学の証明問題を人工知能（ＡＩ）で解いたとの報告が相次ぎ、欧米の数学者が警鐘を鳴らす宣言を１１日までに発表した。信頼性の担保がなく検証も困難な証明が流通するなどの脅威を挙げ、発表者が正確...

残り376文字（全文：475文字）