深度思维正式推出“数学做题家AI”

《自然》杂志12日发表了一项重要成果：英国深度思维正式推出其开发的“数学做题家AI”AlphaProof，其成功证明了复杂的数学定理，并在2024年国际数学奥林匹克竞赛(IMO)中取得了相当于银牌的优异成绩。这项研究展示了AI在高难度数学推理领域的显著进步。深度思 【全文】

七大“深度科技”将引领全球农业变革

今天，全球农业正站在一个决定性的十字路口。气候变化、资源退化、人口结构变动与地缘政治动荡交织，给世界养活日益增长人口的能力带来空前压力。传统方法虽不可或缺，却难以应对这些挑战，全球农业亟须一场由“深度科技”引领的系统性变革。深度科技是指以先 【全文】