Storia: 数学ABC予想の証明に「ギャップ」? 続く検証、コード化道半ば:朝日新聞 — Warptech Lab News