ByteDance-Seed achieved silver-medal at IMO 2025

12 hours ago 2

👋 Hi, everyone!
We are ByteDance Seed team.

You can get to know us better through the following channels👇

This page is used to store the Seed AI4Math group’s research projects, including Seed‑Prover and Delta‑Prover.

Seed Prover Seed‑Prover is the system we officially participated with in the IMO 2025.
Delta prover Delta‑Prover is a separate project focused on researching test time techniques for generating formal proofs.

Seed Prover solved 4 out of 6 problems in IMO 2025 durint the context, with the following breakdown:

Day 1: Fully solved P2 (geometry) and P3 (number theory), fully solved P1 (combinatorics) after the competition.
Day 2: Fully solved P4 (number theory) and P5 (combinatorics / algebra)

P1 (combinatorics) Lean : Fully proved after the competition, this is not scored by the IMO.
P2 (geometry) NL : Generated and verified in 2 seconds using Seed-Geometry system
P3 (number theory) NL Lean: Solved in 3 days, with a 2000-line formal proof
P4 (number theory) NL Lean: Solved in 3 days, with a 4000-line formal proof
P5 (combinatorics / algebra) NL Lean: Solved in 1 day, with a proof slightly different from known human solutions