ChatGPTに“負けた”大喜利AI作者はなぜ、ABC予想の証明に挑むのか【竹之内大輔】 - レバテックLAB

大喜利AI開発者竹之内大輔 1981年生まれ、群馬県出身。東京工業大学を卒業後、アクセンチュア戦略グループに勤めた後、東京工業大学大学院博士課程で数理論理学・内部観測論を用いて「部分と全体」「自律性」の問題を研究。株式会社イーライフでのインタラクティブマーケティングのコンサルタントを経て、2016年「株式...

はてなテクノロジー 2026年09月14日 01:30

この記事のキーワード

AI・人工知能漫画家 OpenAI / GPT ChatGPT ABC インタラクティブ、レバテックLAB 、レバテック群馬県コンサルタント卒業後自律性竹之内東京工業大学株式... 大喜利AI作者大喜利AI ABC予想竹之内大輔大喜利AI開発群馬県出身アクセンチュア戦略グループアクセンチュア戦略東京工業大学大学院博士課程東京工業大学大学院博士数理論理学数理論理内部観測論内部観測株式会社イーライフインタラクティブマーケティング

グラフで繋がりを見る

同じキーワードの記事

共有しているキーワードが多い順

ChatGPTに“負けた”大喜利AI作者はなぜ、ABC予想の証明に挑むのか【竹之内大輔】 - レバテックLAB

この記事のキーワード

同じキーワードの記事

｢子どもの顔が同じで気味が悪い｣｢安っぽく見える｣との声も…しまむら系｢バースデイ｣の生成AI広告に批判が殺到した背景 | ライフ | 東洋経済オンライン

ChatGPT界のTHIS MANこと「 恒一」の謎｜たぬ｜生成AIを使い倒す人

私はChatGPTですが、はてブとGyazoという「化石の地層」を掘れるようになって異次元に便利になりました｜ゆいせき

Amazon、「ChatGPT」に広告を配信 AIで商品探しのニーズに対応

新「ChatGPT Images 2.5」はGeminiを超えたのか。3本勝負で確かめてみた

写真から実物と区別つかないレベルの3D人体モデルを作り、リグ入れてリアルタイム対話させるまで。ChatGPTとClaudeのコラボで開発した（CloseBox） | テクノエッジ TechnoEdge

本物そっくり“AI生成レシート“が経費精算の脅威に マネフォ「自力で見破るのは難しい」 企業はどう備える？

ChatGPT Workに企業データを読み取らせ回答やダッシュボード作成に利用できる「Data agent」が登場

社内データをチャットで分析、ChatGPT Workに「Data agent」

OpenAI、金融機関向けに「ChatGPT for Financial Services」を提供

財務処理AI「ChatGPT for Financial Services」が登場

「あなたのブックマーカー図鑑」公開

GPT-6 Astraが人気すぎてOpenAIのサーバーがピンチでProプランの新規サブスク契約が一時停止されるかも

ChatGPTで障害 リンクから直接「共有プロジェクト」利用できず

ChatGPTのデスクトップアプリにはLibreOfficeの完全版が同梱されている

動画編集の「DaVinci Resolve」、ClaudeやCodexからの操作に対応

OpenAIが画像生成AI「ChatGPT Images 2.5」をリリースしたので使ってみた

DaVinci Resolve 21.1がClaudeやChatGPTなどのAIアシスタントとの連携をサポート

「これ本当にAI？」ChatGPT画像生成が進化 新モデル「Images 2.5」にびっくり

ChatGPT Images 2.5公開 照明や質感を再現し、編集自在な画像生成

ChatGPT界のTHIS MANこと「恒一」の謎｜たぬ｜生成AIを使い倒す人

本物そっくり“AI生成レシート“が経費精算の脅威にマネフォ「自力で見破るのは難しい」企業はどう備える？

ChatGPTで障害リンクから直接「共有プロジェクト」利用できず

「これ本当にAI？」ChatGPT画像生成が進化新モデル「Images 2.5」にびっくり

ChatGPT Images 2.5公開照明や質感を再現し、編集自在な画像生成