Pinned Tweet
今年の五月に技術評論社さんからJulia言語の本が出ます。 表紙できました。
Juliaではじめる数値計算入門 | 永井 佑紀
連立一次方程式
非線形方程式
固有値
数値積分
補間と近似
常微分方程式
偏微分方程式
のアルゴリズムをJuliaで書いてます。
amazon.co.jp/Julia%E3%81%A7%…
Replying to @cometscome_phys
多項式時間ではないです。指数の肩にのっかる関数がちょっと弱くなった感じです。n-> n/√log n 。
Yuki Nagai retweeted
Replying to @gejiqmq
xitter.cf/Kwathomas0/status/2114…
NP完全性の帰着は多項式的な問題サイズの増加を許容するので、そこまでは言えないんじゃないですかね。
(例えばNP完全である平面グラフ上の3彩色問題は2^√nアルゴリズムが知られてます)
xitter.cf/_Mira___Mira_/status/2…
個人的にはこの気分がしっくり来ます。
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
We are announcing three new discoveries in mathematics, computer science, and physics about harmonic analysis, complexity theory, and quantum field theory.
openai.com/index/building-sc…
Yuki Nagai retweeted
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 👀
We are announcing three new discoveries in mathematics, computer science, and physics about harmonic analysis, complexity theory, and quantum field theory.
openai.com/index/building-sc…
物理の方も面白そうだけど、計算科学の方の、「ある種の計算問題は、本質的に指数時間を必要とする」という予想が誤りと証明、も興味深い。指数時間かかりそうな処理が多項式時間で解けうるなら、量子系を多項式時間で解けるアルゴリズムは存在しうるってこと?まだそういう話じゃないとわかっているけれど、この前の座談会で述べた話と近くて楽しそう
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…
Yuki Nagai retweeted
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
Yuki Nagai retweeted
この記事はマジで面白いので、何度もこすっていきたい。
霞が関から学ぶ、仕事のコミュニケーション────官僚は複雑なステークホルダーをどう調整しているのか? agend.jp/media/kasumigaseki/
物理でも、同じ実験結果を説明するときに二つの異なるシナリオによる異なる二つの理論の論文が存在することがあるが、はたしてこの時の「事実」とはなんだろうか。事実に基づいて、著者たちの意見としてはこちらが正しいと主張しているのであって、事実なのかといわれると、事実と主張しているという感じ?
This quoted post is unavailable.












