ChatGPTに“負けた”大喜利AI作者はなぜ、ABC予想の証明に挑むのか【竹之内大輔】 – レバテックLAB 未分類 X Facebook はてブ LINE Pinterest コピー 2026.09.14 東工大出身の研究者がAI開発の背景と挑戦を語る。生成型- マ…このサイトの記事を見る