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

日本
Joined April 2016
今年はSchrödinger4部作から100周年ということなので,私の興味のある水素原子関連の数理物理の話題についてコンテンツを作成中です. 昨年の物理学アドベントカレンダーで100周年に関する記事を投稿し着手するはずだったのですが,そのときは書けなかったのでゆっくり進めています.
2
8
47
8,458
文献管理は、自動化すればするほど実際に読まなくなったりするので、個人的には手作業の部分を残した方が良いと思ってます。
1
7
75
2,892
adhara_mathphys retweeted
Markdownファイルを良い感じにPDF化するツールpfpdfを作って公開しました!LLM任せだと毎回違うデザインのPDFになったりしますが、pfpdfならリポジトリにMarkdownファイルさえ置いておけばコマンド1行で数式やコードハイライトを含めきれいにPDF化できるようになります。 preferred.jp/ja/blog/tech/17…
5
154
16
1,084
98,391
adhara_mathphys 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に証明のバグ出されて直されたんだが……???」 ここがヤバい↓
1
75
291
20,683
adhara_mathphys retweeted
化学のビッグイシューは、抽象化してしまえば、元素100種類が6.0×10^23個あつまったような "物質" という圧倒的自由度のフロンティアで、人類がどこまで遊び倒せるか 未踏の山に辿り着けるか 未開の森を切り開き道を作り、測量して街を作れるか というところに尽きる。だから全てが各論とも言える
1
14
8
101
14,047
adhara_mathphys retweeted
Today, in collaboration with Anthropic, we’re excited to share rapid initial progress towards an antibody treatment for food allergy, which affects over 200 million people worldwide, discovered with the help of Claude. At Divergence Labs, we believe that AI can unlock the next generation of antibody therapeutics with more effective mechanisms than before. Such mechanisms are urgently needed in food allergy, which involve overcoming one of the tightest affinity protein pairs in immunology, IgE and its receptor FcεRI, on mast cells. Treatment with Xolair—the only approved antibody for food allergy—sequesters circulating IgE, but mast cells remain sensitized for weeks to months due to the extraordinarily slow dissociation of IgE from FcεRI. We envision a treatment that actively pulls IgE off of FcεRI, without waiting for natural dissociation. Like picking a lock, this requires the right combination of geometry and force. Our research team, working with Claude, ideated on mechanisms to accomplish this disruption, and converged on an antibody format with two arms with different functions and epitopes. Within one month, we designed, synthesized, and experimentally confirmed the biophysical function of the two arms, which we are now assembling into full therapeutic formats.
62
295
56
2,347
162,707
adhara_mathphys retweeted
有機化学は理論がないと言うよりは断片的な理論が山のようにあっていつでも頼りになるものは少ないという感じだと思うたんよね
2
11
200
14,827
adhara_mathphys retweeted
岡野原大輔先生の、 『AI計算科学──表現・推論・探索による計算科学の再編』 本日発売です😌 物理学や化学に興味をもっていらっしゃる方はもちろん、異なる分野の方にも開かれた一冊です。 AIとともにある科学を考えるうえで、必読です。 どうぞよろしくお願いします。
11
2
57
3,419
結晶構造やAlphaFoldの構造をそのまま使っていませんか? 私もかつてはそればかりやっていましたが、 この論文読んでその認識を変えました。 MDとマルコフモデルで、きちんと代表的な構造を絞り込む。 詳しくはリンクをご覧ください! baraphasilico.com/articles/t…
15
3
197
20,191
adhara_mathphys retweeted
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.
405
1,580
608
6,744
3,469,959
adhara_mathphys retweeted
化学科入った直後のぐっちゃぐちゃな化学の理論体系(個人の感想です)に絶望したのは正直ある まぁ今はだいぶ大人になったので(遅えよ)そうならざるを得ない系を対象にしてる学問だってのは理解してるつもり
3
26
4
295
24,915
adhara_mathphys retweeted
念校への赤入れが終わりました。 現状で私が出来ることは全てやりつくしました。 皆様の手元に届く日を指折り数えつつ、ひきつづき、場の量子論の大事なところを淡々とツイートします! #超基礎からの場の量子論
1
29
2
180
5,933
adhara_mathphys retweeted
場の理論と情報幾何! 重力と情報幾何もよろしくです! doi.org/10.51094/jxiv.5821
4次元Yang-Millsの連続極限に数学的証明がついたかも、という話が話題ですが、(関係はないですが)場の理論の連続極限について情報幾何学から考察してみました。場の理論でくりこみ条件を置きながら正則化を外すというのは、m座標とe座標を両方考えろ、ということになります。 arxiv.org/html/2610.34277
12
1
55
4,862
光量子コンピューティングの研究でICO Prizeを受賞しました。この賞はICO(国際光学委員会)が40歳以前の研究で光学分野に顕著な貢献をした個人1名に毎年授与するもの。国際的な賞を頂くのは初めてで、とても嬉しいです!ご指導・ご支援くださった皆様に心より感謝いたします。e-ico.org/blog/awards/ico-pr…
1
15
1
143
6,589
adhara_mathphys retweeted
固有有効温度って概念があって、これは相対論的熱力学、非平衡熱統計力学、AdS/CFTの境界にあるので、世界にプロが数人しかいないんですが、多分私よりAIがすでに深く理解している。
1
13
70
5,627
adhara_mathphys retweeted
想像してたより早い展開. NS問題の解法提示を受けてYM問題にもチェックがかかるのは時間の問題と思い10年近く疎遠だったqcd学び直してた.常に先を行く数学の歴史ではミレミアム問題の解決は分野の方向性に大きく影響を与えてきた.この波に乗れないと理論屋としての存在価値がぐっと落ちるだろう.
もうここまできたのね! "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…
1
2
6
1,396