计算机科学与技术是研究计算机系统的设计、开发、应用及其理论基础的学科,涵盖硬件、软件、网络、算法、人工智能、数据科学等多个领域。它融合数学、逻辑学与工程技术,致力于提升计算效率、解决复杂问题,并推动信息技术在各行业的创新应用,如云计算、大数据、物联网等,是现代科技发展的核心驱动力之一。(该学科下共有 475 篇文章)
作者: aeks | 发布时间: 2025-11-15 06:04
作者: aeks | 发布时间: 2025-11-13 06:02
学科: 材料科学与工程 物理学 电子科学与技术 计算机科学与技术
一篇发表在《自然》的研究(2025年,647卷343-348页)报道了二维Transmon量子比特的毫秒级寿命和相干时间,这对量子计算实用化意义重大,涉及量子信息、量子物理和材料科学领域。
标签: 二维Transmon量子比特 材料科学 量子信息 量子物理
作者: aeks | 发布时间: 2025-11-13 06:02
人工智能旨在构建复杂推理系统,数学是典型领域。现有AI缺形式化验证,我们提出AlphaProof:受AlphaZero启发,用强化学习训练数百万自动形式化问题,难题用测试时强化学习。2024年IMO上,它与AlphaGeometry 2结合,解决3道非几何题(含最难),经多日计算获银牌,系AI首获奖牌级成绩,证明大规模基础经验学习可产生复杂数学推理智能体,为可靠解题AI铺路。
标签: AlphaProof 国际数学奥林匹克 强化学习 形式化证明 数学推理