跳到正文
  1. TechCrunch · AI80

    中国黑客利用 ConnectWise 云备份服务入侵约 2,250 家机构

    Microsoft 安全研究人员称,与中国国家有关联的黑客入侵 ConnectWise 云备份服务,窃取用于连接 ConnectWise 与企业客户的应用凭证,并借此访问客户的 Microsoft 托管环境及其中的邮件和文件。

  1. Microsoft Research76

    Microsoft Research推出Flint-interactive交互式数据可视化语言

    Microsoft Research推出Flint-interactive,这是一种构建交互式数据可视化的语言,可让智能体生成用户能够点击、筛选、缩放和跨图表交互的图表。

    推荐理由:Flint-interactive把交互语义与底层渲染逻辑分开处理,并提供聊天、应用和编程接口等入口,说明其如何降低构建交互式数据可视化的复杂度。

  1. Microsoft Research85

    Microsoft Research 研究者与合作者证明 KLS 猜想,解决 31 年数学难题

    Microsoft Research 研究者与合作者证明了提出于 1995 年的 Kannan–Lovász–Simonovits(KLS)猜想,证明相关界限不随维度增长。研究团队采用人类引导的 AI 智能体搜索流程,探索了约 100 条研究路径;同等总 token 预算下的无引导尝试未能解决问题。独立团队随后给出并行证明,另有 Lean 4 形式化验证工作。

    推荐理由:研究展示了人类引导 AI 智能体探索数学思路的具体流程,并与同等 token 预算下未能解决问题的无引导尝试作了比较。

  1. GitHub Blog · AI & ML66

    GitHub Copilot 如何帮助 3 位 Java Champions 提升效率

    GitHub Blog 采访了三位 Java Champions,介绍他们如何在生产项目和开源工作中使用 GitHub Copilot 提升效率。案例包括将约 900 页教学幻灯片从 Reveal.js 迁移到 Marp,以及借助编码智能体排查 Pi4J 的第五个输入按钮无响应问题;受访者强调,开发者应先明确需求、设置与任务匹配的验证门槛,并对最终代码负责。

    推荐理由:三位 Java Champions 以迁移幻灯片、排查硬件输入故障等案例,展示如何为智能体任务设置验证门槛并保留人工责任。

已经到底了