深度思维正式推出“数学做题家AI” 2025-11-18 12:06:50 商业财经 3186 科技日报北京11月12日电（记者张梦然）《自然》杂志12日发表了一项重要成果：英国深度思维正式推出其开发的“数学做题家AI”AlphaProof，其成功证明了复杂的数学定理，并在......
