AI RESEARCH
3 items
3 posts
Blog
Anthropic Discovers J-Space: A Global Workspace Inside Language ModelsAnthropic's new research reveals LLMs have an internal 'workspace' for silent reasoning - and it could change how we build safer AI.
Blog
Leanstral 1.5: Mistral's Open Theorem-Proving Model Hits 100% on miniF2FMistral releases Leanstral 1.5, an Apache-2.0 licensed 119B parameter model (6B active) for Lean 4 theorem proving that saturates miniF2F and achieves SOTA on FATE benchmarks.
Blog
VibeThinker-3B: A 3 Billion Parameter Model That Outscores Opus 4.5 on ReasoningA new paper shows a 3B parameter model hitting 94.3 on AIME26 and 96.1% on LeetCode contests - matching or exceeding models 100x its size. The catch: it traded general knowledge for pure reasoning ability.
Get Smarter About AI Dev
New tutorials, open-source projects, and deep dives on coding agents - delivered weekly.
One email per weekReal code, not theoryFree forever