This is Genie 4, our most realistic and interactive world model yet. 🌐
Explore dynamic environments in real time to see how the scene responds, sounds, and how the people in it move, react, and speak.
Kanary 4.1.4 is out.
If Kanary got sluggish or froze after long Relay sessions, this update fixes it. Relay now stays responsive however long your threads get.
Updates automatically, or grab it at
The largest math proof in human history is now computer-verified.
Today, Axiom announces a complete Lean auto-formalization of the Classification of Finite Simple Groups, the "periodic table of symmetry."
About 15,000 pages, built by over 100 mathematicians across generations.
それがですね、Opus 5.5に作らせると、やっぱり細部は実際にあちこち抜けてるんですよ
だから
Opus > Codex > Opus
Codex > Opus > Codex
のどちらかでサンドイッチしてやらないと、あとでバックファイアする欠陥がちびちびと蓄積していきます
一番安い解決方法は、実装しているそのセッションを終える前に穴を塞いでおくことなんですよね
おすすめは
Opus > Codex > Opus
で、うるさいCodex当人に実装させてからOpusに無駄を指摘させる、という順番です
Kanary 4.1.3 is out.
If your Claude app runs in a language other than English, Relay couldn’t send to Claude after Claude’s latest update.
That’s fixed now.
A lot of other fixes, too.
Update from the Kanary menu bar.
i opened up an AI's brain tonight with @_lyraaaa_'s neuron explorer
qwen 3.5 4b has 294,912 neurons
push just one and it becomes someone else
here's who i found 🧵