yasu

アラカンのおじーさん。元法務。公認内部監査人（CIA）,
Kaggle Competitions Expert 🥉x2(solo)

[John K Happy @manjiroukeigo]

数学がギュられました。次は物理学、化学であっという間に生命科学分野がこうなります

[Hal Tasaki @Hal_Tasaki]

Ten years ago, my AKLT and KT papers were suddenly in the spotlight after Haldane’s Nobel Prize. Today, my lesser-known 2018 and 2025 papers seem to be getting some attention --- ironically, because a new OpenAI model solved a problem I had long wanted to tackle.

[Hal Tasaki @Hal_Tasaki]

For years, my long-term life plan was to keep trying to prove the Haldane gap for as long as my brain kept working. Now AI has forced me to revise that plan.

Still, perhaps I should have seen this coming: I chose HAL as my first name when I wrote my very first paper.

[Jared Duker Lichtman @jdlichtman]

Another one: The Kakeya problem in 4-D!

Just this summer, Hong Wang won the Fields medal for the Kakeya proof in 3-D (Wang-Zahl, 2026)

https://t.co/NygzEfU4CZ

[松田 修 @matsuda_osamu]

参加します。搬入がはじまって周りをウロウロしたんですが、僕は「ニュータウン」なるものとつくづく縁のない人生だったのだなと。。。ってことで、片親だらけの街育ち、「インターフェアレンス」係として呼ばれております。よろしくお願いします。

[yasu @yakkun_o]

監査役が業務に利用している生成AIの契約形態のうち8％が「社内独自開発・カスタマイズ生成AI」だと。ここなんだよな、悩むの。

[yasu @yakkun_o]

日本監査役協会　「生成AIと監査役等－利用状況および監査対応－」を公表 - ■ＣＦＯのための最新情報■ https://t.co/3edVt458bq

[Dan McAteer @daniel_mac8]

OpenAI is downplaying this for PR reasons. If you’re a mathematician, you must feel like a nuclear bomb hit, and you’re at ground zero.

Reasoning models are two years-old. In that time they went from incapable of basic arithmetic to solving problems humans couldn’t solve for decades.

Math is only the beginning. AI will revolutionize the entirety of the human scientific endeavor. Most of us don’t appreciate what that means.

What a time to be alive!

[Alex Kontorovich @AlexKontorovich]

Quasi-RH?!?!???! Are you kidding me? If a human did this, it would be an instant Fields Medal, no questions asked.

RH says zeta has no zeros in Re(s)>1/2. The best we had until a second ago was a region that got thinner and thinner the higher up the imaginary axis you go. I thought maybe they’d fatten that up a bit, that’d be a massive breakthrough. But no. They got a zero free strip!!!! Insane

[Daisuke Okanohara / 岡野原 大輔 @hillbig]

OpenAIが数学の重要な未解決問題4000問に挑戦し、そのうち372件の結果が得られたと報告している。
研究コミュニティが提示してきたオープン問題を、AIが大量並列に解いていく時代に入ったと言える。

私は数学の専門家ではないため、それぞれの成果がどの程度重要なのかを正確に評価することはできないが、例えば以下のような問題を解決したと報告している。

・整数係数多項式が有理数解を持つかどうかを判定するアルゴリズムは存在しないことを証明したと主張した。いわゆる「ヒルベルトの第10問題」の有理数版。

・全次元・全余次元の複素CMアーベル多様体について rational Hodge conjecture を証明し、さらにMilneの定理を通じて、有限体上のすべてのアーベル多様体について Tate conjecture、さらに Hodge standard conjecture を導くと主張。

・Mahler conjectureについて、対称版だけではなく、非対称の一般Mahler conjectureまで全次元で解決したと主張。

・理論計算機科学における重要な未解決問題であるKhotのUnique Games Conjectureを肯定的に解決したと主張。

・有限次元位相多様体に忠実に、かつ連続に作用する局所コンパクト群はLie群でなければならない、というHilbert–Smith予想を、すべての有限次元について解決したと主張。

未公開モデルを利用し、解決に至ったケースでは、1結果あたり平均約3時間で生成され、しかも多数の問題を並列に解くことができる。これが続くのであれば、研究の生産様式そのものが大きく変わるといえる。

最近議論されていたような、オープン問題が枯渇する時代、あるいはAIが次々と新しい結果を提示する一方で、人間による理解や検証、さらには社会への接続が追いつかなくなる時代に入りつつあるといえる。

