AASTOCKS Financial News

HSI¹	25,818.93	+44.79	92.52B
HSCEI¹	8,915.12	+1.29	34.27B

Back Zoom + Zoom - Block Traded

ByteDance Launches Seed Prover 1.5 Model for Formal Mathematical Reasoning
2025-12-24 13:12:23
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.
~

AASTOCKS Financial News
Website: www.aastocks.com

(1) HK Indices are real time

Home|RT Quote|Market|News|Indices
Feedback

View: Mobile|Desktop
Lang: 繁|简|EN

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.