@adhara_mathphys

製造企業勤務R&D．数理物理(対称性，可解系，可積分系，変数分離可能系，SUSY QM)と物性理論(トポロジカル物性，超伝導，不純物)が趣味です．子育てをしています．アイコンはChatGPT作．

 日本
adharam.github.io
Joined April 2016
  • Tweets172K
  • Following9.4K
  • Followers8.9K
986Media
結晶構造やAlphaFoldの構造をそのまま使っていませんか？ 私もかつてはそればかりやっていましたが、 この論文読んでその認識を変えました。 MDとマルコフモデルで、きちんと代表的な構造を絞り込む。 詳しくはリンクをご覧ください！ baraphasilico.com/articles/t…
14
3
185
17,575
adhara_mathphys retweeted
Axiom
@axiommathai18h
The largest math proof in human history is now computer-verified. Today, Axiom announces a complete Lean auto-formalization of the Classification of Finite Simple Groups, the "periodic table of symmetry." About 15,000 pages, built by over 100 mathematicians across generations.
376
1,510
533
5,980
3,202,618
adhara_mathphys retweeted
notebook@notebook38321h
化学科入った直後のぐっちゃぐちゃな化学の理論体系(個人の感想です)に絶望したのは正直ある まぁ今はだいぶ大人になったので(遅えよ)そうならざるを得ない系を対象にしてる学問だってのは理解してるつもり
3
24
3
263
23,202
adhara_mathphys retweeted
So Matsuura@a02matsu2h
念校への赤入れが終わりました。 現状で私が出来ることは全てやりつくしました。 皆様の手元に届く日を指折り数えつつ、ひきつづき、場の量子論の大事なところを淡々とツイートします！ #超基礎からの場の量子論
1
16
83
2,485
adhara_mathphys retweeted
K. Tomonari@KT8763311h
場の理論と情報幾何！ 重力と情報幾何もよろしくです！ doi.org/10.51094/jxiv.5821
富谷(AI×物理)/東女/京大/理研@TomiyaAkioOct 27
4次元Yang-Millsの連続極限に数学的証明がついたかも、という話が話題ですが、(関係はないですが)場の理論の連続極限について情報幾何学から考察してみました。場の理論でくりこみ条件を置きながら正則化を外すというのは、m座標とe座標を両方考えろ、ということになります。 arxiv.org/html/2610.34277
8
1
33
2,366
光量子コンピューティングの研究でICO Prizeを受賞しました。この賞はICO（国際光学委員会）が40歳以前の研究で光学分野に顕著な貢献をした個人1名に毎年授与するもの。国際的な賞を頂くのは初めてで、とても嬉しいです！ご指導・ご支援くださった皆様に心より感謝いたします。e-ico.org/blog/awards/ico-pr…
1
15
1
139
6,267
adhara_mathphys retweeted
Fuminori Okabayashi@f_okabayashiOct 27
固有有効温度って概念があって、これは相対論的熱力学、非平衡熱統計力学、AdS/CFTの境界にあるので、世界にプロが数人しかいないんですが、多分私よりAIがすでに深く理解している。
1
12
67
5,413
adhara_mathphys retweeted
てるてる@IWKRterter6h
うおおおおおお 「SFTS」ワクチン開発　マウスへの効力を実証　兵庫医科大学などの研究グループ(テレビ朝日系（ANN）) #Yahooニュース news.yahoo.co.jp/articles/22…

「SFTS」ワクチン開発　マウスへの効力を実証　兵庫医科大学などの研究グループ（テレビ朝日系（ANN）） - Yahoo!ニュース

マダニが媒介し、最悪の場合死に至る感染症「SFTS（重症熱性血小板減少症候群）」のワクチン開発で、マウスへの有効性が明らかになりました。兵庫医科大学医学部 黒田悦史教授「感染者が増えてきたというのは

news.yahoo.co.jp
13
35
2,321
adhara_mathphys retweeted
K. Tomonari@KT8763322h
想像してたより早い展開． NS問題の解法提示を受けてYM問題にもチェックがかかるのは時間の問題と思い１０年近く疎遠だったqcd学び直してた．常に先を行く数学の歴史ではミレミアム問題の解決は分野の方向性に大きく影響を与えてきた．この波に乗れないと理論屋としての存在価値がぐっと落ちるだろう．
K. Tomonari@KT8763322h
もうここまできたのね！ "As a subproblem, this work also includes a proof of the existence of pure Yang–Mills theory, which is part of the Quantum Yang–Mills Theory Clay Mathematics Institute Millennium Prize problem⁠(opens in a new window)." openai.com/index/building-sc…

Working with academic communities to build scientific understanding

OpenAI shares model results on the Kakeya conjecture, Exponential Time Hypothesis, and quantum chromodynamics—and how researchers can verify and build on them.

