16.5小时刷新IMO金牌战绩，字节Seed发布最强数学模型