ByteDanceは、新世代の形式的数学的推論モデルであるSeed Prover 1.5をリリースした。

ByteDanceのSeedチームは、新世代の形式的数学的推論モデルであるSeed Prover 1.5をリリースしました。このモデルは、全く新しいエージェント型証明器アーキテクチャを採用しており、数学ライブラリの検索やコード実行などのツールを自律的に利用して、段階的な証明を行うことができます。IMO 2025テストでは、42点満点中35点を獲得し、金メダル獲得の基準に達しました。また、パトナム数学コンテストの過去の問題セットでは88%の正答率を達成し、複数の最先端（SOTA）記録を更新しました。