学科: 计算机科学与技术

计算机科学与技术是研究计算机系统的设计、开发、应用及其理论基础的学科，涵盖硬件、软件、网络、算法、人工智能、数据科学等多个领域。它融合数学、逻辑学与工程技术，致力于提升计算效率、解决复杂问题，并推动信息技术在各行业的创新应用，如云计算、大数据、物联网等，是现代科技发展的核心驱动力之一。(该学科下共有 1232 篇文章)

磁性纤维让机器人拥有轻柔抓握能力

作者: aeks | 发布时间: 2025-11-14 20:01

学科: 机械工程材料科学与工程纺织科学与工程计算机科学与技术

能按需变形的智能布料应用前景广阔，但磁性材料融入细纤维曾是难题。研究人员现已将软磁性材料熔入类工业服装纤维，制成可‘呼吸’贴片、传触感手套及机器人‘软指尖’，有望推动触觉信息共享、游戏可穿戴设备及机器人轻柔操作发展。

标签: 可穿戴设备智能布料机器人指尖磁性纤维触觉手套

科学家发现了一种比钻石还硬的材料

作者: aeks | 发布时间: 2025-11-14 08:02

学科: 材料科学与工程物理学电子科学与技术计算机科学与技术

研究团队发现，超高纯度的砷化硼（BAs）晶体室温导热率超2100 W/mK，或超越钻石，挑战现有理论，为智能手机、大功率电子设备等的散热与半导体技术带来新希望。

标签: 半导体材料导热率材料纯度理论模型砷化硼

量子连接距离大幅提升200倍

作者: aeks | 发布时间: 2025-11-14 00:04

学科: 光学工程物理学电子科学与技术计算机科学与技术

此前量子计算机仅能通过光纤连接数公里，芝加哥大学钟天团队通过改进材料制备方法，将铒原子相干时间从0.1毫秒提升至超10毫秒，理论上使量子连接距离可达数千公里，为全球量子互联网建设迈出重要一步。

标签: 分子束外延相干时间稀土掺杂晶体量子互联网铒原子

Anthropic公司让Claude控制机器狗

作者: aeks | 发布时间: 2025-11-13 18:03

学科: 人工智能控制科学与工程机械工程计算机科学与技术

Anthropic的新研究显示，Claude能自动化机器人编程工作，帮助无机器人经验的研究者更快完成部分任务（如让机器狗找沙滩球），展现了AI的代理编码能力，暗示其可能向物理世界延伸，同时引发对未来风险的关注。

标签: AI模型风险

AI热潮推动芯片网络加速发展

作者: aeks | 发布时间: 2025-11-13 12:03

学科: 信息与通信工程光学工程电子科学与技术计算机科学与技术

随着AI数据中心投入激增，芯片网络技术成创新热点。传统电子互联难满足高带宽需求，光技术（光子学）受青睐，英伟达、博通等巨头与Lightmatter等初创公司竞逐。虽光网络成本高、需适配现有系统，但其提升数据速度潜力大，被视为未来计算关键。

标签: AI芯片网络光子学光技术数据中心互联芯片初创公司

新材料让量子比特更高效

作者: 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 国际数学奥林匹克强化学习形式化证明数学推理