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

千葉県北西部。米国ボストン周辺に居た事も
Joined June 2011
今年の五月に技術評論社さんからJulia言語の本が出ます。 表紙できました。 Juliaではじめる数値計算入門 | 永井 佑紀 連立一次方程式 非線形方程式 固有値 数値積分 補間と近似 常微分方程式 偏微分方程式 のアルゴリズムをJuliaで書いてます。 amazon.co.jp/Julia%E3%81%A7%…
6
123
7
511
211,172
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 👀
75
314
52
3,676
290,167
物理の方も面白そうだけど、計算科学の方の、「ある種の計算問題は、本質的に指数時間を必要とする」という予想が誤りと証明、も興味深い。指数時間かかりそうな処理が多項式時間で解けうるなら、量子系を多項式時間で解けるアルゴリズムは存在しうるってこと?まだそういう話じゃないとわかっているけれど、この前の座談会で述べた話と近くて楽しそう
6
1
38
3,003
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…
493
1,399
604
11,735
1,640,880
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
107
233
115
2,379
832,940
でもなあ、ChatGPT Pro プラン契約してるから、codexの性能が良すぎてローカルLLMで何をすれば的なのはある。M2 MacBookProは96GBメモリなのでいまでも何か入れられるか
1
1
10
3,423
LLMが走るMacが欲しくなってきた
8
661
大学教員はマルチタスクとは言うけれど、日頃の中3中1年長三人組の朝の支度でのマルチタスクぶり(常に声かけられて作業中断させられる)の方がむしろ鍛えられている感。
24
1,753
学習物理学の座談会動画、なぜサムネが自分になってるんだ
10
788
学習物理学・緊急オンライン座談会「OpenAI論文と理論物理」の完全版を公開しました。 2026年9月にOpenAIはナビエ・ストークス方程式に関する結果を発表し、10月6日には数学の原稿722編を公開しました。この座談会では、理論物理、数学、計算物理の研究者が、公開された論文を各自の分野からどう読んだか、研究者の仕事や論文・査読、若手の育成がどう変わるかを議論しました。後半では、視聴者から寄せられた質問に答えています。
1
19
76
8,574
物理でも、同じ実験結果を説明するときに二つの異なるシナリオによる異なる二つの理論の論文が存在することがあるが、はたしてこの時の「事実」とはなんだろうか。事実に基づいて、著者たちの意見としてはこちらが正しいと主張しているのであって、事実なのかといわれると、事実と主張しているという感じ?
This quoted post is unavailable.
4
1
26
3,741
一般公開中は一般人に偽装していたのに部品さんに見破られてしまった
3
756
東大柏キャンパス一般公開で部品さんに遭遇したけど、もしかして初めましてだったのだろうか
1
1
34
7,286
絵から3D、盛況だったようでよかった
1
645
東大スパコンMiyabiとチーバくん
1
20
1,168
新領域生命系でDNAビーズづくり体験のところにいた。娘(6)頑張って作ることができた
4
716
東大柏キャンパス一般公開、今日は基本娘(6)と一般人親子として参加するのだけれど、どこいこうか迷うな
10
1,149
JuliaCon Local Tokyo 2026(12/4-5、東大柏キャンパス)の 発表を募集中 です。Juliaに関する講演・LT・ポスターを日本語または英語で。締切は11/1 23:59 JST、現地発表のみです。一般参加登録は後日お知らせします。 pretalx.com/juliacon-local-t… #JuliaLang #Julia言語
2
2
816