惑星と衛星のなす系を、生命環境として理解する。東京理科大学理学部第一部物理学科PI6年生。惑星圏物理学 / 木星 / 土星 / 氷衛星 / 火星 / 水星 / 系外惑星 / 月 / プラズマ / 大気 / 内部海 / 生命起源 / ひさき / JUICE / LAPYUTA / BepiColombo / 発言は個人略
5.2AU
Joined January 2021
- Tweets1.3K
- Following636
- Followers685
- Likes5.1K
Tomoki Kimura retweeted
#キャルちゃんの宇宙物理メモ
最近はプラズマ物理学にうつつを抜かしております。今回は基礎方程式の導出という、プラズマ運動論の下準備です。クリモントビッチ方程式・ボルツマン方程式・ブラソフ方程式、そしてランダウ方程式までじっくりと導出しています😌
github-nakasho.github.io/pla…
Tomoki Kimura retweeted
EMSが公式表明。「OpenAIによるナビエ・ストークス方程式 ミレニアム懸賞問題の解決の発表は、数学の歴史における金字塔である。これは、未解決の大問題がついに解決されたかもしれないからというだけではない。論文が作成されたプロセスそのものの故でもある。論文の著者はOpenAIとなっているが、数学者とAIモデルの協働による成果であることが明記されている。重要なのは、この解決策が突如として生まれたわけではなく、数学者のディエゴ・コルドバ、ルイス・マルティネス＝ゾロア、ファン・ジェンが提案した戦略と密接に関連している（OpenAI論文の参考文献[6-8]）という点だ。また、Anthropicのレベント・アルポゲやNYUのトリスタン・バックマスターといった数学者たちによっても、近年進展がもたらされていた。そしてこれらは言わずもがな、世界中の数学者たちによる何十年にもわたる進展の積み重ねに依拠している。
OpenAIが巨人の肩の上に立っていたことは疑問の余地がないが、彼らの数学者チームとマシンがこの解決策に到達したスピードは驚異的である。人間とマシンの相互作用によって生み出される新しい数学の世界において、著者権や功績をめぐる問題は今後解決される必要があるだろう。懸念される点の一つは、今回使用されたモデルがOpenAI内部のものであり、一般にアクセスできないという事実だ。オープンサイエンスと科学における機会均等の精神に照らせば、これは数学界が取り組むべき重大な課題である。しかし、これらの困難のいずれをも軽視することなく、今はこの偉業に感嘆し、祝意を表したい。」
The EMS has published a statement on OpenAI’s announced solution to the Navier–Stokes Problem.
“Questions of authorship and credit [...] will need to be resolved.”
The statement also addresses open science and access to research tools.
Read statement: euromathsoc.org/news/225
Tomoki Kimura retweeted
複雑系の数理の大家であるStrogatz教授がメディアでとても良い説明をしているので、今回のナビエ・ストークスの件について、興味がある人は見てほしい。
youtu.be/N88n3ndUK1s?t=706&i…
Tomoki Kimura retweeted
the whole timeline, from the equations to today:
1822: navier writes the equations down.
1845: stokes gets them right, and his name on them.
1934: leray shows weak solutions exist forever, and leaves smoothness open.
2000: clay puts $1m on that gap. fefferman writes the official statement, four options.
2014: luo and hou watch 3d euler blow up in numerics.
2016: tao proves blowup for an averaged navier-stokes.
2021: elgindi proves euler blowup for rough data.
2023 to 2026: córdoba and martínez-zoroa build forced blowups, with a rough force.
then this year:
aug 15: buckmaster and alpöge get smooth-forced blowup for boussinesq and euler, with claude and codex.
aug 22: lean checks it.
aug 28: per wired, openai starts training its math model.
sep 1: per axios, openai's run starts, after researchers hear rumors.
sep 3: buckmaster emails openai to say what they have.
sep 6, sunday: bubeck says openai had the final solution that morning. buckmaster says he was told on the afternoon call.
sep 8, 4am: buckmaster and alpöge post three papers and the lean repo. buckmaster posts his statement.
sep 8, 17:20 utc: openai posts "we're sharing a solution to the navier-stokes millennium prize problem."
nitter.cf/i/status/2097374640582…
We’re sharing a solution to the Navier-Stokes Millennium Prize Problem, one of the deepest problems at the frontier of mathematics.
The proof was produced by a group of agents, using an OpenAI next-generation model significantly more capable than GPT-6 Astra.
The problem concerns whether the description of smooth three-dimensional fluid motion modeled by the Navier-Stokes equations can break down. It has remained unresolved for roughly 90 years.
Tomoki Kimura retweeted
ちょうど今、NYの流体力学のコンファに来ている。
詳しい理論家と状況を整理したら、一般的な結論とは言い難いというのが所感。Forcingがcontinuousかdiscreteかでも話が変わり、finite-time blowupが起きるケースは前提条件がチューニングされたケースに見え、物理的には意味がなさそう。
We’re sharing a solution to the Navier-Stokes Millennium Prize Problem, one of the deepest problems at the frontier of mathematics.
The proof was produced by a group of agents, using an OpenAI next-generation model significantly more capable than GPT-6 Astra.
The problem concerns whether the description of smooth three-dimensional fluid motion modeled by the Navier-Stokes equations can break down. It has remained unresolved for roughly 90 years.
Tomoki Kimura retweeted
ディナーで自分を含めた流体力学の専門家ら(数理物理学者多数含む)と議論した。
OpenAIの166pに及ぶAI生成のレポートは中身に乏しく、ただのパフォーマンスだとの結論に至る。
AI4Scienceをやっている人曰く、数億円相当のトークンを消費しているとの事。
証明を実際の科学者に委ねている点が悪質。
Tomoki Kimura retweeted
note 更新：note.com/tadas_nakamura/n/n2…
なぜ磁化プラズマは無衝突でも流体方程式で書けるのか？
Tomoki Kimura retweeted
井上峻さん(博士3年)のお仕事。
恒星 UX Arietis の巨大なフレアを、X線望遠鏡 NICER と、紫外線のひさき衛星で同時観測。
恒星フレアでは鉄の輝線が 6.4 keV に現れることがあるのだけれど、これがＸ線（光電離）に起因するか、高速な電子（衝突電離）に起因するか、を観測的に特定できた。
論文
Origin of the Stellar Fe Kα Line Clarified with Far-ultraviolet and X-Ray Observations of a Superflare on the RS Canum Venaticorum–type Star UX Arietis
iopscience.iop.org/article/1…
恒星フレアの鉄輝線はどう生じるのか？―X線と紫外線の同時観測で起源を特定― kyoto-u.ac.jp/ja/research-ne…
Tomoki Kimura retweeted
共著論文のプレスリリースです。NICERでのX線観測とJAXAのひさき衛星での紫外線観測の連携によって、鉄輝線を用いた巨大恒星フレアの発生場所や幾何構造の特定という問題に取り組んでいます。
kyoto-u.ac.jp/ja/research-ne…
Tomoki Kimura retweeted
既にシラバスが公開されていると聞いたのでアナウンスです。4月30日に東京理科大学にて特別講義を行います。宇宙暗黒時代や宇宙の夜明け、宇宙138億年の歴史を辿る内容を話す予定ですので、理科大の皆さん、お楽しみに！
Tomoki Kimura retweeted
米上院及び下院の歳出委員会から３つの歳出法案を統合したミニバスが公表された（NASA予算含む）。同法案では（政権による）FY2026NASA予算要求をほぼ全面的に拒絶し、NASA予算はFY2025とほぼ同水準となることに。特に大幅な削減が提案されていた科学部門や教育部門の予算も前年度とほぼ同水準となった。
もちろん、本ミニバスが成立するには、上下両院の本会議を通過することに加え、大統領による署名が必要となるので、今後の動向も注視する必要はある。spacepolicyonline.com/news/g…
Tomoki Kimura retweeted
関西の皆さま、絶景の神戸大学百年記念館にぜひ！
11/23（日•祝）、SGEPSS（←学会です）一般公開イベントのトークショーに出ます
サイン会もあります（お手持ちの本でOK）
⚠️以下で事前予約が必要です
sgepss2025event.peatix.com/ feel-kobe.jp/event/34131/
Tomoki Kimura retweeted
磁気嵐は先ほど一旦ピークを迎えており、日が暮れたとたん既に空に真っ赤なオーロラが現れているかもしれません。全国各地の #オーロラシチズン の皆様から、北の空を撮影するとオーロラが居たかどうか教えて頂ければ嬉しいです。しかし無理は禁物です。どうかクマにご注意を docs.google.com/forms/d/e/1F…
Tomoki Kimura retweeted
この「はかせのトークショー」に登壇します🎤
神戸の方はもちろん、関西方面の皆さん、神戸大からの見事な景色も楽しみに、ぜひご参集ください！
本日10月25日(土)20時より、一般公開イベント「はかせのトークショー」と「実験A」の事前予約が開始されます💫皆様のお越しをお待ちしております！
sgepss2025event.peatix.com
Tomoki Kimura retweeted
Reminder that @ESA_JUICE flies past Venus this weekend. The spacecraft was designed to feel at home in the cold, dark environment of the Jupiter system, and it is too hot at Venus to turn the cameras on. Pics or it didn’t happen? You’ll have to trust us on this one.