Ineffable Intelligence hires six, including key AlphaStar figures from DeepMind
London startup valued at $5 billion races to build superintelligence through reinforcement learning
50
Tag
reasoning
Claude completes first computer-verified proof of Fermat's Last Theorem
Anthropic's Claude wrote 13 million lines of Lean code over 11 days to formalize one of mathematics' toughest problems
80
Ai2 outlines five limits of AI-assisted scientific research
At an event marking an expanded partnership with Providence Swedish, Ai2 addressed where AI still falls short on judgment and verification in science
70
Claude Autonomously Designs Proteins, Nearly Half Bind in Lab Tests
Anthropic's Claude designed proteins on its own in 24 hours, given only a target — and when two independent labs tested them, nearly half actually bound
1600
Google DeepMind unveils Gemini for Science research tool
A Labs prototype bundling paper tracking, code conversion, and hypothesis generation
300
Robot Apollo, running Gemini Robotics 2, found kitchen chores harder than sports
In an interview video released by Google DeepMind, the robot Apollo said tying a trash bag was harder than balancing during sports
80
Google DeepMind says AI needs probabilistic self-doubt to be safe
A VP of Research at Google DeepMind discussed how to handle uncertainty, from weather forecasting to robotics
150
Multiverse Computing shrinks a model to 4-bit and gets one smarter than the original
Compressing and quantizing GPT-OSS 120B down to 60B beat the original on 7 of 9 benchmarks
20
Adding a 'mind' variable to world models boosted accuracy from 63 to 88
A new framework adds belief and intention to world models that, like Sora and Genie 3, only track physics
30
Anonymous model Ox Alpha matches GLM-5.2 on all 60 tokenizer tests
Community tokenizer comparison shows 60/60 match with zero average error — but that doesn't confirm it's the same model
60
Inherent's 27B Model Faraday Outperforms Anthropic and OpenAI
A London startup founded by Google DeepMind alumni beat frontier models at a paper-replication task using a much smaller model
30
NVIDIA Swaps Harness, Lifts AI Agent Score from 30% to 100%
Custom harness on Claude Opus 5 hits perfect score on ARC-AGI-3 — the scaffolding, not the model, made the difference
160