Yann LeCun and his team can't stop cooking "LeWorldModel: Stable End-to-End Joint-Embedding Predictive Architecture from Pixels" One of the biggest bottlenecks of JEPA is they are hard to train, and this new research changes that. They propose LeWorldModel, which shows that a
RESEARCH
-
GPT 5.4 Outperforms Competitors in Excel and Research Tasks
By
–
GPT 5.4 is cheaper and more performant for xls and deep research than other SOTA models We have now managed to improve performance by 33% on other top Gemini or Claude models OpenAI needs to double down on this win and launch GPT 6.0 ASAP
-
OpenProver v1.0.0: Open-Source Automated Theorem Prover Released
By
–
I'm releasing OpenProver v1.0.0!
— Matěj Kripner (@MatejKripner) 23 mars 2026
It's 1) an open-source automated theorem prover inspired by DeepMind's Aletheia (@tonylfeng @gjb_ai @lmthang), and 2) a "Claude Code for mathematicians", allowing interactive proof search in English and formalization in Lean. pic.twitter.com/xMTHWfIL31I'm releasing OpenProver v1.0.0! It's 1) an open-source automated theorem prover inspired by DeepMind's Aletheia (@tonylfeng @gjb_ai @lmthang), and 2) a "Claude Code for mathematicians", allowing interactive proof search in English and formalization in Lean.
-
GradMem: Gradient Descent Memory for Context Compression
By
–
"GradMem: Learning to Write Context into Memory with Test-Time Gradient Descent" Instead of giving LLMs huge KV caches or one-shot compressed summaries, GradMem shows that you can let a frozen model take some test-time gradient steps to write a long context into a small memory.
-
5 Causal AI Tools That Reveal Why Not Just What
By
–
5 Causal AI Tools That Reveal Why — Not Just What: https://
medium.com/@Modexa/causal
-ai-5-tools-that-reveal-why-not-just-what-437ed6be6ec8
… -
Jensen Huang declares AGI achievement in 2026
By
–
Jensen Huang: I think we've achieved AGI.
— Chubby♨️ (@kimmonismus) 23 mars 2026
It's certainly difficult to define it precisely due to the lack of a uniform standard.
But it seems that 2026 will be the turning point. pic.twitter.com/oa8AX09YtUJensen Huang: I think we've achieved AGI. It's certainly difficult to define it precisely due to the lack of a uniform standard. But it seems that 2026 will be the turning point.
-
GPT-5.4 Pro Solves FrontierMath Open Problem
By
–
That is really really impressive: GPT-5.4 pro has solved one of the open problems in FrontierMath. Kevin Barreto and Liam Price, using GPT-5.4 Pro, produced a construction that Will Brian confirmed, with a write-up planned for publication We are accelerating
-
GPT-5.4 Pro Outperforms Other Models for Complex Tasks
By
–
GPT-5.4 Pro continues to be the only model of its class. For anything really hard & complex, I throw it into the maw with every bit of context I can think of. More often than not, something very useful comes out. I can't get the same results from Codex or Code or anything else.
→ View original post on X — @mattshumer_, 2026-03-23 17:43 UTC
-
Large-Scale Online Deanonymization Using LLMs Research
By
–
Large-scale online deanonymization with LLMs Lermen et al.: https://
arxiv.org/abs/2602.16800 #ArtificialIntelligence #AIAgents