Microsoft Research
NOV 5
Formally verifying agent-written full-stack web apps with PDD Kit
AI agents can generate code at a scale that’s hard for humans to review line-by-line. PDD Kit helps ensure the code is doing what the developer…
Read Source ↗Headlines are stored summaries. Read Source opens the publisher.
- Speed Up Image Generation with FLUX 3 Image Klein on NVIDIA Blackwell GPUsWhen deploying diffusion models in design tools, image editors, and visual production workflows, developers must account for inference latency.…
- Accelerating Reinforcement Learning Weight Refit with the Reshard CollectiveDuring reinforcement learning (RL) post-training, training trajectories are generated on the fly by running inference with the current policy model.…
- ToyBlocks: A controlled world for robot learning and evaluation
- Partnering with Hacktron to find vulnerabilities in OpenAI’s systemsOpenAI is partnering with Hacktron to find vulnerabilities, test connections with third-party services, and strengthen defenses with frontier AI.
- Anthropic R&D accelerates 📈, GPT-6 Cyber 🔐, Inkling 2 Small 🧠
- Measuring how AI agents handle everyday wet-lab scienceOpenAI introduces BioBasicsBench, a 100-task benchmark measuring how well AI agents interpret raw experimental data and handle everyday wet-lab…
- Egyptian and Nigerian English join the Open ASR Leaderboard
- Cult.fit builds operational muscle with CodexCult.fit is using Codex to help teams across functions build tools, move faster, and change how work gets done.
- New NVIDIA Cosmos 3 Open Models for Interactive World Simulation
- Australian universities are creating AI-native graduatesAustralian universities are expanding access to ChatGPT and bringing AI into teaching and learning to prepare students for an AI-enabled workforce.
- Gemini Omni 1.2 Flash: Fast and cost-effective with longer clipsimg src="https://storage.googleapis.com/gweb-uniblog-publish-prod/images/gemini-omni-1.2_FZLql41.max-600x600.format-webp.webp" Gemini Omni 1.2 Flash…
- Configure, Certify, and Operate Kubernetes GPU Clusters with NVIDIA DSX OSOne underperforming GPU can slow an entire distributed training job. The node may pass basic health checks and show normal utilization, leaving…
- Formally verifying agent-written full-stack web apps with PDD KitAI agents can generate code at a scale that’s hard for humans to review line-by-line. PDD Kit helps ensure the code is doing what the developer…
- Five Ways NVIDIA Co-Design Maximizes the Value of Every Byte in the AI FactoryIn an AI factory, high bandwidth memory (HBM)is the fastest, most expensive, and most contested memory tier. Every byte spent on a redundant weight…
- GPT‑6 Cyber: Advancing the frontier of aligned cybersecurity agentsIntroducing GPT‑6 Cyber, OpenAI’s cybersecurity model for finding exploitable vulnerabilities and developing fixes, trained to stay within…
- Merge builds product and business tools with OpenAI technologyMerge uses GPT-6 Astra, ChatGPT, and Codex to review product code and support marketing. Its teams also use AI to plan executive dinners and prepare…
- Setting a new standard for responsible AI infrastructureOpenAI introduces its National Community Compact and Compute Campus Policy Blueprint to protect local resources, create jobs, and guide responsible…
- Flipsnack grows product signups with conversion optimizationFlipsnack focused its ChatGPT Ads campaigns on getting people to try its product, growing registrations while lowering the cost per signup.
- Franklin Templeton uses OpenAI to support investment researchStarting with equity research, Franklin Templeton is developing AI workflows to help portfolio managers compare research views and examine…
- A Closer Look at Phonon TTS. Launching High-Quality On-Device Speech That Tops the Benchmarks.