News Sharing
For sharing news, please enter the email address of you and the receiver, then press SEND button.*Mandatory Fields
Receiver*
Enter email addresses, separated by semicolon (;). E.g. a@a.com;b@b.com
Your email address*
 Content Sharing
ByteDance Launches Seed Prover 1.5 Model for Formal Mathematical Reasoning
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) compe...
Reset
Send
The window will close in 5 seconds
ByteDance Launches Seed Prover 1.5 Model for Formal Mathematical Reasoning
Close
Recommend
0
Positive
1
Negative
0
 
SHORT SELL
 
STOCK INFO

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
Copyright(C) AASTOCKS.com Limited 2000. All rights reserved.
Disclaimer: AASTOCKS.com Ltd, HKEx Information Services Limited, its holding companies and/or any subsidiaries of such holding companies endeavour to ensure the accuracy and reliability of the Information provided but do not guarantee its accuracy or reliability and accept no liability (whether in tort or contract or otherwise) for any loss or damage arising from any inaccuracies or omissions.