Development

Seed-Prover 1.5 solves 11 of 12 Putnam problems

development2025-12-20

Claim

ByteDance released Seed-Prover 1.5, trained with large-scale agentic reinforcement learning, which solved 11 of 12 problems from the 2025 Putnam competition and 88% of an undergraduate benchmark.

Reported metric: 11/12 Putnam, 88% undergrad

Reporting date: 2025-12-20 (not necessarily the event date)

Sources

Attribution and reporting linked by this record; links do not imply independent verification.

Welcome to December 20, 2025 (theinnermostloop.substack.com)

Knowledge graphopen in browser →

About

Reported in

Welcome to December 20, 2025

Actor

ByteDance

Evidence for

Referenced by

Cite or correct this record

Citation formatCitation text

Seed-Prover 1.5 solves 11 of 12 Putnam problems
Innermost Loop KB — secondary record
Reporting date: 2025-12-20
KB permalink: https://nicholsn.github.io/innermost-loop-kb/developments/2025-12-20-seed-prover-putnam
Claim: ByteDance released Seed-Prover 1.5, trained with large-scale agentic reinforcement learning, which solved 11 of 12 problems from the 2025 Putnam competition and 88% of an undergraduate benchmark.
Attributed sources:
- Welcome to December 20, 2025 — https://theinnermostloop.substack.com/p/welcome-to-december-20-2025
This citation does not imply independent verification of linked-source claims.

Suggest a correction — opens a GitHub draft for you to review and submit.