第3回AI for Math

2026年10月22日(木)10:00–20:00 カレンダーに追加

歌舞伎座タワー 12F(東銀座駅直通)(≠歌舞伎町タワー)

第3回 AI for Math

2026年10月22日(木) 10:00–20:00
歌舞伎座タワー 12F(東銀座駅直通)(≠歌舞伎町タワー)

タイムスケジュール

時刻・内容は変わることがあります.発表時間は質疑を含みます.

時間 内容
10:00–10:15 開会:「過渡期に数学を愛してしまったあなたへ」

洞龍弥の発表スライド

10:20–11:0545分

数学2.0について

宮﨑弘安NTTコミュニケーション科学基礎研究所招待講演

11:10–11:5545分

Magnitude homology of real hyperplane arrangements

小泉淳之介招待講演

12:00–12:15 お知らせ
12:15–14:00 昼休憩
14:00–14:4545分

数論における未解決問題の解決事例について

関 真一朗長浜バイオ大学招待講演

関連論文:On the 𝒜-transcendence of a Champernowne-type constant

14:50–15:1525分

予想・問題を作るための数学、AIに食わせるための数学

中村悠人メタ考察セッション(オンライン配信あり)

15:20–16:20

自由討論

  • Make Math Harness AI前提の研究環境を構築する

    西森湧也

  • Proof of Understanding

    柳浜万里

  • Bayesian learners

    神谷幸太郎

16:20–16:3010分

数学問題に対する AI 支援推論の実践

折池雄太メタ考察セッション(オンライン配信あり)

16:45–17:1025分

レクリエーションの数学研究

三好潤一メタ考察セッション(オンライン配信あり)

17:15–17:4025分

素数の偏りに関する実験数学

横山重俊研究事例共有セッション

関連論文:Chebyshev's Bias against Splitting and Principal Primes in Global Fields

17:45–18:1025分

有限性を仮定しない可換環論へのAI活用

安藤遼哉研究事例共有セッション

18:10–18:45 休憩・自由議論
18:45–19:1025分

Verification notesの提案

宮部賢志メタ考察セッション(オンライン配信あり)

19:15–19:4530分

AIのおかげで数学を再開しました

講演スライド

榎本悠久Parakeet株式会社招待講演

19:50–20:00 閉会

洞龍弥の締めのスライド

参加者一覧

