Iwao KIMURA @iwaokimura.bsky.social · 08/10/2026K3曲面の積に関する Hodge 予想は撤回されましたね． github.com/openai/math/...github.commath/history.md at main · openai/mathContribute to openai/math development by creating an account on GitHub. 022
Iwao KIMURA @iwaokimura.bsky.social · 08/10/2026「難問を何問も」だし，半平面が動いたのは「左に」動いたんだし，まぁ動揺しているということでご容赦ください． 021
Iwao KIMURA @iwaokimura.bsky.social · 08/10/2026今年の夏以降，AI大手の内部モデルが数学の難問を難問も解いたと（pun intended）いうニュースが続いて，まぁそうだろうなとたかをくくっていましたが，昨日のOpenAIのはグッと堪えた．Riemann予想には届いていないにしても，零点のない半平面が右に動くとは……（形式化が付いていないし非常に長大な議論なので，確定待ちではありますが）．あと，もうちょっと地味だけどSiegel zeroも劇的にすごくて（こちらは草稿も短いし，形式化されている），いろいろな具体的な計算に影響が及ぶ． 172
Iwao KIMURA @iwaokimura.bsky.social · 07/10/2026OpenAIの数学の未解決問題解決、噂されていたような「完全解決」ではないにしても、Hodge予想、Riemann予想（zero-free region)、BSD予想、虚2次体上のmodularity etc に著しい進展が。 あとは、凄いようだけど、もうなんもわからん、という感じ。 github.com/openai/mathgithub.comGitHub - openai/mathContribute to openai/math development by creating an account on GitHub. 050
Iwao KIMURA @iwaokimura.bsky.social · 06/10/2026arXiv の rate limit のせいで，プレプリントがいろいろなウェブサイトに散らばってしまうようになると，検索のカバレッジがさがりそうでちょっと心配． 010
Iwao KIMURA @iwaokimura.bsky.social · 06/10/2026arXiv がrate limit 導入らしい。著者あたり月2本とか。 blog.arxiv.org/2026/10/01/u...blog.arxiv.orgFair Moderation, Equitable Access, and AI: arXiv’s Updated Rate Limit PolicyarXiv, and the scientific community at large, are facing a watershed moment. Scholarly publishing is currently changing at a rapid pace, and we are seeing a… 000
Iwao KIMURA @iwaokimura.bsky.social · 05/10/2026学生証をスマホアプリにして、学籍情報や成績その他個人情報を、それぞれの学生が分散してバックアップするというのを思いついた。改変防止に大学側で署名する。 W3C Verifiable Credentialというのがあるらしい www.w3.org/TR/vc-data-m...w3.orgVerifiable Credentials Data Model v2.0A verifiable credential is a specific way to express a set of claims made by an issuer, such as a driver's license or an education certificate. This specification describes the extensible data model… 041
Iwao KIMURA @iwaokimura.bsky.social · 05/10/2026計画停電の前にLinuxサーバのkernel versionを上げて，週明けに再起動したらなぜかkernel moduleの読み込みに失敗して，ネットワークもUSBも使えなくなり往生した．物理的にアクセスできるのでPS/2キーボードとマウスで復旧できたけど :( 010
Iwao KIMURA @iwaokimura.bsky.social · 03/10/2026進入経路を確保してそれを売る商売，進入経路を買ってランサムウェア攻撃を仕掛ける商売，etc が売り買いする市場があるとか．世界基準の治安を想定して対策しないといけないし，大変な時代になりました． unitis.jp/articles/219...unitis.jp辻伸弘氏が語る最新セキュリティ脅威と2026年の対策 侵入前提でも「防御を簡単に諦めない」ランサムウェア攻撃をはじめ、サイバー攻撃の分業化が進み、攻撃者の裾野が広がるなか、企業に求められるセキュリティ対策も刻々と変化しています。近年の動向を踏まえて、企業は2026年にどのような対策に取り組むべきなのでしょうか。… 011
Iwao KIMURA @iwaokimura.bsky.social · 03/10/2026識別子を削除したデータや集計値から，元データの情報がどの程度復元できるか，それを防ぐにはどうするか，例えば差分プライバシー，という授業を後期から始めたばかりなのに，免許証券面の写真データが流出しました，というニュースが大々的に報じられたりすると，出落ちというかなんというか． 000
Iwao KIMURA @iwaokimura.bsky.social · 03/10/2026「個人情報が流出しました」「現在まで悪用され形跡はない」といった報道を見るにつけ，どうやって「悪用された形跡がない」と分かるのかというのが謎．流出したデータに識別子が残っていなくても，複数の流出データを突き合わせて再識別できることが多いけど，その場合はここの流出データは悪用されたことになるのかならないのか． 171
Iwao KIMURA @iwaokimura.bsky.social · 23/09/2026ζ(5) の無理性を証明したというプレプリント↓．できているような…… zenodo.org/records/2282...zenodo.orgζ(5) is irrationalWe prove that ζ(5) is irrational. The proof constructs integer polynomials Qₙ of degree 37n with 0 < Qₙ(ζ(5)) < exp(−139n²/5) for all sufficiently large n. These polynomials are rationally normalized… 054
Iwao KIMURA @iwaokimura.bsky.social · 22/09/2026あり得たかもしれない未来として，突如彗星のように現れた謎の数学者，顔出しをせず衆人の前で講演もせず，ただarXivにプレプリント，githubにLeanによる形式化を掲載するのみで未解決問題を次々に攻略，そして出現したときと同じく突如消息を絶った……みたいな話でも良かったかも（もちろん中身はAI）．そうだったら，数学者はこぞって内容の消化に励んだだろうか． 053
Reposted by Iwao KIMURA草野貴之 (Kusano Takayuki) @tkusano.jp · 22/09/2026国民クイズ、懐かしいなyoutube.com「国民クイズ」ティーザー予告編 - NetflixYouTube video by Netflix Japan 012
Reposted by Iwao KIMURAyukotan @yukotan.bsky.social · 22/09/2026x.com/debunkerjp/s...t.fxtwitter.com皆神龍太郎 (@debunkerjp)うつろ舟にあったという謎の宇宙文字、その正体はすでに解明済み。オレの論文も読んでね～（NHKBSのダークサイドでも放映してますし） https://chukyo-u.repo.nii.ac.jp/records/201 NHK科学文化部 (@nhk_kabun) を引用 江戸時代、現在の茨城県沿岸に漂着したとされる謎の船「うつろ舟」に関する新たな資料が確認され、東京の国立公文書館で特別展... 033
Iwao KIMURA @iwaokimura.bsky.social · 22/09/2026墓所の主とそれに使える教団みたいにに曲解したくなりますな :) openai.com/index/adviso...openai.comAdvisory Group on Mathematics and Artificial IntelligenceOpenAI is working with an independent Advisory Group on Mathematics and Artificial Intelligence to guide the review and communication of emerging AI results. 041
Iwao KIMURA @iwaokimura.bsky.social · 18/09/2026シルヴァーウィークのお供にいかがでしょうか！ www.maruzen-publishing.co.jp/book/b101315...maruzen-publishing.co.jpシルヴァーマン 代数学 - 丸善出版 理工・医学・人文社会科学の専門書出版社木村 巌 訳 0152
Reposted by Iwao KIMURAEMS Press @ems-press.bsky.social · 15/09/2026🎉 Warmest congratulations to Jean-Pierre Serre on his 100th birthday! We are delighted to mark this remarkable occasion with the new issue of the EMS Magazine, featuring an extensive interview with Serre by Javier Fresán. 📖 Read the interview and explore the issue: euromathsoc.org/magazine/iss... 055
Iwao KIMURA @iwaokimura.bsky.social · 14/09/2026AIが生成した膨大な形式検証（Leanで書かれた証明）を人間向けに書き直す作業も、仕事としてカウントするようにするのはコミュニティ側の対応ですよね。 せっかくただで大問題を解いてくれてるのだから、もっと上手くやればいいのでは😗 040
Iwao KIMURA @iwaokimura.bsky.social · 09/09/2026American Math SocietyのPresidentとCEO名義でステートメントが出てますね．えらく対応が早い印象． www.ams.org/news?news_id...ams.orghttps://www.ams.org/news?news_id=7686 051
Iwao KIMURA @iwaokimura.bsky.social · 09/09/2026NS方程式の論文もOpenAI名義で，物理の大規模実験みたいになりつつある．もともと数学では，著者順はアルファベット順が普通で，著者順に貢献度をエンコードするという習慣はありませんでしたが，AIが解いた，AIが形式化した，では，誰が著者かも判然としないですね． 020
Iwao KIMURA @iwaokimura.bsky.social · 09/09/2026物理で、原子核実験の研究がしたかったら粒子加速器にアクセスできるグループに属してないといけないように、数学も大規模AIにアクセスできるグループに属してないといけないようになるのかなぁ。 031
Iwao KIMURA @iwaokimura.bsky.social · 09/09/2026紆余曲折の末、やはりNavier-Stokes方程式の有限時間特異性解が構成されたらしい。AIはすごいなぁ（棒） openai.com/index/navier...openai.comOn the Navier–Stokes Millennium Prize ProblemWe’re sharing an AI-generated solution to the Navier–Stokes Millennium Prize Problem, including a writeup and a formal proof in Lean. 045
Iwao KIMURA @iwaokimura.bsky.social · 09/09/20262つ折スマホが各社から出るなか，3つ折スマホも発表されており（HUAWEI）この調子で折数が順調に増えて，お寺でお土産に売ってる般若心経（折り本）みたいなものに進化していく…… consumer.huawei.com/en/phones/ma...consumer.huawei.comHUAWEI Mate XT ULTIMATE DESIGN Specifications - HUAWEI GlobalView full specifications of HUAWEI Mate XT ULTIMATE DESIGN, including available colours, screen, camera, battery life, storage, and more. 031
Reposted by Iwao KIMURAJordan Ellenberg @jsellenberg.bsky.social · 08/09/2026quomodocumque.wordpress.com/2026/09/07/f...quomodocumque.wordpress.comFinite-time blowupInteresting developments tonight, as Levent Alpöge and Tristan Buckmaster announce that after a fair amount of work they have constructed examples of finite-time blowup for a broad class of PDEs in… 064
Iwao KIMURA @iwaokimura.bsky.social · 05/09/2026偶然にも同じことを考えてました。AIが賢く（物知り）になりすぎて、ナウシカに出てくる、土鬼の墓所の主みたいだな、と。夏至と冬至に1行ずつ、知恵を授けてくれるんですよね。 member.ipmu.jp/yuji.tachika...member.ipmu.jpAI をつかってみて思うこと (2026年9月4日)2026年初夏に、最新LLMが研究に使えるようになったと聞いたので、7月8月と Anthropic の Claude Fable を使ってみていました。その過程でいろいろ思ったことを、徒然なるままに書いておこうと思います。未来に読み返して思うこともあるでしょうし。 084
Iwao KIMURA @iwaokimura.bsky.social · 05/09/2026Fermat予想の証明が形式化されたらしい．驚いて言葉がないです： www.anthropic.com/research/for...anthropic.comFormalizing Fermat's Last TheoremAnthropic is an AI safety and research company that's working to build reliable, interpretable, and steerable AI systems. 072
Iwao KIMURA @iwaokimura.bsky.social · 04/09/2026自動車メーカーがF1やラリーに参戦したりしなかったりするように，AI企業が数学や数理科学研究に参加したりしなかったり．プロドライバーと数学者が並んで見える． 021
Iwao KIMURA @iwaokimura.bsky.social · 04/09/2026AI時代の数学研究についてつれづれ考えるに，モータースポーツみたいになっていくのでは？と思ってAIに聞いてみたところ，T. Taoの文章を紹介された（先日のICMでの講演らしい）： arxiv.org/abs/2608.167...arxiv.orgMathematics in the age of AIAn essay, based on a public lecture delivered at the 2026 International Congress of Mathematicians, on how the mathematical community might respond to the arrival of artificial intelligence tools… 021
Reposted by Iwao KIMURABookness and Thereness 本と出版と情報とその周辺のニュースまとめ @bookness.bsky.social · 04/09/2026「三省堂書店池袋本店」12月末で閉店 池袋駅直結の大型書店 「あまりにも衝撃的で言葉もない」惜しむ声 www.sponichi.co.jp/society/news... 過去記事参照： x.com/Bookness2/st...sponichi.co.jp「三省堂書店池袋本店」12月末で閉店 池袋駅直結の大型書店 「あまりにも衝撃的で言葉もない」惜しむ声 - スポニチ Sponichi Annex 社会東京・池袋の大型書店「三省堂書店池袋本店」が、12月31日をもって閉店することがわかった。同店公式Xが発表した。 01521
Iwao KIMURA @iwaokimura.bsky.social · 21/08/2026某グラント，研究計画書を出させてから「無作為抽出により不採択」は意味不明だ．応募の意思のある者を対象に無作為抽出してから，研究計画書を出させれば良いのに． 050
Iwao KIMURA @iwaokimura.bsky.social · 14/08/2026`529` Overloaded だし status.claude.com がなんか変だし，帰るか 010
Iwao KIMURA @iwaokimura.bsky.social · 13/08/2026今度はHadamard行列だ 😵💫 x.com/__alpoge__/s...x.comhttps://x.com/__alpoge__/status/2087504785952182273 000
Iwao KIMURA @iwaokimura.bsky.social · 13/08/2026ウクライナが，北朝鮮からロシアへの兵力・兵器供給を指摘し日本や韓国などに関与を求めるのと軌を一にして，プーチン大統領北方領土訪問，と読むのかなぁ． 030
Iwao KIMURA @iwaokimura.bsky.social · 11/08/2026Claudeの未公開モデルが，今度はRiemann予想に関連する問題に挑戦して，次のような結果を得たらしい：「Riemann zeta関数の零点のうち，虚部がTより大きく2T以下のものの（重複度込みの）個数に対して，同じ虚部の範囲で，臨界直線上にある相異なる零点の個数の比の下限が2/3以上である」 その他． www.anthropic.com/research/rie...anthropic.comLearning more about Claude's mathematical capabilitiesAn unreleased version of Claude has made strides on a problem related to the Riemann hypothesis. It improved the lower bound for the fraction of zeros of the Riemann zeta function that satisfy the… 140
Iwao KIMURA @iwaokimura.bsky.social · 11/08/2026Eテレで，杉井ギサブロー監督「銀河鉄道の夜」放映中．高校生の時に観て，衝撃を受けた．特に，最後に朗読される謎の文章（当時はそう思った）には……．宮沢賢治の童話を片端からあたって見つけられず，詩集の冒頭にあるのを見つけた． www.nhk.jp/g/blog/r76-v...nhk.jphttps://www.nhk.jp/g/blog/r76-vaa1g/ 030
Iwao KIMURA @iwaokimura.bsky.social · 07/08/2026雨は上がったし "You've hit your session limit" だし，帰るか……？ 010
Reposted by Iwao KIMURAHacker News JP @hacker-news-jp.bsky.social · 04/08/2026💡 Summary: Pandocは2006年にJohn MacFarlaneがGPLで公開した文書変換ツールで、最初はMarkdown、reStructuredText、HTML、LaTeXなどを相互変換する3,000行程度のHaskell製品として始まった。その後、2008年の1.0以来、数多くの入力/出力形式の追加、共通仕様の議論と普及、LuaフィルターやウェブAPI、表現力の拡張などを経て、現在では複数の派生パッケージや大規模なエコシステムを持つ、Haskell界で最も人気のあるプログラムへと成長した。著者は自身の誕生日を機に、 (1/2) 111
Reposted by Iwao KIMURAHacker News JP @hacker-news-jp.bsky.social · 04/08/2026Pandocの20年 Twenty Years of Pandoc 🔺 288 💬 25 🔗 HN Post | Articlepandoc.orgPandoc - twenty-years-of-pandocA universal document converter 132
