Model releases, AI research and product updates. Short summaries from official blogs and selected community discussions, with the original announcement one click away.
Zero-knowledge proofs can verify computing results without rerunning workloads or exposing sensitive data. Magnetar helps bring them into the mainstream with support for standard programming languages, major speed gains, and quantum-resistant security.
Read originalNVIDIA expands its open Nemotron family with Super VL and Bolt models for always-on agents and local agentic workloads.
Read originalGoogle Research introduces Deep Review, an agentic system that checks complex documents and provides grounded feedback. The public release expands beyond scientific manuscripts to technical documents, legal and finance workflows.
Read originalOpenAI publishes new results on open problems in mathematics from an internal frontier model and shares Lean proof formalizations and research details on GitHub.
Read originalLearn how startups can choose GPT-6 models, tune reasoning effort, improve prompts and skills, coordinate tools, and prepare workflows for production.
Read originalExtreme space-weather events can damage power systems on Earth and degrade GPS accuracy and satellite operations. A new machine learning system can predict where damage is likely to occur 30-60 minutes before a storm arrives.
Read originalBiology doesn't operate in silos, and neither should the AI representation of it. Quine is an early-stage research effort to create a multimodal world model of biology.
Read original