PulseAugur
EN
LIVE 04:49:32

Claude Opus 4.6 solves 10 Putnam math competition problems autonomously

By PulseAugur Editorial · [1 sources] ·

Researchers have demonstrated that Anthropic's Claude Opus 4.6, enhanced with specialized tools for the Rocq proof assistant, successfully proved 10 out of 12 problems from the 2025 Putnam Mathematical Competition. This experiment utilized a "compile-first, interactive-fallback" strategy implemented through Model Context Protocol (MCP) tools, which were developed by analyzing previous proof-assistant experiments. The AI agent operated autonomously on an isolated virtual machine, deploying 141 subagents over 17.7 hours of active computation and processing approximately 1.9 billion tokens. AI

IMPACT Demonstrates advanced AI reasoning capabilities on complex mathematical problems, potentially accelerating AI's role in formal verification and scientific discovery.

RANK_REASON Academic paper detailing an experiment with an AI model on a benchmark. [lever_c_demoted from research: ic=1 ai=1.0]

Read on arXiv cs.CL →

AI-generated summary · Google Gemini · from 1 sources. How we write summaries →

Claude Opus 4.6 solves 10 Putnam math competition problems autonomously

How we ranked this

Signal score
0 / 100
Composite score across the factors below. Higher = stronger signal that this story matters right now.
Newsworthiness bucket
Tool
Academic paper detailing an experiment with an AI model on a benchmark. [lever_c_demoted from research: ic=1 ai=1.0]
Source corroboration
Single-source cluster
Only one publisher covered this so far. Single-source stories can still rank when the publisher is high-authority, but they lack cross-source corroboration.
Topics
paper, product
Editorial topic classification. Feeds into how the story surfaces on /topic/<slug> hub pages and into the per-entity coverage mix.
AI-industry relevance
High
Clearly on-topic for AI-industry coverage.
Story freshness
173 days old
Aged out of breaking-news scoring windows; ranking reflects the durable signal from the full source set.

Full methodology in our editorial standards.

COVERAGE [1]

  1. arXiv cs.CL TIER_1 English(EN) · Guillaume Baudart, Marc Lelarge, Tristan St\'erin, Jules Viennot ·

    Putnam 2025 Problems in Rocq using Opus 4.6 and Rocq-MCP

    arXiv:2603.20405v2 Announce Type: replace-cross Abstract: We report on an experiment in which Claude Opus~4.6, equipped with a suite of Model Context Protocol (MCP) tools for the Rocq proof assistant, autonomously proved 10 of 12 problems from the 2025 Putnam Mathematical Competi…

RELATED ENTITIES

RELATED TOPICS