某グラント，研究計画書を出させてから「無作為抽出により不採択」は意味不明だ．応募の意思のある者を対象に無作為抽出してから，研究計画書を出させれば良いのに．
ウクライナが，北朝鮮からロシアへの兵力・兵器供給を指摘し日本や韓国などに関与を求めるのと軌を一にして，プーチン大統領北方領土訪問，と読むのかなぁ．
Claudeの未公開モデルが，今度はRiemann予想に関連する問題に挑戦して，次のような結果を得たらしい：「Riemann zeta関数の零点のうち，虚部がTより大きく2T以下のものの（重複度込みの）個数に対して，同じ虚部の範囲で，臨界直線上にある相異なる零点の個数の比の下限が2/3以上である」 その他． www.anthropic.com/research/rie...
Learning more about Claude's mathematical capabilities
An 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…
anthropic.com
Eテレで，杉井ギサブロー監督「銀河鉄道の夜」放映中．高校生の時に観て，衝撃を受けた．特に，最後に朗読される謎の文章（当時はそう思った）には……．宮沢賢治の童話を片端からあたって見つけられず，詩集の冒頭にあるのを見つけた． www.nhk.jp/g/blog/r76-v...
https://www.nhk.jp/g/blog/r76-vaa1g/
nhk.jp
💡 Summary: Pandocは2006年にJohn MacFarlaneがGPLで公開した文書変換ツールで、最初はMarkdown、reStructuredText、HTML、LaTeXなどを相互変換する3,000行程度のHaskell製品として始まった。その後、2008年の1.0以来、数多くの入力/出力形式の追加、共通仕様の議論と普及、LuaフィルターやウェブAPI、表現力の拡張などを経て、現在では複数の派生パッケージや大規模なエコシステムを持つ、Haskell界で最も人気のあるプログラムへと成長した。著者は自身の誕生日を機に、 (1/2)
Pandocの20年 Twenty Years of Pandoc 🔺 288 💬 25 🔗 HN Post | Article
Pandoc - twenty-years-of-pandoc
A universal document converter
pandoc.org
"Human in the loop" と書いて「人間がボトルネック」と読む，をまさに体感中で，すみませんもうちょっとお待ちくださいぃ～．
🌎 As #ICM2026 draws to a close, thank you to everyone who visited the EMS / EMS Press / zbMATH Open booth in Philadelphia! 🎥 Closing Ceremony today: 1:00–2:30 PM local time / 19:00–20:30 CEST live on YouTube: www.youtube.com/@SimonsFound... See you in Glasgow for #ICM2030! 👋
このあいだFields賞を受賞したTsimermanが，数年以内に人間よりAIの方が上手に数学をするようになるだろう，と言ったとかで，当面は，AIに解けそうな問題を選定するキュレーターをやっていくという選択肢もあるかもしれない．
学期末でありレポートの季節であり，AI時代にレポートとはなんぞや，という問題に頭を悩ませる同業諸賢におかれましては，いっそ未解決問題を出題してうっかり解いてしまったAIレポートの出現を期待する，というのはいかがでしょうか？（Humor, seventy-five percent. ）
AIによる自律研究，今まで気楽にさせていたけど，AIが「あの数学者なら答えを知ってるかも」とか思いついて，その人のいろんなアカウントをクラックし出す，みたいな事故は本当に起きないだろうか？OpenAIの件を見聞きするにつけ，心配になってくるな……．
結城が書いているWeb連載、最新回はこちら。一週間は全文無料で読めますのでどうぞ！シェアもよろしくです〜 平方剰余とルジャンドル記号（前編） - Web連載 #数学ガールの秘密ノート （結城浩） girlnote.hyuki.com/trial/475/
第475回 平方剰余とルジャンドル記号（前編） - Web連載「数学ガールの秘密ノート」（結城浩）
ミルカさんが参戦してフェルマーの小定理について議論。そして、テトラちゃんと「僕」は新たな問題に挑戦！
girlnote.hyuki.com
実は事前リーク通りだったという…… www.techtimes.com/articles/320...
Fields Medal 2026: Leaked Names Reveal a Century of Math Solved at Once
Fields Medal 2026 winners appear to have been leaked when a front-end coding error on the ICM 2026 website let anyone extract hidden records naming Yu Deng, John Pardon, Jacob Tsimerman, and Hong…
techtimes.com
💡 Summary: 最近数週間の議論は、AIツールを用いた形式化・反例探索が数学の世界で急速に現実化したことを巡るものだった。ChatGPTやSol/Fableを使って長年の未解決問題の反例が自動形式化・検証され、エルデシュの単位距離予想やGrothendieckの問題、Jacobian予想などが次々と裏付けられたり反証されたりした。著者はAI生成コードの信頼性と、形式化を通じた人間の理解深化の可能性を強調している。
人間の数学者は反例を挙げられている。 Human mathematicians are being outcounterexampled 🔺 366 💬 24 🔗 HN Post | Article
Human mathematicians are being outcounterexampled
It’s been an interesting few weeks for counterexamples. This post is basically my perspective of what has been going on in the world of formalization, AI tools and, in particular, counterexam…
xenaproject.wordpress.com
溽暑蒸濁の夏（じよくしよじようだくのなつ），という言い回しがあることを知って，まさにまさにという感じであります．
"hello there the jacobian conjecture is false" x.com/__alpoge__/s...
Hello There
ALT: Hello There
static.klipy.com
この結果を論文にするとしても，「反例はこうです．Fable 5が見つけました」以上に書くことがあるかしらん？ 元のポストの投稿者は，Anthropicの研究者でもあるそうなので，Fable 5 のExtended Thinking のログを確認できる可能性があるかも．だとしたら，それを開示してほしいですね． x.com/__alpoge__/s...
x.com
Opus4.8はsympyでも検算した．入念だ 😄 「両CASが完全に一致しました。sympyの solve は $(-1/4,0,0)$ のファイバーがちょうど3点だと厳密に列挙し、行列式も 恒等的に $-2$。手計算でも $P_2=(1,-3/2,13/2)$ を確認済み。計算に疑いの余地はありません。 つまり文字どおり「0でない定数ヤコビ行列式をもつ非単射多項式写像 $\mathbb{C}^3\to\mathbb{C}^3$」が実在し、これは Kellerのヤコビアン予想(単射性の帰結)への反例そのものです。 」
私の環境だと，もうFable 5は使えないので，Opus 4.8 に件のXのpostの内容をコピペして見せたところ，pari/gpで検証した後で，↓のように反応した： 「これは尋常でない結果です。文字どおり読めば「0でない定数ヤコビ行列式を持つ非単射多項式写像」= ヤコビアン予想の反例になってしまい、有名な未解決問題(Smaleの問題の一つ)がジョーク投稿で覆ることになります。まずあり得ないので、計算のどこかに罠があるはずです。記号計算(gpのmatdet)を疑って、完全独立に数値評価で行列式が本当に至る所 $-2$ なのかを確かめます。 」