In the recent International Mathematical Olympiad (IMO2025), the automatic theorem proving system Seed-Prover developed by the ByteDance Seed team performed excellently, successfully solving four problems in the competition. This achievement marks a significant progress for Seed-Prover in the field of mathematical proofs and demonstrates the potential of artificial intelligence in solving complex mathematical problems.

QQ20250804-113057.png

Seed-Prover is an important research project of the ByteDance Seed team, aiming to enhance the capabilities of automatic theorem proving through deep learning and extensive reasoning technologies. During the IMO2025 competition, the system performed outstandingly in the intense competitive environment, successfully solving the following problems:

  • Problem 1 (Combinatorics): Although this problem was not solved in time during the competition, Seed-Prover successfully provided a complete proof after the competition.
  • Problem 2 (Geometry): The system generated and verified the answer within just 2 seconds, demonstrating its efficient computing capabilities.
  • Problem 3 (Number Theory): This problem was solved in 3 days, with a proof spanning 2000 lines, showcasing the system's rigor.
  • Problem 4 (Number Theory): Similarly, it was completed in 3 days, providing a detailed 4000-line proof.
  • Problem 5 (Combinatorics / Algebra): It was completed in just one day, and its proof method differs slightly from existing human solutions, demonstrating the system's innovation.

Although Seed-Prover achieved remarkable results in the competition, the project has not yet released its model weights. Users can only access project materials and related papers. The team plans to release more information in the future, allowing the academic community and developers to better understand and apply this system.

The achievement of the ByteDance Seed team not only injects new vitality into the field of automatic theorem proving but also provides new tools for mathematical research. We look forward to seeing more applications and developments in the future.

Paper URL: https://arxiv.org/abs/2507.23726 

Repo URL: https://github.com/ByteDance-Seed/Seed-Prover