Bo Chen

[Bo Chen @bochencs]

@TimXu222575 @elonmusk 🚀congrats!

[Ethan He @EthanHe_42]

In @latentspacepod podcast, I shared my view on video generation, world models, LLMs, agents, continual learning and where the next frontier is.

1. Video models get most of their intelligence from language, not from video data.
2. Idea-to-code is fast now. The bottleneck is back to having enough compute to try every idea.
3. Iteration speed beats almost everything else in model development.
4. The next leap won't be a better video model. It'll be a video agent.
5. Diffusion will be the frontend of AGI, the LLM the backend. Generative UI will replace HTML/CSS: user intent straight to pixels.
6. Physical embodiment may become a tool a powerful AI picks up. Robotics may get solved by video-capable LLMs.
7. Continual learning may look like models that manage their own context, and even rewrite their own harness at test time.
Thanks @swyx and @vibhuuuus for having me 🙏
https://t.co/mLuvbODJxA

[Heiga Zen (全 炳河) @heiga_zen]

【東京大学 計数工学特別講義】

5月26日（火）の午後、東京大学 工学部 計数工学科の「計数工学特別講義」を担当させていただきます。当日はGoogleのAI研究開発の現在地と将来についてお話しする予定です 🤖

計数工学科の特別講義は、企業実務家を中心に先端科学技術の応用事例を学ぶ場として歴史があり、今回招待いただき大変光栄です。本郷キャンパスの工学部6号館にて、学生の皆さんとお会いできるのを楽しみにしています ✨

当日は単なる一方通行の講義にとどまらず、ご来場の皆さんと、AIについて議論ができると嬉しいです 🤝

https://t.co/58v4ZONeoi

[Tianle Cai @tianle_cai]

https://t.co/CivOb4riiJ

[llm_enjoyer @LLMenjoyer]

who would win???

[Math, Inc. @mathematics_inc]

Today, at the @DARPA expMath kickoff, we launched 𝗢𝗽𝗲𝗻𝗚𝗮𝘂𝘀𝘀, an open source and state of the art autoformalization agent harness for developers and practitioners to accelerate progress at the frontier.

It is stronger, faster, and more cost-efficient than off-the-shelf alternatives. On FormalQualBench, running with a 4-hour timeout, it beats @HarmonicMath's Aristotle agent with no time limit.

Users of OpenGauss can interact with it as much or as little as they want, can easily manage many subagents working in parallel, and can extend / modify / introspect OpenGauss because it is permissively open-source. OpenGauss was developed in close collaboration with maintainers of leading open-source AI tooling for Lean.

Read the report and try it out:

[Bo Chen @bochencs]

🤔

[Koshiro Saito @koshiro_sa110]

Rakuten AI 3.0 について、Swallow 評価チームの実装を用いて評価を行いました。
("Stockmark-2-100B-Instruct" は未評価のため省略しております。)

[Sakana AI @SakanaAILabs]

Sakana AIは、防衛装備庁 防衛イノベーション科学技術研究所より「複数AI技術の組み合わせによる観測・報告・情報統合・資源配分 高速化の研究」を受託しました。

https://t.co/3ZeIEqrK62

本研究では、当社の強みである「小規模視覚言語モデル(SVLM)」や自律型AIエージェント技術を活用し、ドローン 等のエッジデバイスから得られる膨大なデータの分析・統合、そして最適な意思決定に至るプロセスを一気通貫で高速化するシステムの構築を目指します。

安全保障領域における「情報力」の重要性が高まる中、日本発のAI企業として技術的自律性を確保し、最先端の研究成果を日本の安全保障の基盤強化へと実装してまいります。

[Bo Chen @bochencs]

interesting one

[Rosinality @rosinality]

On how implicitly or architecturally induced sparsity mitigates variance explosion from prenorm. Attention over depth is also a kind of architectural sparsity from this aspect.

[Rosinality @rosinality]

ByteDance also implemented attention over depth. They literally combined it with sequence attention.

[SAIR @SAIRfoundation]

Our co-founder Terence Tao is announcing SAIR Foundation's inaugural competition: the Mathematics Distillation Challenge.

Co-organized by @damekdavis, Terence Tao, and SAIR Foundation.

https://t.co/uuDizGTsVT

[liz tan @liztansz]

Say you have trained your deep learning model. It works. But do you know what it has actually learned?

🚀 We’ve built SymTorch: a library that translates deep learning models into human-readable equations.

I've attached here a quick video demonstrating how SymTorch works.

[Dmitry Rybin @DmitryRybin1]

I ran experiments with GPT-5.2-Pro on 20 latest arXiv preprints to see if it can:
- independently prove the main theorem
- find big mistakes in papers

Statistics:
- 1 easy proof can be re-derived by GPT-5.2-Pro
- 1 contained a critical error
- 1 more case is quite interesting ⬇️

[Dimitris Papailiopoulos @DimitrisPapail]

https://t.co/xJKelfQ8Ko

[Dmitry Rybin @DmitryRybin1]

Recently I gave a talk on LLMs for Math Research (mostly to an audience of pure and applied mathematicians)

I tried to compile the latest progress in one presentation

pdf and video recording: https://t.co/Q5qvnEwAiE

[あき先生(Aki) @cumulo_autumn]

Shizuku AIはこのたび、a16zをリード投資家として、日本のスタートアップとしては初となる資金調達を実施しました。

日本から、世界で一番愛されるAIキャラクター、そして日常に寄り添い、支えとなるAIコンパニオンを全力で作っていきます！！

https://t.co/FQ889k5eKN

[Fanghui Liu @Fanghui_SgrA]

🚀 We present the first large-scale Lean 4 formulation of Statistical learning theory from scratch!

Led by my student @yuanhezhang6 and collaborated with @jasondeanlee

📄 Paper: https://t.co/8q5laY8KYp
💻 GitHub: https://t.co/mTpkr92TMQ
🤗 Dataset: https://t.co/K8wDD6us4k

[Bo Chen @bochencs]

@real_kai42 Appreciate it!

[Bo Chen @bochencs]

@nasqret very useful case🤔

[Bo Chen @bochencs]

@ZimingLiu11 Nice work!