AI数学のブレークスルーが論争を巻き起こした経緯 ノート