ChatGPTに“負けた”大喜利AI作者はなぜ、ABC予想の証明に挑むのか【竹之内大輔】 - レバテックLAB 大喜利AI開発者 竹之内 大輔 1981年生まれ、群馬県出身。東京工業大学を卒業後、アクセンチュア戦略グループに勤めた後、東京工業大学大学院博士課程で数理論理学・内部観測論を用いて「部分と全体」「自律性」の問題を研究。株式会社イーライフでのインタラクティブマーケティングのコンサルタントを経て、2016年「株式... はてなテクノロジー 2026年09月14日 01:30