村山斉 retweeted
This year, Ukraine’s positions on the front remain stronger than they have been in a long time during this war. If our partners’ support for Ukraine remained just as strong – particularly when it comes to Patriots and other air defense capabilities – Ukraine would be in a much tically as well. Just now, in October alone – since October 14 – there have already been several Russian ballistic missile attacks. Essentially, in two weeks, more than 100 ballistic missiles have been launched against Kyiv and the region. Unfortunately, there are significant restrictions on supplies, with air defense packages being delayed. I want to thank all our partners who provide their support on time.
1,064
2,596
13,621
304,794
村山斉 retweeted
【速報】人類史上もっとも巨大な数学の証明（15,000ページ）が、AIによって完全攻略されてTLが大パニックに。
定理：『有限単純群の分類（CFSG）』「対称性の周期表」と呼ばれる群論の最高峰。これをAIエージェント（AxiomProver）がLean 4で4,310万行のコードに変換し、カーネルの全検証（sorryなし）を完了！
【数学者 vs AIエージェント 】
人類の数学者「よし！過去100人の天才たちが書いた500本の論文（15,000ページ）を集めたぞ！誰ひとり全容を理解した奴はいないが、これで証明は完璧だ！」
AIエージェント「了解です！Leanコード4,310万行に分解して24日間で全ステップ機械検証しますね〜……あれ？」
人類の数学者「えっ」
AIエージェント「1986年の論文（UGT証明）のここ、PSL₂(49)のくだりで論理崩壊してバグってますよ？」
人類の数学者「ファッ！？！？ 40年間誰も気づいてなかったぞ！？」
AIエージェント「大丈夫です。僕がSolomonの理論をベースに『Theorem 2.3』っていう新しい定理を勝手に証明してコード補修しておきました👍（全34件の人間側のミスも修正済）」
人類の数学者「AIに証明のバグ出されて直されたんだが……？？？」
ここがヤバい↓
定理：『有限単純群の分類（CFSG）』「対称性の周期表」と呼ばれる群論の最高峰。これをAIエージェント（AxiomProver）がLean 4で4,310万行のコードに変換し、カーネルの全検証（sorryなし）を完了！
【数学者 vs AIエージェント 】
人類の数学者「よし！過去100人の天才たちが書いた500本の論文（15,000ページ）を集めたぞ！誰ひとり全容を理解した奴はいないが、これで証明は完璧だ！」
AIエージェント「了解です！Leanコード4,310万行に分解して24日間で全ステップ機械検証しますね〜……あれ？」
人類の数学者「えっ」
AIエージェント「1986年の論文（UGT証明）のここ、PSL₂(49)のくだりで論理崩壊してバグってますよ？」
人類の数学者「ファッ！？！？ 40年間誰も気づいてなかったぞ！？」
AIエージェント「大丈夫です。僕がSolomonの理論をベースに『Theorem 2.3』っていう新しい定理を勝手に証明してコード補修しておきました👍（全34件の人間側のミスも修正済）」
人類の数学者「AIに証明のバグ出されて直されたんだが……？？？」
ここがヤバい↓
37
748
3,750
2,124,431
抽選には500名の応募があったそうで、抽選に漏れた方には申し訳ありません。このアーカイブ発信は1ヶ月ほど行うそうですので、ご覧いただければ幸いです！
東京大学柏キャンパス一般公開2026特別講演会 youtube.com/live/UtyQF8f7p… via @YouTube
東京大学柏キャンパス一般公開2026特別講演会 youtube.com/live/UtyQF8f7p… via @YouTube
2
43
212
14,461
I watched it so many times but I get goosebumps every time.
もう何度も見たのですが、毎回鳥肌が立ちます
和楽器バンドWagakki Band：鏡花水月(Kyoukasuigetsu)+月に叫ぶ夜(Tsukini sakebuyoru) - REAC... youtu.be/aWlMc-pbDc8?si… via @YouTube
もう何度も見たのですが、毎回鳥肌が立ちます
和楽器バンドWagakki Band：鏡花水月(Kyoukasuigetsu)+月に叫ぶ夜(Tsukini sakebuyoru) - REAC... youtu.be/aWlMc-pbDc8?si… via @YouTube
1
7
51
5,582
Clare Torry came back to sing the epic improvisation vocal: Pink Floyd - The Great Gig In The Sky (Live at Knebworth 1990) youtu.be/VGX7RxsTNmo?si… via @YouTube
0
0
21
3,883
村山斉 retweeted
ヤフーニュースに取り上げていただきました。
記事にしてくださった@ReseMom 様ありがとうございます。
日時：2026年12月27日（日）
場所：杉田劇場（横浜市）
チケット：peatix.com/event/5233621
数学の文化祭「MATH EXPO 2026」12/27横浜(リセマム)
#Yahooニュース
news.yahoo.co.jp/articles/68661…
記事にしてくださった@ReseMom 様ありがとうございます。
日時：2026年12月27日（日）
場所：杉田劇場（横浜市）
チケット：peatix.com/event/5233621
数学の文化祭「MATH EXPO 2026」12/27横浜(リセマム)
#Yahooニュース
news.yahoo.co.jp/articles/68661…
0
10
28
2,701
村山斉 retweeted
ご登壇者：村山斉先生
理論物理学者・村山斉先生がご登壇！東京大学カブリ数物連携宇宙研究機構の特別教授で、カリフォルニア大学バークレー校のMacAdams冠教授。宇宙の謎に挑む第一人者。
日時：2026年12月27日（日）
場所：杉田劇場（横浜市）
チケット：peatix.com/event/5233621
理論物理学者・村山斉先生がご登壇！東京大学カブリ数物連携宇宙研究機構の特別教授で、カリフォルニア大学バークレー校のMacAdams冠教授。宇宙の謎に挑む第一人者。
日時：2026年12月27日（日）
場所：杉田劇場（横浜市）
チケット：peatix.com/event/5233621
0
5
47
2,336
Japan launches mission to collect samples from Phobos | DW News youtu.be/CgfA7JpdeSQ?si… via @YouTube
2
10
71
4,849
いえいえ、慰めてください。
隣人の電話番号を調べるのも中々難しいだろうし、いずれにしても用意周到過ぎますね・・・
それはさておき、ディレクター就任おめでとうございます！（？）
ls.berkeley.edu/news/hitoshi-m…
0
2
50
8,873
Congratulations to Francis Halzen! He was so clear why
(1) neutrinos are the only way to do astronomy in dense environment with pointing
(2) neutrinos are likely to be generated by high-energy astrophysics as "beam dump" experiments
(3) big chunks of ice or water are the only way to go
and many people got convinced by the crazy idea. And he made it happen! A well-deserved honor. He is such a nice guy, too.
(1) neutrinos are the only way to do astronomy in dense environment with pointing
(2) neutrinos are likely to be generated by high-energy astrophysics as "beam dump" experiments
(3) big chunks of ice or water are the only way to go
and many people got convinced by the crazy idea. And he made it happen! A well-deserved honor. He is such a nice guy, too.
8
92
430
22,157
北澤良久さんが亡くなられたと知りました。大学院時代論文を一緒に書き、anyon 超伝導や格子ゲージの定式化を学びました。一度夏にご実家へ行き、朝早くから桃狩りをした思い出もあります。大変お世話になった方です。ご冥福をお祈りいたします。
0
7
115
16,933
うれしいですね！
＼重版情報／
#村山斉 さん
『宇宙は何でできているのか 素粒子物理学で解く宇宙の謎』
続々重版で34刷です📚
物質を作る究極の粒子である素粒子。
物質の根源を探る素粒子研究はそのまま宇宙誕生の謎解きに通じる。
「すべての星と原子を足しても宇宙全体のほんの４％」など、
やさしく楽しく語る素粒子宇宙論入門。
0
29
185
6,189
村山斉 retweeted
MATH EXPO 2026 ご登壇者です！
数学者 若山正人 先生
理論物理学者 村山斉 先生
数学者 加藤文元 先生
パンサー尾形氏
技術安全保障専門家 山本晃平 先生
数学者 洞龍弥 先生
AIと数学のパネルディスカッションも開催いたします！
日時：2026年12月27日（日）
場所：杉田劇場（横浜市）
#MATH_EXPO
数学者 若山正人 先生
理論物理学者 村山斉 先生
数学者 加藤文元 先生
パンサー尾形氏
技術安全保障専門家 山本晃平 先生
数学者 洞龍弥 先生
AIと数学のパネルディスカッションも開催いたします！
日時：2026年12月27日（日）
場所：杉田劇場（横浜市）
#MATH_EXPO
2
104
417
108,833
村山斉 retweeted
Berkeley Physics is conducting a search for Assistant Professor in Atomic, Molecular, & Optical (AMO) Physics Theory. Apply here: aprecruit.berkeley.edu/JPF05460
0
1
2
1,170
大学院生時代にお世話になった東大YMCA寮で一般向けの講演会をすることになりました。事前申し込みが必要なようです。会場は先着50名、あとはオンライン参加。
東大YMCA2026年度秋季公開講演会 のご案内
2026年11月7日（土）14:00-15:30 開催
講演：『私たちはなぜ存在するのか〜現代物理学からのアプローチ〜』
講師 : 村山 斉 先生（東京大学国際高等研究所、カブリ数物連携宇宙研究機構）@sleptogenesis
場所 : 東大YMCA礼拝堂（東京都文京区向丘1-20-6）
0
35
170
9,504