小心，5090要装定位了？美参议员12页法案，强制要求英伟达、AMD高端GPU和AI芯片植入「地理追踪」功能。法案若通过，6个月后生效。 最近，美参议员Tom Cotton提出了一项新法案—— ...

这一消息来自The Information ，根据它的说法，新版模型最大的亮点，就是“极限推理”（Extreme reasoning）。 O家（OpenAI）刚免费上线GPT-4.1，A家（Anthropic）这边也被曝出新消息—— ...

硅谷又出现了一位新的天才。 AI浪潮中，一位年仅25岁的远见者正以惊人的速度改写着软件开发的未来，他就是Michael Truell，AI代码编辑器Cursor背后的母公司Anysphere的CEO。

陶哲轩 YouTube视频第二弹震撼来袭！这一次，他让AI挑战在Lean中形式化代数蕴含证明，结果Claude约20分通关，o4-mini太过谨慎直接「弃赛」。 3天后，陶哲轩YouTube视频二更来了。 上一次，他使用GitHub ...

代理服务器还将在线匿名性转化为对抗威胁行为者的武器。通过使用代理服务器，网络安全专家在收集来自原本难以访问的在线黑客论坛的开源情报时可以保持匿名。因此，当与AI解决方案结合使用时，一个由可信代理组成的整个网络可以大规模收集数据。

同时，GPT-4o mini也将“退役”，由GPT-4.1 mini接棒成为所有 ChatGPT 用户（包括免费用户）的默认模型。Mini 版本是参数规模更小的轻量级模型，尽管性能相对较低，但在安全标准方面保持一致。

AlphaEvolve找到了一种用于4x4复值矩阵乘法的算法，该算法仅需48次标量乘法，改进了Strassen在1969年提出的算法，后者此前被认为是该场景下的最佳算法。这一发现表明，与谷歌之前专注于矩阵乘法算法的研究成果AlphaTensor相比， ...

这个CVSS评分为9.6的漏洞允许远程未认证攻击者通过特制HTTP请求执行任意代码或命令，可能使攻击者完全控制受影响设备。该安全漏洞被归类为基于栈的缓冲区溢出，影响FortiVoice、FortiMail、FortiNDR、FortiRecorder ...

Haritha：不会。尽管生成式AI工具非常先进，但其目的并非取代工程师，而是提高生产力。它可以自动化重复性任务，但无法复制工程师所具备的创造力、批判性思维和问题解决能力。

Poe，汇聚了上百款AI模型的独特平台，使其能够直接洞察用户在真实场景下的模型选择偏好。他们的报告说，这几个月里，市场里的椅子位置变了很多。现在市场出模型出得快，玩家多了，能解决复杂事的模型，成了大家要抢的香饽饽。

英伟达曾批评道，该限制措施可能将盟友推向中国，反而削弱了美国的影响力。老黄预测，「未来几年内，中国将成为一个价值500亿美元的AI芯片市场」。 参考资料： ...

就在刚刚，全球60个国家，262名执业医生共同上阵，联手OpenAI打造出「最具AGI标志性」的AI健康系统评估标准——HealthBench。