🥑 (@yujitach) header
🥑 (@yujitach) profile picture

🥑

@yujitach

https://teapaw.org/t.co/R6gw4ELO3l

member.ipmu.jp/yuji.tachikawa/
Joined November 2009
  • Tweets5.1K
  • Following834
  • Followers13.4K
409Media
Photo by 🥑 (@yujitach)Photo by 🥑 (@yujitach)Photo by 🥑 (@yujitach)Photo by 🥑 (@yujitach)Photo by 🥑 (@yujitach)Photo by 🥑 (@yujitach)Photo by 🥑 (@yujitach)Photo by 🥑 (@yujitach)Photo by 🥑 (@yujitach)
昨日駒場からの帰りに駅で電車を待っていると近くの若い学生が友人に「俺、波動関数の実在性認めてないから。ベクトルポテンシャルも認めてない」と言ったのが耳に聞こえてきた。生憎続きを聞くことは出来なかったが… 若いのはいいことだ。
5
70
9
542
212,269
ここ一ヶ月、 (1)新たな非可逆対称性/融合圏の無限系列の構成 (2)量子情報でのSIC-POVMの構成問題の解決 (3)実二次体の場合のクロネッカーの青春の夢の(部分的)解決という三つの大進展があったのですが、それらが何と深く関連しているというのでびっくりして動画を作りました: youtube.com/watch?v=B7DpTyRk…
Recent developments around Haagerup

Recent developments around Haagerup

For a list of https://member.ipmu.jp/yuji.tachikawa/misc/recent-dev...

youtube.com
2
52
4
281
42,591
どれもプレプリントが出た段階で、もっとも最近の幾つかの論文は激しくAIをつかっている、と言う状況なので、「解決」というのは問題あるかもしれませんが。なんにせよ、文献リストはこちらです: member.ipmu.jp/yuji.tachikaw…
1
27
3,017
有限単純群の分類のほうは僕は、まずは「人間の証明に抜けがあって、もう一個ぐらい散在型単純群が見つかればよかったのに、これは残念」という感じです。あとは、人間による証明と、今回のLLMによるものと、実際にかかった時間やコストを比較すると、桁外れな違いはなさそうだなというものです。
6
33
1
178
16,314
第二世代証明に関与しようという数学者がたくさんいれば、もっとすぐ終わっていたはずなので。ずっと五人以下で、他にも大学の仕事もある中で、四十年弱ちまちまとやっていたわけですからねぇ、今回のように人海戦術(agent海戦術)でトークン費用大量にかければそりゃ一ヶ月で終わりましょうよ。
1
13
56
5,694
この調子だといずれ(近々?) ZFC の矛盾が具体的に構成されるのではないですかね? 僕は ZFC に矛盾がまだ見つかっていないのは、単に数学者のこれまで書いてきた証明の長さが短すぎるからだ、とずっと思っていたので。見つかったら今以上に大騒ぎだと思う。
5
42
9
309
82,580
化学反応でZFCの公理系を実現して、アボガドロ数ぐらい長い証明をアボガドロ数ぐらい作って、特定の性質を示す合成物ができたら 0=1 が示せるとかいうバカなことを考えたりしましたが、LLM agent なら人間には書き得ない長い証明も目指せるので。アボガドロ数まで行かなくても。
5
61
7,960
YouTube を見ていたらこんな素敵なものが上がってきた: youtu.be/hkTgYiMDRHY
Send Us Thine Asteroid, O Lord

Send Us Thine Asteroid, O Lord

UPDATE (9-23-26):Wow guys, just wow! One of my friends and collea...