openai.com
1
2
6
1,282
量子Yang-Millsと質量ギャップは物理屋はわかってたので数学的な価値しかないと言ってる奴は全員バカです。ニュートンの運動力学も全て幾何学で表現できるけど、微積分を導入したことで理論的な深さと応用の幅が広がった。同様に経路積分が数学的に整備されれば分かることが爆発的に増える可能性
6
14
7
144
16,382
量子力学の本で、調和振動子とか角運動量の話をする際特殊関数とか解析の話ばっかりで代数的な話が乏しいやつあんま好きじゃない。正直、具体的な微分方程式がどうこうよりも代数的な構造に着目するほうが後々大事な気がしてる
2
13
7
127
19,571
adhara_mathphys retweeted
にゃあ@chinchillaphysOct 26
特殊関数オタクだけど，調和振動子に関してはまあそんな気がする
ロウシ・ ハミルトニアン@gausu_1729Oct 26
量子力学の本で、調和振動子とか角運動量の話をする際特殊関数とか解析の話ばっかりで代数的な話が乏しいやつあんま好きじゃない。正直、具体的な微分方程式がどうこうよりも代数的な構造に着目するほうが後々大事な気がしてる
7
47
3,979
いや、身の回りの物理屋さんはそれぞれの仕事をしていると思います。チェックしてる人は一部の専門家だけのような気がします。
内村直之@HistoryoflifeOct 27
数学者も理論物理学者もAIの成果をオリジナルなことを考えることを停止して、チェックばかりするようになっています。大丈夫かなあと思います。
6
2
49
4,309
adhara_mathphys retweeted
Hal Tasaki@Hal_Tasaki17h
I think Andreas is quite right. For most physicists, this may simply confirm that asymptotic freedom works as expected. But for those of us who care about mathematical foundations, it would be a major step --- even if the construction is only in a tiny, tiny, tiny 4D box.
Andreas Karch
@karch_andreasOct 27
Replying to @Quasilocal
Existence of Yang Mills? It’s just tying up a lose end for the hyper mathematically minded. I don’t think any physicist gives af. We have been doing precision calculations for decades. Of course it exists. But sure, would be nice to have a proof.
15
59
8,248
adhara_mathphys retweeted
Andreas Karch
@karch_andreasOct 27
Replying to @Quasilocal
Existence of Yang Mills? It’s just tying up a lose end for the hyper mathematically minded. I don’t think any physicist gives af. We have been doing precision calculations for decades. Of course it exists. But sure, would be nice to have a proof.
17
17
9
227
124,577
OpenAIが、100年以上の難問「掛谷予想」をAIが全次元で解決したと発表。AIが波動方程式に関するより一般的な予想の証明を生成、その帰結として掛谷予想を解いた（Leanによる形式化も公表）。独立検証はこれからで、仮に証明が正しくても人間がその着想や数学的意味を理解できるかは別問題。数学的真理の発見と人間による理解が分離する時代の始まりかも… openai.com/index/building-sc…

Working with academic communities to build scientific understanding

OpenAI shares model results on the Kakeya conjecture, Exponential Time Hypothesis, and quantum chromodynamics—and how researchers can verify and build on them.

openai.com
37
4
171
20,838
adhara_mathphys retweeted
四次元多様体@4_manifoldOct 27
次はDonaldson不変量とSeiberg-Witten不変量の等価性に関するWitten予想を電磁双対性を使って証明してほしい
Hirosi Ooguri
@PlanckScaleOct 27
OpenAIが、ミレニアム問題の一部であるヤン－ミルズ理論の構成に成功したようです openai.com/index/building-sc…

Working with academic communities to build scientific understanding

OpenAI shares model results on the Kakeya conjecture, Exponential Time Hypothesis, and quantum chromodynamics—and how researchers can verify and build on them.

openai.com
6
37
2,082
adhara_mathphys retweeted
ギガちいかわ@_LiSa0Oct 27
OpenAI、謎の数学の問題を解くとかより、3D外場無しIsingモデルの分配関数を解析的に求めるとか、SVDの計算量をO(n^2)くらいにするとかみたいな、本当に俺らに恩恵があるものを頑張ってほしい
2
20
190
18,426
"As a subproblem, this work also includes a proof of the existence of pure Yang–Mills theory, which is part of the Quantum Yang–Mills Theory Clay Mathematics Institute Millennium Prize problem⁠." openai.com/index/building-sc…

Working with academic communities to build scientific understanding

OpenAI shares model results on the Kakeya conjecture, Exponential Time Hypothesis, and quantum chromodynamics—and how researchers can verify and build on them.

openai.com
1
5
34
2,706
adhara_mathphys retweeted
Sin-Shun@ShunnightpilotOct 26
Open AIがSogge's local smoothing conj.をd\geq2で完全解決したってあるんですけど、これはいったい？ 理解も感情も追いつかんが、My 指導教員は何を思うのだろうか？ github.com/openai/math/blob/…

math/preprints/Local-smoothing-for-the-Euclidean-wave-equation-October-25-2026/paper.pdf at main ·...

Contribute to openai/math development by creating an account on GitHub.

github.com
5
14
1,650
Load more