NewDecoded All our Americas news
OpenAI Says an Internal Model Proved a Navier-Stokes Blowup in Lean
The lab posted an analytical proof and Lean formalization of a finite-time singularity, used a model it says is stronger than GPT-6 Astra, and said it will not claim the Clay prize.
Maya Lombardi
3 min read
News 3 min read
Mexico and China Sign an MoU on AI, Supercomputing, and Talent
News 3 min read
Claude Formalizes Fermat's Last Theorem in Lean in 11 Days
News 3 min read
Gimlet Labs Raises $300 Million Series B for a Multi-Silicon Inference Cloud
News 2 min read
Microsoft Ships MAI-Image-2.6 and a Faster Flash Twin
News 3 min read
Databricks Says Proteus Wrote Qwen Kernels Up to 5.2 Times Faster Than vLLM
News 2 min read
Microsoft Ships MAI-Transcribe-2 at 10 Cents an Hour
News 2 min read
Proofpoint Opens a SOC Analyst Agent on OpenAI Daybreak Models
News 3 min read
HiddenLayer Raises $100 Million Series B to Secure AI Agents at Runtime
News 2 min read
Meta Releases Muse Spark 1.3 for Longer Agentic and Coding Work
News 3 min read
AIR Leaves Stealth With $50M for an Inline Firewall Around AI Agents
News 3 min read
Anthropic Will Let Enterprises Keep Frontier-Model Logs in Their Own Cloud
Featured
Amodei Calls on Frontier Labs to Pace Capabilities and Embed Outside Evaluators
News 4 min read
Ant International Rolls AMP Across Alipay+ and Starts a Visa-Mastercard KYA Effort
News 3 min read
DeepSeek Ships V4.1-Flash, a 552B Model It Will Use to Replace V4-Pro
News 3 min read
OpenAI Puts the Codex Agent Harness Behind a Public-Beta Agents API
News 3 min read
Want to advertise your Data, Analytics, or AI here? Reach out!
NewDecoded