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

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

  • India Drives 75% of Nielsen's Global Innovation as AI Reshapes Advertising Measurement

    • Oct 19,2026

  • Are Parents Done With Traditional School Admissions? What AI Is Changing

    • Oct 16,2026

  • OpenAI, Anthropic Back $15 Million Plan to Study AI-Generated Mathematical Research

    • Oct 18,2026

  • Goldman Sachs Sells 53.37 Lakh Eternal Shares to BofA Securities for ₹168.67 Crore

    • Oct 19,2026

  • Cegeka Names Kim De Maeseneer Chief AI Officer to Lead Global AI Strategy

    • Oct 21,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