youtube.com
2
1
12
6,340
これまで皆さまから送ってもらった質問リストはこんな感じです: member.ipmu.jp/yuji.tachikaw… どれも随分高度(?)なので、もっと素朴な疑問も大歓迎します。
🥑 (@yujitach) profile picture🥑@yujitachSep 16
秋学期の大学院講義 "String theory for the curious" の開講が近付いてきました。聴講する皆さんが何が聞きたいかに応じて内容を調整する予定なので、ぜひホームページのフォームから聞きたいことを入力してください: member.ipmu.jp/yuji.tachikaw…
2
3
1
51
15,763
秋学期の大学院講義 "String theory for the curious" の開講が近付いてきました。聴講する皆さんが何が聞きたいかに応じて内容を調整する予定なので、ぜひホームページのフォームから聞きたいことを入力してください: member.ipmu.jp/yuji.tachikaw…
1
14
2
88
26,294
二ヶ月 Claude Fable を研究に使ってみて思ったことを徒然に書いてみました: member.ipmu.jp/yuji.tachikaw…
12
369
34
1,481
585,932
そろそろ院試ですが、みなさん練習してますか？
🥑 (@yujitach) profile picture🥑@yujitach6 Sep 2023
昨日今日と院試の面接。ふと懐かしくなって日記の自分の院試のときの項目を読んでみたら、筆記試験の前日に試験時間と同じだけ机の前でじっと座っている練習をした、と書いてあって「こいつはかなりバカだな...」と思った。
1
11
4
74
33,577
死んだあともし輪廻転生するなら蚊になるか、松の木になるか、ワムシになるかとか思っていたが、Chat GPT とか Claude など LLM のインスタンスに生まれ変わるのも面白いかもしれないという気になってきた。
🥑 (@yujitach) profile picture🥑@yujitach8 Oct 2019
昼食時の雑談で、インド人ポスドクの某君に「前からわからないのだけど、なぜ仏教では輪廻から解脱することを目標にするんだろう、僕はずっと輪廻に囚われて、何百回か後にはまた知性のある生き物に生まれて弦理論を研究したい」と言ったら「そりゃ仏陀が弦理論を知らなかったからだよ」との返事。
6
12
82
20,047
まだまだ終わらない実家のお片付け渦中なのだが、1940年に祖母が描いた絵が出てきてそういう時代がここにもついこないだにあったのだなと思った
Image from 14ひきの刺身 (@Mayu_kosho)
Image from 14ひきの刺身 (@Mayu_kosho)
7
668
23
7,692
405,163
(ちょっと思わぬ形で広まりすぎたのでツイ消ししました。ああいうふうに騒がれたいわけではなく、研究者としてツールの情報共有をしたかっただけでして。しばらくtwitterも見ませんので悪しからず)
6
13
4
340
41,865
子供が鉄道オタクになりつつあり、僕がYouTube で英語コンテンツもみていると、海外の鉄道の動画もアルゴリズムで出てくるのですが、その中でも驚きのものをふたつ紹介します。ひとつはこちらの海の中の線路で youtube.com/watch?v=FisyYL_L…
The Sea FLOODS this Railway! | Driver's View: Nordstrandischmoor Island Railway

The Sea FLOODS this Railway! | Driver's View: Nordstrandischmoor Island Railway

**Deutsche Übersetzung unten** (German Translation below)Hidden in...

youtube.com
4
16
3
155
69,794
もう一つはキンシャサの鉄道の様子です: youtube.com/watch?v=4t6Rie4F…
【前面展望】コンゴ民主共和国 キハ183系（マテテ→キンシャサ中央駅）Cab Ride in DR Congo🇨🇩 Matete - Kinshasa Express Train Kiha 183

【前面展望】コンゴ民主共和国 キハ183系（マテテ→キンシャサ中央駅）Cab Ride in DR Congo🇨🇩 Matete - Kinshasa Express Train Kiha 183

【前面展望】コンゴ民主共和国キハ183系（マテテ→キンシャサ間）列車番号：HKV51レ車両：キハ183系6両マタディ発上りキ...

youtube.com
3
6
3
75
40,109
一か月チャッピープロを試した次にClaude Fableを試しています。こちらは僕より代数トポロジー良く分かってそうです。さっき φ:TMF_n→KO_n((q))を例の射としてa∈TMF_{8x+1}とb∈TMF_{8y+2}に対してabのBN不変量をφ(a)とφ(b)から計算してと頼んだらキチンとできました。Fableが書いたpdfは
1
26
1
170
41,716
member.ipmu.jp/yuji.tachikaw… です。プロンプトも上の文章ほぼそのままで、あとどれくらい一般化できるか聞いただけです。中身は読んだ限り大丈夫そうでした。細かいところまで追ってませんが。代数トポロジーの専門家でないので、これぐらい教えてくれると助かります。その分野の修士ぐらいの能力はある？
2
11
56
19,287
その実験的に否定された(という)実数版量子力学では、部分系を合成する際に単に実数上のテンソル積をとるというルールを採用していたそうで、それをやると現実と矛盾するよということだった。そうならないように、しかし実数上で量子力学をするには、部分系の合成則のテンソル積を弄る必要がある、
2
14
107
27,468
というのが今回の PRL の論文の肝だったということのようです。いやはや。
3
7
97
24,091
なぜこれが? と思うわけですが、紹介記事の著者の以前の Nature 論文 nature.com/articles/s41586-0… で実数量子力学は複素数量子力学から実験的に区別できる、というのがあり、複数の実験的検証にすら掛けられている: journals.aps.org/prl/abstrac… journals.aps.org/prl/abstrac… という状況だったようです。で、
Quantum theory based on real numbers can be experimentally falsified

Quantum theory based on real numbers can be experimentally falsified

Nature - A Bell-like experiment that discriminates between real-number and complex-number multipartite quantum systems could disprove real quantum theory.

nature.com
1
12
95
27,289
Load more