🤖 DeepSeek launches Prover V2

Sign up | Sponsor

Hola, AI fam 🤖

In today’s WakeTheAI edition:

• DeepSeek launches Prover V2

• AI agents can now swipe cards

• Prompt: Learn 10x Faster

• Anthropic adds app integrations to Claude

• Duolingo launches 148 new courses using AI

• Runway releases Gen-4 References to all paid users

• Google expands AI Mode in Search with broader access

DEEPSEEK
🤖 DeepSeek launches Prover V2

Lazy Bits: DeepSeek has quietly unveiled Prover-V2, a math-focused AI model built on its 671B Mixture-of-Experts base, designed to solve formal proofs and advance symbolic reasoning, an area where most frontier LLMs still struggle.

In-Depth Details:

• Math-Focused Model: Prover-V2 is part of DeepSeek’s specialized Prover series, designed to solve complex mathematical problems and improve symbolic reasoning performance.

• Built on DeepSeek V3: The model leverages the 671B Mixture-of-Experts V3 architecture, known for achieving state-of-the-art results while being trained with lower cost and energy.

• Theorem Proving Progress: Earlier versions of Prover significantly boosted formal logic tasks. V2 is expected to further enhance DeepSeek’s base model capabilities in math reasoning.

• Timing Amid Rival Releases: Launched a day after Alibaba’s Qwen3, which claimed to beat DeepSeek-R1 and OpenAI’s o1, Prover-V2 signals that DeepSeek is preparing for a bigger move.

• R2 on the Horizon: The stealth drop of Prover-V2 adds fuel to speculation that DeepSeek-R2, its next-gen reasoning model, is nearing release.

Lazy Conclusion: Math and logic are where most LLMs break. Prover-V2 shows DeepSeek is solving that with real architectural depth. It’s not just another open-source release, but a foundational step toward reliable, verifiable AI reasoning.

VISA & MASTERCARD
💳 Visa & Mastercard just gave AI a credit card

Lazy Bits: Visa and Mastercard just launched new AI-driven payment platforms, Visa Intelligent Commerce and Mastercard Agent Pay, to enable secure, personalized agentic shopping at scale.

In-Depth Details:

• AI-Enabled Payments: Visa’s platform allows AI agents to browse, select, and purchase items on your behalf, with secure, tokenized transactions and user-defined controls.

• Trusted Agent Verification: Mastercard introduced Agentic Tokens to verify trusted AI agents before they can make payments, ensuring transparency and reducing fraud risk.

• Developer Infrastructure: Visa is opening its payment rails via APIs, letting AI platforms (like OpenAI, Anthropic, and Perplexity) integrate directly with Visa’s global commerce engine.

• Use Case Rollout: Mastercard will work with Microsoft (via Azure and Copilot Studio) and IBM to build B2B and consumer use cases, including conversational commerce and supply chain payments.

• Consumer Control: Both platforms let users set spending limits, approve AI agents, and manage disputes, keeping humans fully in control of agent-driven purchases.

Lazy Conclusion: AI won’t just help you find products, it’ll buy them for you. Visa and Mastercard are laying the rails for AI agents to securely transact across the global economy. As trust in agentic commerce grows, this could become the next major leap after mobile payments.

Learn 10x Faster

You can ask ChatGPT to act as your personal tutor, guiding you through complex topics like quantum mechanics or machine learning with infinite patience and clarity.

ChatGPT will break down concepts into bite-sized lessons, use relatable analogies, and provide practical exercises to help you learn faster and with deeper understanding.

This approach makes even the most challenging subjects feel simple, engaging, and achievable for any beginner.

Prompt:

Act as a personal tutor with infinite patience and expertise. Teach me [insert complex topic, e.g., quantum mechanics or machine learning] in a way that a beginner can understand. Break it into bite-sized lessons, use analogies from everyday life, and suggest practical exercises to master it in record time.

Result:

• Anthropic launches app integrations and deeper web research for Claude, boosting capabilities to rival ChatGPT, Gemini, and others, with perks for Max users.

• Duolingo launches 148 new courses using AI, doubling its offerings and expanding Japanese, Korean & more to all 28 UI languages for global learners.

• Robby Starbuck sued Meta, claiming its AI falsely accused him of joining the Jan 6 riot and being arrested. Meta apologized, but issues persist.

• Runway releases Gen-4 References to all paid users. Now, you can create consistent characters and insert yourself into any scene using photos or selfies.

• Google expands AI Mode in Search with broader access, follow-up memory, and richer product/place cards, now available to all U.S. users in Labs.

1. 🧑‍💻 Waveloom: Build and deploy AI workflows visually

2. 🔍 Product Lab: AI-powered product discovery & user research

3. 📈 Odea: Embeddable AI avatars for interactive web experiences

4. 📞 Hexoloop: AI chatbot support that takes action