いま最も明確にこの変化が現れているのは数学やコンピュータサイエンス、理論物理だが、今後は隣接領域（理論でない物理、化学、生命科学など）でも、同様の変化が起きてくると考えている。
これらの領域には実験や現実世界の観察が含まれるため、数学のように論理的思考だけで閉じるわけでなく同じとはいえない。しかしながら、既存の研究成果を大量に読み込み、そこから次に検証すべき仮説や新しい結果を次々と導き出し、シミュレーションや自動実験を組みわせることで、同じような変化が起きてくるといえる。

[yasu @yakkun_o]

RT @Kiwamu_Watanabe: 数学の722本の論文を公開。100以上のlong-standing open problemを解決とのこと。まさかの私が取り組んでいた generalized Mukai conjecture も解けたとか言ってるんですけど。
それどこ…

[Samip @industriaalist]

Backprop has been the only credit assignment algorithm capable of training large neural nets.

Introducing Dust, the first zeroth-order method to pretrain transformers to approach and sometimes even *exceed* backprop with large amounts of computation (bitter lesson!)

- Dust is on the order of 1,000 to 10,000x more compute efficient than EGGROLL, the state-of-the-art ES method, for training transformers.

- We chose pretraining transformers because it's arguably the hardest task possible for zeroth-order optimization.

- Search in high dimensions is really misunderstood: zeroth-order usually gets better with overparameterization, not worse, i.e. at a fixed population size, larger models (up to 120x) reach a lower loss than smaller ones.

- Backprop-like gradients emerge from a large population of activation perturbations, and the alignment holds up at every scale we tested, up to 1B tokens, which is critical for scaling.

The core idea is a *virtual population*, which helps scale to large populations in transformers by perturbing activations in parallel.

w/ @bishmdl76, @cs_serdar, @akshayvegesna

[yasu @yakkun_o]

なんだ「登記情報システムにおいて登録免許税額の自動計算機能が整備されることに伴い…」っていうのは、法務局側のシステムの話かあ。そのためにはお前らがこの書式でキッチリと情報提供しろと。手入力でな。いつまでたってもパソコンは清書マシン。情報は全て行政側が持ってるんだからヨシナニシテ。

[Takuto Wada @t_wada]

「Mythos 級の能力」を持つ Local LLM が出始めたことも、世界中でセキュリティインシデント増加の歯止めがきかなくなってきている原因のひとつであろうと認識しています（いろいろある中の、無視できないひとつ）

[楢木 毅/公認会計士/CFO @TakeshiNaraki]

AIにより経理に人がいなくなると言われて久しいけど本当にそうなると改めて実感している。弊社もかなりAIにより人手作業が激減（かつ超スピードアップ）していて、遅くとも1年後くらいには経理業務の殆どはAIに置き換わる。経理には設計と運用確認できる責任者が1人いれば大丈夫（ここが超重要）。

[Eric S. Raymond @esrtweet]

This morning it finally came home to me. I will probably never write another program in C again.

Which is a big deal. I've been writing C since 1983. 43 years is a long time and a lot of skill investment.

It's not like I didn't see this coming. I've been writing about the decline of C for years, predicting that it would be displaced by newer systems languages with better safety guarantees and more coherent designs.

It wasn't better language design alone that did it, though. It's how good LLMs now are at generating code from specs and prompts.

This means I can speak a program into existence in Rust or Go without any more effort than would be required to conjure it up in C. What makes this particularly dramatic is that I never learned to hand-code in Rust. And now - I don't need to.

What a long, strange trip it's been.

[公団ウォーカー 照井啓太 @codanwalker]

住宅市場に対して国が介入したいのであれば、やるべきことは変動ローン組んだ人に金を配るのではなく、昔の日本住宅公団のような公的セクターが安価かつ質が高く広い分譲・賃貸住宅を大量供給し、数の力で相場を引下げることです。多摩NTは民間の乱開発を止めるため意図的に過剰供給を行いました。

[yasu @yakkun_o]

マルケ展@ SOMPO美術館
新しくなってから初めてきたかも

[猫3級 cpa/uscpa @ariusa1020]

@shiozukemann @Calahan44 この人
https://t.co/xdhtmIt7uy

[塩漬けマン＠投機ブログ @shiozukemann]

ニデックの記者会見凄い質問が出た
記者「ニデックを長年取材しているが、現役の幹部や社員に話を聞くと、公認会計士のマツナガさんは永守元会長の打ち出の小槌だという評価はいくらでも出て来る。マツナガ氏が永守さんの都合の良い決算書を作っていたという事だが、それを許した監査法人の責任は？」
会社「マツナガ氏はもう退職しているので回答しない」