Search across updates, events, members, and blog posts
Curated AI updates from across the web.
22 results in Research
AxiomProver Proves Fel's Conjecture in Lean with zero human guidance (twitter.com)
Structured Context Engineering for File-Native Agentic System (twitter.com)
OSINT Reconstruction of the Minneapolis ICE Shooting (twitter.com)
Anthropic: How Misalignment Scales with Bigger Models (twitter.com)
Stanford/Nvidia: TTT + RL for Mathematical Discovery (x.com)
GPT-5.2 beats Pokémon Emerald autonomously (x.com)
Social Graph Analysis of Moltbook (x.com)
Stephen Wolfram: Attacking P vs. NP with ruliology (x.com)
World models predicted to dominate AI by 2026 (x.com)
AI Is Lowering the Value of Expertise (x.com)
Patterning: Shaping model structure via training data (x.com)
AlphaGenome: Advanced genomics model with open weights (x.com)
Really cool to see interp finding novel scientific knowledge! Hopefully the first of many. (x.com)
goodfire doing some of the coolest work in the biz (x.com)
Top AI Papers: Agents and Multi-Agent Workflows (x.com)
SFI Researchers Examine the Boltzmann Brain (x.com)
So unbelievably clear and precise. I want to write like this when I grow up* *I'm 31... :( (x.com)
Sara Hooker on the slow death of AI scaling (x.com)
The 2009 dead salmon fMRI and AI interpretability (x.com)
Embedding Thermodynamic Laws into Neural Networks (x.com)