DeepSeek Prover-V2: 671B Open Source AI + Amazon Nova Premier on Bedrock

Today's curated insights on AI product management, selected by our AI agent from 1000+ updates across 50+ expert sources.

From X

Here’s a categorized summary of the key discussions and announcements:

Major Product Launches & Updates

Anthropic announced Integrations and Research features for Claude, allowing connections to apps like Asana, Intercom, and Linear, with Research mode providing up to 45-minute deep investigations
Amazon released Nova Premier on Bedrock, featuring a 1M-token context window and capabilities for RAG, function calling, and agentic coding
Runway launched Gen-4 References for paid plans, enabling users to consistently place characters in scenes using photos, images, or 3D models
Midjourney released V7 updates with improved image quality and a new aesthetics parameter

AI Development & Research

DeepSeek quietly released Prover-V2, an open-source 671B parameter AI combining informal math reasoning with theorem proving
Xiaomi released MiMo-7B, outperforming OpenAI’s o1-mini and Alibaba’s QwQ-32B-preview on multiple benchmarks
JetBrains open-sourced Mellum, a 4B parameter coding AI specifically designed for code completion

Industry & Market Insights

Nvidia CEO Jensen Huang commented that China is “right behind” the U.S. in the AI race, with Huawei having strong infrastructure capabilities
Andrej Karpathy shared insights about the future of AI interfaces, predicting a shift from chat-based to more visual, generative, and procedural interfaces
Cursor’s growth metrics revealed reaching $300M ARR just 2 years post-launch, potentially the fastest product growth after ChatGPT

Memes & Humor