What if an AI could write its own blueprint to prove math theorems? Princeton researchers introduce Goedel-Architect, a new agentic framework for formal theorem proving in Lean 4. Instead of recursively decomposing lemmas (which can loop on dead ends), it first generates a
RESEARCH
-
Causal decoder patched to bidirectional encoder excels in multilingual tasks
By
–
We patched LFM2.5-350M (pre-trained on 28T tokens) to transform a causal decoder into a bidirectional encoder. It worked extremely well: both Embedding and ColBERT models get best-in-class performance, especially for multi/cross-lingual tasks.
-
GLM-5.2: best open-weight model with multi-head latent attention
By
–
Just updated with the recent release of GLM-5.2. The best open-weight model today. Architecture-wise, it is built on the GLM-5 and GLM-5.1 architecture that I covered previously, meaning it reuses the Multi-head Latent Attention mechanisms.
-
Intense week for AI in biology: record deal and scaling
By
–
it's been a huge few weeks for ai in bio: a $2.25b @profluentbio x @elilillyandco deal on ai-designed gene editors, verve's base-editing data, new scaling results on protein models from @czbiohub, @isomorphiclabs' haul.@thisismadani and i recorded a pod diving into all of it… pic.twitter.com/QNAuGmsjQW
— Nathan Benaich (@nathanbenaich) 18 juin 2026It has been intense weeks for AI in biology: a $2.25 billion deal between @profluentbio and @elilillyandco on gene editors designed by AI, Verve's base editing data, new scaling results on protein models from @czbiohub, the
-
Research agents excel at resolving implementation issues, not novel discoveries
By
–
1/N Model capabilities today are subpar for end-to-end autonomous research, what we would categorize as the ability to make “novel discoveries”. However, in our experimentation, research agents have proven to be an excellent way to resolve implementation issues and carry out
-
Presentation of auto-search for arXiv articles via autoarxiv
By
–
Introducing autoresearch for arXiv papers
— alphaXiv (@askalphaxiv) 18 juin 2026
Change 'arxiv' to 'autoarxiv' in any paper URL
An agent deploys to resolve setup issues on the codebase, run a minimal reproduction, and estimate full replication cost. Read more below pic.twitter.com/2UHVqbT7EuPresentation of auto-search for arXiv articles. Replace 'arxiv' with 'autoarxiv' in any article URL. An agent deploys to resolve configuration problems in the codebase, run a minimal reproduction, and estimate the replication cost.
-
Global competition for elite AI talents
By
–
The global competition for elite AI talent is unlike anything we have seen before. Multi-billion dollar compensation offers. Frontier labs battling for a handful of world-class minds. Because, the interesting thing is this: in a world defined by exponential systems, even a single… pic.twitter.com/jU24fGASEO
— Nina Schick (@NinaDSchick) 18 juin 2026Global competition for elite AI talents is unprecedented. Multi-billion dollar compensation offers. State-of-the-art laboratories vying for a handful of world-class minds. Because, the most interesting thing is this: in a world
-
4th edition of classic AI textbook covers deep learning, robotics, causality
By
–
4th edition of classic AI textbook covers Deep Learning, Transfer Learning, multi-agent systems, robotics, causality,…: “Artificial Intelligence — A Modern Approach” See this and more at http://
amzn.to/4lFIZt8
———
#DataScience #MachineLearning #ML #DataScientist -
OpenKB solves RAG’s amnesia problem based on Karpathy’s concept
By
–
TRADITIONAL RAG HAS A MASSIVE AMNESIA PROBLEM. It rediscovers knowledge from scratch on every single query, and nothing ever accumulates. OpenKB is a new open-source alternative that finally fixes this. Based on a brilliant concept outlined by @Karpathy
, OpenKB treats -
Midjourney surprises with a medical division and an imaging device
By
–
De todo el hardware que Midjourney podía haber presentado creo que no estaba en las quinielas de nadie el de un dispositivo de imagen médica y una nueva divisón "Midjourney Medical", pero oye bienvenido sea!pic.twitter.com/LvfxTIcYeU
— Carlos Santana (@DotCSV) 18 juin 2026Among all the equipment that Midjourney could have presented, I think that of a medical imaging device and a new division "Midjourney Medical" was in no one's predictions, but oh well, welcome to it!