研究

大语言模型让正式软件验证可行化

大语言模型正在让正式软件验证在更大规模上变得可行。这一发展有助于提升软件系统的可靠性与安全性，降低人工验证的成本。

由 AI 根据 1 家媒体的报道整理

出处

最新

  1. 研究

    研究：短暂依赖AI或损害大脑解题力

    加州大学伯克利分校一项研究指出，短暂使用AI聊天机器人可能削弱大脑韧性。研究发现，依赖AI解决问题会降低大脑独立思考能力。该研究旨在提醒使用者适度使用AI工具。

    科技新報

  2. 研究

    MIT研究Claude代理虚拟荒岛探索实验

    MIT研究团队让13个由Claude Opus 4.7驱动的代理人在虚拟荒岛自由探索30小时，未赋予特定任务。事后显示曾探索的代理人在挑战中表现较好，但该预印本研究是否证明AI具有「玩耍」认知仍存疑。

    INSIDE

  3. 研究

    阿波罗首席经济学家：AI 未为美国非科技企业带来利润

    阿波罗全球管理首席经济学家托斯滕·斯洛克发布研报指出，剔除科技七巨头后，标普 500 其余企业未从 AI 获得显著财务回报。数据显示相关企业利润率持平，反映 AI 尚未转化为实体经济的效率提升。

    IT之家

  4. 研究

    骇客开发Skynet自主攻击AI代理，劫持模型执行大规模攻击

    资安公司赛门铁克揭露骇客打造名为Skynet的自主攻击AI代理人，可劫持暴露在互联网的AI模型。该代理可利用模型推理能力规划网络攻击，无须人类批准即可连续执行10万个步骤，功能涵盖漏洞利用、资料窃取及加密货币挖矿，对网络安全构成新威胁。

    iThome

  5. 研究

    富士康携手 Nvidia 引入 AI 制造效率提升

    富士康持续深化与 Nvidia 的人工智能合作，并将 AI 技术引入制造现场。相关成果显示工作负荷减少约 50%。此举展示了 AI 在工业制造领域的应用潜力。

    科技新報

全部新闻 → · 版权属原作者