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

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

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

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

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

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

AlphaEvolve还能优化低级GPU指令。AlphaEvolve对基于Transformer的FlashAttention内核实现了高达32.5%的提速。这种优化可以帮助专家找出性能瓶颈，并轻松地将改进措施纳入代码库，从而提高他们的工作效率，并在未来节省计算和能源。

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

第二是经济损失。本次事件，迪奥要承担调查和补救数据泄露事件的费用。同时，客户流失下降会导致收入减少，投资者信心丧失甚至影响集团股价。攻击者还可能利用客户数据进行精准诈骗或出售到暗网，进一步放大损失。

文章地址：https://www.nature.com/articles/d41586-025-01485-2?utm_source=x&utm_medium=social&utm_campaign=nature&linkId=14414809 ...

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

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