智源:70万预算从头开发千亿参数大模型,挑战成功