AI for Math @CommAIforMath
数学とAIの接点を探る。活用例やツール、イベント情報などを発信します。数学が好きな方も、AIに関心のある方も。 aiformath.jp AI & Math Joined October 2026-
Tweets26
-
Followers71
-
Following21
-
Likes2
榎本悠久「AIのおかげで数学を再開しました」。 AIが、数学にもう一度取り組むきっかけになる。どんな出会いや変化があったのでしょうか。数学とAIの関わりを、一人の経験から考えるお話です。 #AIforMath3rd
宮部賢志「Verification notesの提案」。 数学とAIの関わりを考えるうえで、検証のあり方も大切なテーマです。「Verification notes」という提案から、どんな議論が広がるのか注目です。 #AIforMath3rd
安藤遼哉「有限性を仮定しない可換環論へのAI活用」。 有限性を仮定しない可換環論の世界で、AIをどう活用するか。専門的な数学の現場でのAI活用を取り上げる、研究事例共有セッションです。 #AIforMath3rd
横山重俊さん「素数の偏りに関する実験数学」。 素数の分布を実験で眺めると、どんな「偏り」が見えてくるのか。計算で見える現象と数論の問いがつながる、研究事例共有セッションです。 関連論文：arxiv.org/abs/2203.12266 #AIforMath3RD
三好潤一「レクリエーションの数学研究」始まってます！！ 楽しむことから、どんな数学の問いが生まれるのでしょうか。レクリエーションと数学の探究のつながりにも注目したいセッションです。 #AIforMath3rd
折池雄太「数学問題に対する AI 支援推論の実践」 始まってます！！ 数学の問題に取り組むとき、AIの推論をどう役立てるか。実践をテーマに、数学とAIの使い方を考えるセッションです。 #AIforMath3rd
中村悠人さん「予想・問題を作るための数学、AIに食わせるための数学」です どんな予想や問題を作り、AIにどう渡すのか。問題を解くことに加えて、問題を作る側から数学とAIの関わりを考えるセッションです。 ※対面のみ #AIforMath3rd
関真一朗「数論における未解決問題の解決事例について」 始まります！ 未解決問題が解けるとき、何が手がかりになるのでしょうか。具体的な解決事例を通して、数論の問題に取り組む過程に注目します。 関連論文：arxiv.org/abs/2607.19337 #AIforMath3rd
meta-narratives in mathematics! #AIforMath3rd
このようにして超平面配置のmagnitude homologyが決定できる！ #AIforMath3rd
QuillenのTheorem Aってそういう文脈でも使われるんですね！ #AIforMath3rd
小泉さん (5月) 「AIと議論しまくればもっとすごいことができるのでは……？」 #AIforMath3rd
この予想の方針を示してって言っているのに解いている……？ しかも予想が出てから9日で。 #AIforMath3rd
実超平面配置の領域C,Dを隔てる超平面の枚数をd(C,D)とします。形式変数qに対し、行列Z(q)=(q^{d(C,D)})を作り、その逆行列の全成分を足したものがmagnitudeです。 q=0では領域数になり、領域間の距離も反映する「数え上げ」です。 #AIforMath3rd
距離空間の点列 (x_0,…,x_k)（隣接点は異なる）を生成元に、隣接点間の距離の和 l ごとの自由アーベル群を作ります。 距離の和を変えない中間点の削除を符号付きで足して境界を定め、そのホモロジーがmagnitude homology。次数kと距離lの二重次数で、距離構造を捉えます。 #AIforMath3rd
超平面配置で空間はいくつの領域に分かれるのか？ Zaslavskyの定理からn次元でのchamberは (−1)^n χ(−1)。χは超平面の交差の包含関係から定まる「特性多項式」です。 原点を通る異なる3直線なら、χ(t)=t²−3t+2なので領域は6個。幾何的な領域の数が組合せ論的情報から分かります。 #AIforMath3rd
n次元実空間の(n−1)次元アフィン部分空間を「超平面」といい、その有限集合を「超平面配置」といいます。 2次元なら何本かの直線、3次元なら何枚かの平面の集まりです。空間がいくつの領域に分かれるか、超平面どうしがどう交わるかなどを調べる、幾何と組合せ論が出会うテーマです。 #AIforMath3rd
直線5本 交点6個 {2重点4個、3重点2個 の時chamberの個数は！？ #AIforMath3rd
小泉淳之介「Magnitude homology of real hyperplane arrangements」 が始まってます！ 実超平面配置を、距離やホモロジーの視点から捉える研究の紹介です。幾何と組合せ論が出会うテーマにも注目です。 関連論文：arxiv.org/abs/2604.03718 #AIforMath3rd
SoYo @essuniimn
2 Followers 35 Following
しら @pyushi_12113
0 Followers 37 Following
a @a62028691
1 Followers 5 Following
真凉 @zhenlia03726157
3 Followers 130 Following
こぼるど @koboldpupil
144 Followers 357 Following
ほら/hora @hora_algebra
3K Followers 801 Following 数学の研究をしています． いろいろ、特に数学のいろいろ、特に圏のいろいろ、最近は特にトポスやcoalgebraのいろいろに興味があります R.Hora/ category theory/ @hora_math
How @How78215928
2 Followers 36 Following
pongon @pongondoron
1 Followers 352 Following
hide_phy @HidePhy
19 Followers 358 Following I learn physics, CAE, MBD(Model/Multi), CFD, MPS, SPH, DEM, Meshless, Meshfree, XFEM, IsoGeometricAnalysis.
Exact Mathematics wit... @ExactMathAI
0 Followers 12 Following Independent research initiative for mathematical discovery, formal verification, and human understanding. Updates and corrections: https://t.co/hexCWF4XJ7
みち @michidayo19
227 Followers 113 Following 指原莉乃→大矢真那→早坂つむぎ→山内瑞葵→早坂つむぎ→ザ・コインロッカーズ→山内瑞葵・成田香姫奈 『https://t.co/hC4UUYf04A』『唯一無二』
Tomonaga, K. @ko_tomonaga
140 Followers 796 Following CS, 博士(工学) . 生まれは鹿児島, 0歳3ヶ月頃から28歳まで大分, 熊本, 福岡を転々. 今は東京, 千葉で18年目. ご先祖さまは佐賀の武雄, 長崎の大村. 要は関東にいる九州の人！
Oda(織田一彰)「�... @oda_kazuaki
3K Followers 3K Following Entrepreneur, Professor, Keynote Speaker, Consultant, Athlete,,, #startup #entrepreneur #investment #consultant #tennis #economics #mathematics
yz @yz_set
191 Followers 85 Following 集合論、特に実数上の基数不変量を研究しています。神戸大PD。https://t.co/asCyge70tK Set theory, especially cardinal invariants of the continuum. Kobe University
Evaristo Huang @Hu30355Huang
16 Followers 604 Following Engaged in mathematical research with a focus on low dimensional topology and symplectic/contact topology. Thank you for your subscription.
Michinori Yamashita/�... @mymathmymath
178 Followers 242 Following 元・大学教員（数学，統計学，情報系分野の担当），高校時代からEuler関数の様々な振舞いに凝ってます・・・。入院中の2021/2から1年間限定で数学・統計学者誕生日メモを始めましたが再びICUに。半年弱の入院を余儀なくされ中断。退院後再び復活。1年間継続してメモが終われば，新誕生日情報入手がない限り誕生日ポスト中止。
Ryo Akazawa @rakazawa1728
1 Followers 26 Following
N高グループ研�... @kd_kenkyubu
2K Followers 128 Following 学術研究を志す全国の中高生が、学校の枠を超えて参加できるコミュニティ「研究部（#KdEi研）」 の公式アカウントです。 ※N高/S高/R高生以外の生徒も所属可能です。 研究部への問い合わせ：[email protected]
ZYP @ZYP41393622
60 Followers 2K Following
佐藤弘康 Hiroyasu... @shiroyasu_
359 Followers 453 Following 大学の数学教員 @shiroyasu_NIT 研究 https://t.co/L9aw6lbAtp 写真 https://t.co/yridDCnrNV 👦12歳👧9歳 https://t.co/SI97VVjPTe 北海道網走生まれ
Sub Caelo @scbebetterme666
20 Followers 314 Following Theoretical physicist (topological phases & CFT) Language lover.
Mango @3804lealand
204 Followers 861 Following 観劇｜旅行｜🎾観戦｜ドジャース｜ピアノ｜庭バラ｜元IT職｜帰国子女｜運動音痴｜TOEIC 985｜数lll やり直し中｜在宅介護(1/’26終了)｜男子2人成人済
内場 崇之(Takayuk... @utaka233
6K Followers 790 Following ・数学/統計教育(13年目 @すうがくぶんか) ・データ分析者(12年目) ・大学院時代の専攻: 代数幾何学 ・統計検定1級(人文: 優秀者) 主に分析・生成AI開発と統計学関連の講義をしています。実際に分析をしながら、自分が面白い・役に立つと思ったことを中心に知識の普及活動をしています。
ysyk file @YsykFile
171 Followers 802 Following
T.T. @tatsuya_terao
82 Followers 209 Following grad student @ RIMS, Kyoto University. Research interesests: theoretical computer science and algorithm design.
Xxlyy @lany29352
2 Followers 69 Following
Wwwww @nameandname9
4 Followers 705 Following
shouryuu @shouryuu1466324
97 Followers 257 Following 北（京）大sms - 東大ms - 名大多元数理 裏垢(実際の本垢) @koshimizuryuu
Haruyuki Kawabe @p314159265
611 Followers 433 Following https://t.co/kSngglP6KB https://t.co/HRaiTWTjzJ https://t.co/HQNIDvAK8F https://t.co/r6lVRqTUCc https://t.co/dxjBszRuWZ
理系ナビ高橋 @H_Takahashi_DC
1K Followers 3K Following ドーナツを配る人。#立命館 (数理)→#京大 (情報学)→外資系証券でアナリストなど→ #理系ナビ CHRO (現在) 。犬と暮らしてます。
Hiroyasu Miyazaki @Miyazaki_Math
218 Followers 57 Following Mathematician at NTT R&D, Institute for Fundamental Mathematics. Motives. 民間企業で働く数学者です。モチーフ理論を主に研究しています。
banri @banr1_
3K Followers 820 Following Co-founder @NyxFoundation AI for math, Formal verification, Lean, Ethereum, Cryptography
川井 新 (かわい... @squawai
2K Followers 2K Following 福岡県在住のサンガサポ、一児の父、論計舎 @ronkeisha_info 代表・講師、禁煙・減酒中。運用と投稿の一部はClaudeによります
Shun Yoshizawa @Spectrum_cj
448 Followers 2K Following AI Alignment Researcher | Physics Major | Team Lead, ShibaAI | Expert Consultant, Duco | Model Psychology, Metacognition, Consciousness, Quantum Thermodynamics.
Hikaru Manabe @a_starisk
181 Followers 116 Following ITF.25 coins AC 数学研究をやっています。組合せゲーム,CGT, 応用数学, 数理科学研究会, KdEi研, 湧源, ໒꒱42
甲斐亘【数学者... @WataruKaiMath
119 Followers 68 Following 数学者・甲斐亘の公式アカウントです。研究のことをつぶやきます。Mathematician Wataru Kai at Tohoku University.
みよしじゅんい... @nosiika
4K Followers 3K Following 対戦パズルゲーム「ゴドマチ」「陣目取」の考案者。幾何学模様のブログ管理人。パズル懇話会第5代代表幹事/ＮＰＯ法人数学カフェ理事/日本折紙学会会員/スーカラ部(数学カラオケ部)部長/ポートフォリオサイトはこちら https://t.co/QcfRPvBXm8
田邊真郷 | Masato... @Masato_TANABE_
683 Followers 267 Following 幾何学▷可微分写像のトポロジー▷特異点▷相対版Thom多項式 | 理研iTHEMS SPDR | 🍡 | 🌱
村上友哉 @MurakamiMath
4K Followers 158 Following 若手数学者。研究テーマは整数論、中でもモジュラー形式と結び目の関係。 面白いなと思った数学の話題や、自分の研究を紹介しています。
onewan (わんわん) @ONEWAN
849 Followers 793 Following 数学好きの知財職(15年超)/アイコンは犬ぬい/修士(システム数理)/ホロライブ箱推し,サンリオ(シナモン推し)/Claude Code/OSPO/Qiskit Advocate/数論/フェルマー予想/Erdős Lap Number 4/AI for math/運営: @kansai_nitimath
H. E. @henomoto1025
1K Followers 497 Following 名古屋大数学専攻学振DC1（多元環の表現論）→博士取得→学振PD3年ポスドク→Acompany（プライバシーテック）→Parakeet（音声AI）。 以前は多元環の表現論を、完全圏を使って色々調べたり、加群圏の部分圏を調べたり、多元環の加群や部分圏の計算をしてくれるアプリ（FD Applet）を作っていたりしました。
k_yamaz🐸 @k_yamaz
2K Followers 5K Following Views are my own. My interests: #QuantumComputing #Haskell #LEAN #LLVM #RISCV #p5 #q5mjs #OpenQL #未踏tg '18-'20. #IPA未踏クォンタムアンバサダー '26
ほら/hora @hora_algebra
3K Followers 801 Following 数学の研究をしています． いろいろ、特に数学のいろいろ、特に圏のいろいろ、最近は特にトポスやcoalgebraのいろいろに興味があります R.Hora/ category theory/ @hora_math
Claude @claudeai
1.9M Followers 2 Following Claude is an AI assistant built by @anthropicai to be safe, accurate, and secure. Talk to Claude on https://t.co/ZhTwG8d1e5 or download the app.
ClaudeDevs @ClaudeDevs
771K Followers 2 Following Official updates for developers building with @ClaudeAI
Anthropic @AnthropicAI
1.8M Followers 2 Following We're an AI safety and research company that builds reliable, interpretable, and steerable AI systems. Talk to our AI assistant @claudeai on https://t.co/FhDI3KQh0n.
OpenAI @OpenAI
5.5M Followers 4 Following OpenAI’s mission is to ensure that artificial general intelligence benefits all of humanity. We’re hiring: https://t.co/dJGr6LgzPAYou might like