対面

  • 河村彰星京都大学
  • 安藤遼哉株式会社Beyont
  • 三浦真人ファクトファクトリー
  • 長田健五ZEN大学
  • 赤坂奎茉千葉大学
  • 池田康明治大学博士研究員
  • 小泉 淳之介理化学研究所
  • 岡本健太郎和から株式会社 取締役
  • 渡邉 聡株式会社KDDI総合研究所 量子基盤室 量子コンピューティンググループ コアリサーチャー
  • 近藤 桂大会社員(プログラマー、AI活用推進)
  • 田口良輔放送大学大学院(2026年10月入学予定)
  • 前原 悠究東京都立大学 助教
  • 井元隆史理化学研究所
  • 神田秀峰東京大学大学院数理科学研究科PD
  • 西森湧也東京科学大学 情報理工学院 数理計算科学系 M2
  • 宝城 岳Qlonolink株式会社, 放送大学(学部生)
  • 横山重俊国立情報学研究所・特任研究員
  • 榎本一惺
  • 伊東 杏花里会社員
  • 安福智明岐阜大学
  • 山川高志NTT社会情報研究所
  • 多寳雅樹東京大学数理科学研究科D3
  • 三好潤一パズル懇話会代表幹事 NPO法人数学カフェ理事 会社員
  • 高橋華子理系ナビCHRO
  • 上原史皓東京科学大学
  • 横山淳一東京大学大学院数理科学研究科
  • 原健太郎
  • 藤井 宗一郎国立情報学研究所
  • 廣田 竣介京都大学理学研究科
  • 越川皓永慶應義塾大学
  • onewan数学好きの知財職
  • Kenta KitamuraIntellectual Moonshine
  • 関真一朗長浜バイオ大学
  • 甲斐亘東北大学助教
  • 二木 昌宏千葉大学
  • 上苙 隆宏横浜国立大学 博士後期課程
  • 豊田陽基東京大学 大学院数理科学研究科
  • 神尾悠陽東京大学数理科学研究科1年
  • 鈴木瞭東大数理M2
  • 村上友哉理研iTHEMS 研究員
  • 柳浜万里Nyx Foundation
  • 広瀬稔鹿児島大学
  • 進 泰盛京都大学 大学院理学研究科 D1
  • 湯山孝雄ZEN大学
  • 丹下稜斗
  • 大音智弘会社員
  • 若月駿名古屋大学
  • 井口奈々花お茶の水女子大学理学部数学科4年
  • 鈴木唯乃東京理科大学理学部第二部数学科
  • 長田悠生筑波大学 情報学群 情報科学類
  • 宮部賢志明治大学数学科 准教授
  • 名取雅生株式会社フレクト
  • 中村悠人会社員
  • 明野瑞樹筑波大学B4
  • 榎本 悠久Parakeet株式会社
  • 山本一揮学生
  • 吉澤駿ソニーコンピュータサイエンス研究所
  • 吉田啓志筑波大学附属駒場高等学校3年
  • 前原健吾
  • 折池雄太サイバーエージェント
  • 湯澤蒼、湯澤桂子(付き添い)小学生、保護者
  • 中田哲名古屋大学研究員
  • 池田侑登東京大学
  • 佐野宗輝東京科学大学理学院数学系D1
  • 石塚 伶東京科学大学 理学院数学系PD
  • 川澄昂太郎
  • 眞部光筑波大学情報学群情報科学類
  • 野坂 武史東京科学大学 理学院
  • 佐藤桜介学生
  • 宮﨑弘安NTTコミュニケーション科学基礎研究所
  • 洞龍弥ZEN大学 助教

オンライン

  • 川井新之介論計舎
  • 一倉海斗東北大学博士後期課程
  • 川辺治之BIPROGY株式会社
  • 竹田宏紀静岡大学創造科学技術研究院
  • 鈴木美裕
  • 和久田葵東大数理
  • k_yamazソフトウェアエンジニア
  • 熊田匡仁エンジニア
  • 黒木 亮汰東京大学 大学院数理科学研究科 博士一年
  • 林 培森 (Lin Peisen)复旦大学/上海数学中心 (Shanghai Center of Mathematics/Fudan University)
  • 平山諒次名古屋大学 多元数理科学研究科
  • 木谷裕紀大阪公立大学大学院情報学研究科助教
  • 粟津光函館工業高等専門学校 助教
  • 水野勇磨University College Cork, Postdoc
  • 吉田裕哉独立研究者
  • 山添隆志神戸大学 ポスドク
  • 若林玄基東京大学大学院数理科学研究科M1
  • 松坂俊輝
  • 松澤陽介大阪公立大学
  • 田邊真郷理研iTHEMS 基礎科学特別研究員
  • 市野篤史
  • 寺尾樹哉京都大学理学研究科D3
  • 猿倉 ななき京都大学大学院生
  • 黒須健斗東京科学大学数学系
  • 小野雅隆
  • 白石 伝助香川高等専門学校 助教
  • 渋沢良太
  • 白井昌弘東京理科大学理学部第二部数学科B3
  • 吉田明広
  • 佐原寛隆吉祥寺病院精神科医師
  • 堀内遼
  • 清水陵嗣東京科学大学・学振PD
  • 松本雄也東京理科大学
  • 大内元気北海道大学
  • 大宮佑介一般
  • 井上博裕広島大学大学院
  • 狩野隼輔東北大学
  • 大角道子長崎大学・准教授
  • 吉脇理雄東北大学数理科学共創社会センター、准教授
  • 西村皐京都大学・学振PD
  • 村井宏志朗
  • 山野辺貴信助教
  • 今井大和東京科学大学数学系

会場の部屋

  • メインルーム:講演
  • 「Re」:配信を見ながら対話する部屋
  • 「原宿」:休憩室

運営