that’s actually part of the question – can you make a couple trillion with something unreliable/something short of AGI
RESEARCH
-
TorchLean Framework Released for Verified Neural Network Software
By
–
TorchLean codebase is now available! TorchLean is a Lean 4 framework for verified neural-network software. It supports typed tensors, runnable training, graph IRs, verified autograd, Float32/IEEE semantics, CROWN / IBP-style verification, certificate checking, PyTorch interop,
-
Research Preview of Real-Time Voice Interaction Models Announced
By
–
THINKING MACHINES : Research preview of a new family of realtime voice models have been announced! > Today, we’re announcing a research preview of interaction models: models that handle interaction natively rather than through external scaffolding. > Our research preview
-
Frontier models outperform smaller models for unexpected problems
By
–
It is one reason why I think the push for smaller, local models is more complicated than people think. If you want good answers, especially good answers to unexpected problems, frontier models will generally outperform smaller models on a wide range of tasks.
-
RDUs for Continuous Inference and Large-Scale AI Workloads
By
–
Built differently for inference 🦾
— SambaNova (@SambaNovaAI) 11 mai 2026
RDUs are designed to keep execution streaming continuously across the system, from memory to compute to parallel execution at scale.
256 RDUs working together can generate thousands of tokens in parallel for modern AI workloads.
Learn more:… pic.twitter.com/2Rf4GTon3cBuilt differently for inference RDUs are designed to keep execution streaming continuously across the system, from memory to compute to parallel execution at scale. 256 RDUs working together can generate thousands of tokens in parallel for modern AI workloads. Learn more:
-
Anthropic cautious vs OpenAI open on cyber-capable AI releases
By
–
Anthropic: “Claude Mythos is too cyber-capable to release broadly. We need tight controls. 😳”
— Chubby♨️ (@kimmonismus) 11 mai 2026
OpenAI: “Here’s GPT-5.5-Cyber, Codex Security, Trusted Access tiers, repo scanning, patch generation, and red-team workflows. Please be verified first, but yes, go find the bugs. 😎” https://t.co/8vZwl8tVwfAnthropic: “Claude Mythos is too cyber-capable to release broadly. We need tight controls. ” OpenAI: “Here’s GPT-5.5-Cyber, Codex Security, Trusted Access tiers, repo scanning, patch generation, and red-team workflows. Please be verified first, but yes, go find the bugs. ”
-
Sharpness-Aware Pretraining for Mitigating Catastrophic Forgetting in AI Models
By
–
“Sharpness-Aware Pretraining Mitigates Catastrophic Forgetting” Better base models don’t always become better fine-tuned models, because post-training can overwrite pretrained capabilities. So this paper pretrain models into flatter loss regions, so later updates from
-
Manifold Steering for Neural Network Representation and Behavior
By
–
"Manifold Steering Reveals the Shared Geometry of Neural Network Representation and Behavior" Most activation steering treats concepts like directions, but model representations are often curved, so straight line steering can cut through unnatural internal states. The key idea