学科: 软件工程

人工智能正在彻底改变软件安全漏洞的发现与分析方式：过去靠人工判断崩溃是否危险，如今AI能自动识别、归因、评估可利用性并提出修复建议，大幅提升效率，但也带来报告过载等新挑战。

标签: 人工智能安全 人机协同 模糊测试 漏洞挖掘 软件可靠性

一家名为Thinking Machines的新公司发布了开源大模型Inkling，它能理解音视频和文字，具备高级推理与编程能力。该模型参数达9750亿，需专用芯片集群运行，旨在推动AI技术去中心化、让更多人用自有数据训练专属模型。

标签: AI去中心化 前OpenAI创业公司 多模态理解 开源大模型 推理可解释性

苹果在iOS 27中全面升级Siri，将其从语音助手变为能理解上下文、跨应用调取信息、支持文字聊天与屏幕识别的智能助手。它能帮你找老照片、订餐厅、规划路线，甚至根据聊天记录提醒你看电影——让iPhone真正‘懂你’。

标签: Siri AI iOS 27 屏幕感知 智能助手整合 设备端索引

本文探讨编程语言发展中的核心矛盾——'双语言困境'：科学家用易学但慢的Python做原型，再用快但难的C++重写关键部分。Julia曾被寄望统一二者，虽未取代Python，却在科研与工程领域（如NASA、药物研发）取得扎实成功。

标签: Julia语言 双语言困境 科学计算 符号系统 编程语言设计

Anthropic推出新版Claude Cowork AI助手，无需保持电脑开机或屏幕常亮，就能自动处理邮件、会议记录、日程安排等日常任务，用户可通过手机App或网页直接使用——普通人也能轻松上手的智能办公伙伴。

标签: 后台自动化 手机端AI 智能办公 聊天式交互

瑞士初创公司Flexion Robotics开发出一种新方法：先在电脑模拟中教会机器人开门、爬楼梯、搬箱子等基础技能，再用一个‘主AI’自动组合这些技能完成复杂任务。普通人只需下达自然语言指令，机器人就能自主执行，无需人工遥控。

标签: 人形机器人 任务规划 仿真训练 强化学习 机器人基础模型

中国自主研发的超算‘凌 Shine’（LineShine）登顶全球最快超算TOP500榜单，是近十年来首台夺冠的中国系统。它不依赖美国GPU芯片，而是用国产部件+创新架构实现每秒2.19百亿亿次运算，兼顾传统科学计算与人工智能任务。

标签: 人工智能计算 国产芯片 科学计算 超级计算机

面对AI自动发现漏洞能力激增带来的巨大压力，OpenAI联合多家安全机构发起‘修补地球’计划，为开源项目免费提供定制化安全支持，帮开发者快速修复高危漏洞、优化代码、引入AI安全工具，让开源软件真正跟上AI时代。

标签: AI安全工具 AI漏洞挖掘 修补地球 开源安全 网络韧性

面对2026世界杯天价球票和混乱售票，普通球迷自发组建Reddit社区，用AI工具实时追踪票价、揭露黄牛、互助避坑，甚至绕过FIFA官方转售平台省钱。这不仅是购票攻略，更是一场草根反垄断行动。

标签: AI票务工具 FIFA售票争议 世界杯门票 二手票务避坑 球迷草根行动

苹果全新升级的Siri AI助手，基于用户个人数据（如短信、照片、邮件）深度定制，能自然对话、理解意图、跨App操作，并整合谷歌Gemini模型提升智能水平。它不是炫技的聊天机器人，而是务实好用的随身旅行向导和生活助理。

标签: Siri AI iOS 27 个性化语音助手 隐私优先设计