视频「缺陷」变安全优势：蚂蚁数科新突破，主动式视频验证系统RollingEvidence

蚂蚁数科AIoT团队论文提出主动式可信视频取证系统RollingEvidence，利用相机卷帘门效应嵌入物理水印，结合AI与概率模型验证，抵御伪造篡改，在检测准确率和防护能力上优于传统技术。

假简历狂骗硅谷 10+ 家 AI 公司、拿多头薪水被锤！印度工程师喊冤：每周拼 140 小时，我也很绝望

印度工程师 Soham Parekh 同时供职多家硅谷初创公司被曝光。他面试表现佳，获多家公司青睐。Parekh 称是为摆脱财务困境，每周工作 140 小时。事件引发争议，有人视其为骗子，也有人建议他利用名气创业。

2025 Google I/O 大会开发者主旨演讲干货盘点

今年 Google I/O 大会开发者主旨演讲亮点多。展示在 Google 平台应用构建，利用 Google DeepMind 的 AI 模型创新。如 Google AI Studio 集成 Gemini 2.5 Pro，还有 Jules 等工具，以及多款新模型发布。

2025年4月17日消息，OpenAI 连发o3和o4 mini，o3为强大推理模型，o4-mini专为高效推理优化。它们能调用ChatGPT工具，可基于图像思考。OpenAI还开源本地代码智能体Codex CLI，兼容所有模型。

老黄玩Nano Banana上瘾，拉着哈萨比斯大夸特夸，“不会有人不喜欢吧？”

英伟达CEO黄仁勋公开宣称是Nano Banana的忠实粉丝，还向DeepMind CEO哈萨比斯大夸特夸。他也常用多种AI工具处理事务，提升效率。Nano Banana有新玩法，让Gemini走红，拉下ChatGPT下载量榜首。

Anthropic深夜连放两弹：Sonnet 5、全新AI科研App重磅上线

Anthropic 深夜发布两个重磅更新：Claude Sonnet 5和面向科研人员的AI工作台Claude Science。Sonnet 5性能接近Opus 4.8，提升Agent能力且价格低；Claude Science整合科研工具，支持复现产出、自动管理算力、多学科查询。

全球首富红眼All in！马斯克600亿收购Cursor，挤上ASI末班车

SpaceX签署最终协议，600亿全股票收购Cursor母公司Anysphere。马斯克的xAI发展不顺，而Cursor被Anthropic打压。编程工具赛道已三分天下，Cursor是独立入口，马斯克此举是为搭上ASI末班车。

AI4S又一瓶颈被攻克：两个AI「吵架」，让科研代码部署成功率突破95%

科学软件大多难直接运行，制约AI4S与Agentic Science发展。Deploy - Master应运而生，是一站式自动化工作流。Search Agent筛选工具，Build Agent用双模型辩论机制使部署成功率超95%，为科学智能体交互打基础。

OpenAI 收购了自己的“甲方”公司

当地时间12月3日，OpenAI宣布收购Neptune.ai，该公司为企业提供AI模型训练跟踪工具，OpenAI本就是其客户。虽未披露财务条款，但报道称将以不到4亿美元股票支付，交易仍需满足成交条件。

狙击Gemini 3！OpenAI发布GPT-5.1-Codex-Max

Gemini 3力压全场，OpenAI发布GPT-5.1-Codex-Max应对。它突破上下文窗口限制，能连续工作超24小时，在METR达新SOTA，推理更快，还推出xhigh推理力度选项，已支持与多种工具结合。