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