折池雄太

Automated Scientific Discovery / AI / Robotics
AI4Math情報まとめ: @AutoRes_Math

[折池雄太 @YutaOriike]

エルデシュ問題#514の第3問について自然言語証明と形式化を行いました。フォーラムのステータスが partial から solution になっているため、じきに OPEN から PROVED に変わるのではないかと思います。githubの方でも名前が載りました。
https://t.co/4wBi8CViVO

[Dmitry Rybin @DmitryRybin1]

Dinitz-Garg-Goemans conjecture is false. This graph theory problem was open for ~30 years.

The graph below has fractional flow cost 58. Any unsplittable flow (with capacity violation <=15) has cost at least 60.

Chat with GPT 5.6 Pro where this was found: https://t.co/Oi2PQoab2h

[levent @__alpoge__]

hello there the jacobian conjecture is false thanx to my close friend akhil for asking about it and my other close friend fable for working during the world cup final

((1+xy)^3 z + y^2 (1+xy) (4+3xy), y + 3 x (1+xy)^2 z + 3 x y^2 (4+3xy), 2 x - 3 x^2 y - x^3 z): \C^3\to \C^3, has jacobian determinant -2, and sends (0, 0, -1/4), (1, -3/2, 13/2), and (-1, 3/2, 13/2) to (-1/4, 0, 0)

[金沢工業大学 @KIT_CampusNews]

NVIDIAのジェンスン・フアンCEO（写真右）と金沢工業大学　大澤敏学長（写真左）。
DGXsparkにジェンスン・フアンCEO直筆のサインもいただきました。

2026年7月16日ジェンスン フアン氏主催の招待制レセプション「Japan AI Ecosystem Reception」で（東京都内）

＃金沢工業大学

[NT金沢 @NTKanazawa]

#NT金沢 1日目スタートしました！
2日間よろしくお願いします！

[AIMO Prize @AIMOprize]

The new SU-01 model aims for gold-medal-level performance: https://t.co/Ple0kqWExH

We put it to the test on our unseen AIMO3 problems. Results: Without the harness, it performs approximately similar to gpt-oss-120b: pass@100: 104/110. Tech details below.

[Noam Brown @polynoamial]

@andromeda74356 Riemann hypothesis

[Acer @AcerFur]

Claude Fable 5 result for FrontierMath T4 has just come in and it is vastly SoTA.

[Anthropic @AnthropicAI]

The US government, citing national security authorities, has issued an export control directive to suspend all access to Fable 5 and Mythos 5 by any foreign national, whether inside or outside the United States, including foreign national Anthropic employees.

The net effect of this order is that we must abruptly disable Fable 5 and Mythos 5 for all our customers to ensure compliance.

Access to all other Claude models is not affected.

We apologize for this disruption to our customers. We believe this is a misunderstanding and are working to restore access as soon as possible.

Read our full statement: https://t.co/bwn0sximKZ

[Sakana AI @SakanaAILabs]

AIを作るAIを作る：RSI Lab始動

https://t.co/Tvc1zQyKkk

Sakana AIは、再帰的自己改善(Recursive Self-Improvement、RSI)に取り組む専任の研究グループ「RSI Lab」を、東京で立ち上げます。RSIは、AIがAIそのものを作る仕組みです。

この2年間、私たちはLLM-Squared、Darwin Gödel Machine、Shinka Evolve、ALE-Agent、Digital Red Queen、そしてThe AI Scientistといった研究を積み重ねてきました。いずれも、エージェント用途のために設計されたモデルが研究を自動で行うAIを生み、そのAIがさらに優れたモデルを生み出していく、というひとつの循環に向けた歩みです。

自己改善型AIという発想は、いまや私たちだけのものではありません。2026年に入ってRSIは大きな潮流となり、この考え方を掲げる組織が世界各地で相次いで立ち上がっています。そのなかでSakana AIは、創業以来、計算資源の量に頼らずにAIを開発する独自の方法を切り拓いてきました。

私たちがめざすのは、計算資源を際限なく注ぎ込むことなくRSIを実現することです。計算規模で世界最上位の国と張り合うのが難しい日本だからこそ、取り組む意味のある研究だと考えています。RSIの研究を責任あるかたちで進めるため、これまでの経験も活かしながら、コミュニティの皆様と知見を共有しつつ取り組んでいきます。

国内外から研究者・エンジニアを集め、Sakana AI RSI Labを組成していきます。この取り組みに、さまざまなかたちで関わってくださる皆様と協働できることを楽しみにしています。

[折池雄太 @YutaOriike]

https://t.co/EfLgNlQogx

[折池雄太 @YutaOriike]

deepseekからシャオミに移ったLuo Fuliによると、Opus 4.6に近いエージェント能力を出すには1T以上のパラメータサイズが必要らしい。
https://t.co/6nUvPAijxy

[Takuya Akiba @iwiwi]

イーロン・マスクも興味を持つDiffusionBlocks (ICLR'26)
https://t.co/427dqOT5Fp https://t.co/0qhjlFJnxh

[折池雄太 @YutaOriike]

かつて将棋AIの黎明期において、将棋AIの発展を支えていたのはプロ棋士とは別の専門性を持つAIエンジニアだったと思う。AI4Mathにおける自分の立ち位置はちょうどあの頃の将棋AIエンジニアに近いと感じている。AIエンジニアの視点からプロの数学者とうまく連携していければと思う。

[折池雄太 @YutaOriike]

これからこちらのAI for Math勉強会（pure mathの数学者が多い印象）に参加予定です。
https://t.co/wrZJEvGbOH

[折池雄太 @YutaOriike]

名古屋でセミナーを受けてそのまま東京に向かいます

[🥑 @yujitach]

こちらは Harvard の知人の Xi Yin が準備中の場の量子論の教科書(?)のようです: https://t.co/68CHw49BRi pdf はおいてないので、clone して manuscript/tex/main.tex を自分でコンパイルする必要はありますが。既に3000頁ぐらい(!)あります。すこし前から彼は、LLM つかって既存の場の量子論の知識を

[折池雄太 @YutaOriike]

spread1000に申請したテーマ、sakana AIが水面下で進めてるんじゃ…？と思わされるセミナーだった。

[NLPコロキウム @nlp_colloquium]

🚀 #NLPコロキウム の開催案内
講演者：山田祐太朗さん @_yutaroyamada (@SakanaAILabs)
日時：6/3 (水) 12:00– JST

Nature誌に掲載された「The AI Scientist」の知見を足がかりに、科学における自律的なAIの今後について広く概観いただきます🤖https://t.co/RH14TMDUib

[べいえりあ @mr_bay_area]

弦理論の大物がOpenAIに入ったという噂は聞いたのだけれどもXi Yinなの？というのと、ワイ世界最高クラスに頭良い人々をいろいろ見てきたけど、Xi Yinが一番頭良いかったんじゃないかという思い☺️

[OpenAI @OpenAI]

In conversation with OpenAI’s @markchen90, Terence reflects on a future where AI reduces the cognitive friction of research, helps preserve the paths behind discovery, and expands what mathematicians and scientists can attempt.
https://t.co/0elJITP8XT

[OpenAI @OpenAI]

AI can give researchers the freedom to pursue “crazier” ideas.

For Terence Tao, AI creates more room to experiment, test unexpected paths, and discover what might otherwise stay out of reach.