東京大学情報基盤センター学際情報科学研究部門准教授。東京大学大学院新領域創成科学研究科物質系専攻兼担。超伝導が好きな物性理論屋。アウトリーチ活動に興味あり。著書「Juliaではじめる数値計算入門」「1週間で学べる! Julia数値計算プログラミング」「理科のおさらい物理」等。ポスト内容は当然個人の見解です

千葉県北西部。米国ボストン周辺に居た事も
Joined June 2011
今年の五月に技術評論社さんからJulia言語の本が出ます。 表紙できました。 Juliaではじめる数値計算入門 | 永井 佑紀 連立一次方程式 非線形方程式 固有値 数値積分 補間と近似 常微分方程式 偏微分方程式 のアルゴリズムをJuliaで書いてます。 amazon.co.jp/Julia%E3%81%A7%…
6
123
7
511
211,191
Yuki Nagai retweeted
Replying to @cometscome_phys
多項式時間ではないです。指数の肩にのっかる関数がちょっと弱くなった感じです。n-> n/√log n 。
1
6
422
Yuki Nagai retweeted
Replying to @gejiqmq
xitter.cf/Kwathomas0/status/2114… NP完全性の帰着は多項式的な問題サイズの増加を許容するので、そこまでは言えないんじゃないですかね。 (例えばNP完全である平面グラフ上の3彩色問題は2^√nアルゴリズムが知られてます) xitter.cf/_Mira___Mira_/status/2… 個人的にはこの気分がしっくり来ます。
The ETH result doesn't imply NP is subexponential. I wonder if 3-SAT was just a bad representative problem.
1
2
1
13
1,635
Yuki Nagai retweeted
l’annonce d’openAI sur la résolution de 3 verrous scientifiques majeurs marque un tournant brutal et honnêtement je suis souvent réservé avec ce genre d’annonce mais là autant voir dire que même moi je suis sur le cul hein je vous explique ça rapidement en gros, ils ont publie des preuves dans l analyse harmonique avec la conjecture de lissage local de sogge et la geometrie des ondes), la physique théorique avec l’existence de theories quantiques des champs en interaction avec jauge et fermions et la theorie de la complexité algorithmique mais la ou le sol a vraiment tremble a mes yeux c’est sur ce dernier point avec la refutation de l’hypothese du temps exponentiel (eth) pour comprendre le vertige il faut revenir aux fondamentaux et comprd’re que les problemes de classe P sont calculables en temps polynomial par une machine de turing deterministe alors que les problemes NP complets (comme 3-sat) semblaient condamnes a une explosion combinatoire exponentielle où le temps de calcul explose avec la taille des donnees ce que la preuve etablit via un algo deterministe sur les formules cnf c’est qu’on peut exactement compter les affectations satisfaisables en temps subexponentiel et espace polynomial, ruinant l’idee qu’il existe une barriere mathematique infranchissable et ouvrant un regime algorithmique intermediaire quasi-polynomial  O(n log n) tout a fait inattendu!!!! si je vous explique tout ça cnest aussi pour vous parler des implications industrielles de cette fissure dans le mur NP dur sont titanesques car en effondrant les tps de calcul sur la recherche operationnelle, on passe du tâtonnement heuristique a la resolution exacte pour le repliement des proteines en biophysique par ex, la verification formelle des puces de silicium sub-nanometriques, le controle magneto-hydrodynamique en tps reel des plasmas de fusion nucleaire dans les tokamaks (iter/spheromak) = ÉNORME CHALLENGE ou l’optimisation combinatoire instantanee des topologies de reseaux quantiques et tant d’autres sujets qui vont vous impactér dans votre vie de tous les jours et qui ont de quoi remettre en question toute votre vision du futur
58
124
19
820
118,221
OpenAI just dropped four huge results from its secret internal AI model. 1. Math: It solved the Kakeya conjecture in every dimension. Mathematicians had only cracked small pieces before (2D in 2019, 3D in 2025). 2. Computer science: It proved the Exponential Time Hypothesis is false. Hundreds of research papers assumed it was true. Some really hard problems might be solvable much faster than thought. 3. Physics: It proved the theory of the strong force (QCD)—the force holding atoms' insides together—actually works mathematically. Same for a unified version of the Standard Model. 4. Yang–Mills: Along the way, it proved Yang–Mills existence, part of a $1 million Millennium Prize problem. The math, computer science, and Yang–Mills proofs were all computer double-checked. Top experts are now reviewing everything, including the researchers who proposed the disproved hypothesis and a Nobel Prize winner. OpenAI says it doesn't want academic credit. The model still isn't public 👀
94
369
59
4,222
353,128
物理の方も面白そうだけど、計算科学の方の、「ある種の計算問題は、本質的に指数時間を必要とする」という予想が誤りと証明、も興味深い。指数時間かかりそうな処理が多項式時間で解けうるなら、量子系を多項式時間で解けるアルゴリズムは存在しうるってこと?まだそういう話じゃないとわかっているけれど、この前の座談会で述べた話と近くて楽しそう
1
6
1
46
3,981
Yuki Nagai retweeted
Announcing three major scientific discoveries, one each in mathematics (harmonic analysis), computer science (complexity theory), and physics (quantum field theory). AI starting to help us improve our understanding of the universe! openai.com/index/building-sc…
625
1,889
799
15,049
2,600,167
OpenAI has announced to three new discoveries in mathematics, computer science, and physics: - Local smoothing and the Kakeya conjecture - The Exponential Time Hypothesis is false - Existence of quantum chromodynamics and completions of the Standard Model
133
287
136
2,816
1,046,825
でもなあ、ChatGPT Pro プラン契約してるから、codexの性能が良すぎてローカルLLMで何をすれば的なのはある。M2 MacBookProは96GBメモリなのでいまでも何か入れられるか
1
1
10
3,559
LLMが走るMacが欲しくなってきた
8
705
大学教員はマルチタスクとは言うけれど、日頃の中3中1年長三人組の朝の支度でのマルチタスクぶり(常に声かけられて作業中断させられる)の方がむしろ鍛えられている感。
24
1,802
学習物理学の座談会動画、なぜサムネが自分になってるんだ
10
801
学習物理学・緊急オンライン座談会「OpenAI論文と理論物理」の完全版を公開しました。 2026年9月にOpenAIはナビエ・ストークス方程式に関する結果を発表し、10月6日には数学の原稿722編を公開しました。この座談会では、理論物理、数学、計算物理の研究者が、公開された論文を各自の分野からどう読んだか、研究者の仕事や論文・査読、若手の育成がどう変わるかを議論しました。後半では、視聴者から寄せられた質問に答えています。
1
19
77
8,667
物理でも、同じ実験結果を説明するときに二つの異なるシナリオによる異なる二つの理論の論文が存在することがあるが、はたしてこの時の「事実」とはなんだろうか。事実に基づいて、著者たちの意見としてはこちらが正しいと主張しているのであって、事実なのかといわれると、事実と主張しているという感じ?
This quoted post is unavailable.
4
1
26
3,758
一般公開中は一般人に偽装していたのに部品さんに見破られてしまった
3
759
東大柏キャンパス一般公開で部品さんに遭遇したけど、もしかして初めましてだったのだろうか
1
1
34
7,292
絵から3D、盛況だったようでよかった
1
647
東大スパコンMiyabiとチーバくん
1
20
1,169