• HOME
  • CANNES LIONS 2026
  • INDUSTRY NEWS & TRENDS
  • EXPERT SPEAK
  • AI
  • IN DEPTH
  • GCC
  • OTHER NEWS
  • EVENTS
    • EVENT CALENDER
logo
logo
  • HOME
  • CANNES LIONS 2026
  • INDUSTRY NEWS & TRENDS
  • EXPERT SPEAK
  • AI
  • IN DEPTH
  • GCC
  • OTHER NEWS
  • EVENTS
    • EVENT CALENDER

Tags: Theorem-proving

  • Home
  • Theorem-proving
DeepSeekMath-V2 Becomes First Open-Source Model to Secure Gold-Medal Level at IMO 2025

  DeepSeekMath-V2 Becomes First Open-Source Model to Secure Gold-Medal Level at IMO 2025

  • by Martech Desk
  • Nov 29, 2025

DeepSeek’s open-source model DeepSeekMath-V2 solves five of six IMO 2025 maths problems and posts top scores on Putnam, pioneering self-verifiable AI reasoning.

Newsletter

Subscribe for our daily news


Popular Posts

  • Rohan Salunkhe Joins Godrej Living as Head of Technology and Digital Transformation

    • Sep 2,2026

  • Havells Brings AI Voice Control to Smart Home Devices in Eight Languages

    • Sep 7,2026

  • AI Is Already in Healthcare. But Who Should Get the Final Say?

    • Sep 2,2026

  • Instagram to Limit Reach of Unlabelled AI-Generated Profiles

    • Sep 2,2026

  • Sandhya Devanathan’s Meta Exit: Did India’s Content Moderation Crisis Play a Role?

    • Sep 1,2026

About Martech News

India’s definitive source for marketing technology news, insights, and trends. Stay ahead with the latest in AI, product strategy, and innovation shaping the future of marketing.

Useful Links

  • Industry News & Trends
  • Expert Speak
  • Latest News
  • Videos
  • Authors

Other Links

  • Privacy Policy
  • Events

CONNECT WITH US

Subscribe to the latest news from MartechAI.com