「未解決の証明問題がＡＩで解けた」と相次ぐ報告、正しいか「見分け困難」…数学者らが過度なＡＩ利用に警鐘 - Yahoo!ニュース