Back    Zoom +    Zoom -
ByteDance Launches Seed Prover 1.5 Model for Formal Mathematical Reasoning
Recommend
1
Positive
1
Negative
0
ByteDance's Seed team announced the launch of the SeedProver 1.5 model, dedicated to formal mathematical reasoning, aimed at the International Mathematical Olympiad (IMO) competition scenarios.

The model generated complete Lean proofs for the first five IMO2025 problems within 16.5 hours, scoring 35/42, reaching the gold medal score threshold.

Related NewsLoan Prime Rate 1Y for 2025 in China is 3%, unchanged from its last period. The forecast was 3.0%.

AASTOCKS Financial News
Website: www.aastocks.com
  • Remark
  • (1) HK Indices are real time
Home|RT Quote|Market|News|Indices
Feedback|Disclaimer
View: Mobile|Desktop
Lang: 繁|简|EN
Back To Top
Contact Us
Email: support@aastocks.com