Problem with Lake new project with Mathlib

Stream: new members

[Brandon Gao]

PS D:\AI4M\AI4M_Test> lake new AI4M_Projects
PS D:\AI4M\AI4M_Test> $env:HTTP_PROXY="http://127.0.0.1:7897"; $env:HTTPS_PROXY="http://127.0.0.1:7897"
PS D:\AI4M\AI4M_Test> lake init AI4M_Projects math
info: downloading mathlib lean-toolchain file

When i lake init AI4M_Projects math, it keeps showing downloading mathlib lean-toolchain file.