AI大模型

Anthropic认为，如果类似的自动形式化技术能够扩展到更多现代数学成果，就有望降低数学研究中验证新证明的人工成本。

OpenAI最新发生的智能体集群失控事件，加剧了外界对独立调查机制的呼吁，研究人员和立法者开始质疑AI实验室是否应完全掌控自身安全审查的范围。

该公司正在与潜在投资者进行谈判，计划在IPO前完成新一轮融资，以扩大其AI数据中心和云服务能力。

这是OpenAI内部监控与安全系统的最新一次失效。

英伟达通过提供驱动AI所需的芯片、为AI基础设施建设提供资金以及投资其他AI企业，成为推动AI热潮的核心力量。

该工具能够在自然语言指令下完成照片编辑、相册整理、创建共享合集以及将照片转化为日历事件等操作，标志着AI助手从对话式交互向主动式数字资产管理迈出关键一步。

如果英伟达表现强劲，整个生态链上的企业都会表现强劲。

百度AI业务收入占一般性业务收入的比例已连续两季超过一半。

逻辑折叠大幅缩短信号走线长度，直接削减占据功耗大头的互连电容开销。

当人们觉得AI行业的领导者可能并不希望他们拥有这些东西时，我认为他们产生恐惧完全可以理解。

高级AI带来的最大威胁，可能并非单一的超级智能系统，而是由大量半智能AI组成、彼此串通协作的庞大群体。

Meta通过将数据共享与定价挂钩，为AI模型商业化提供了一种新的路径，但同时也引发了关于用户数据价值与隐私边界的讨论。

Aisle在Mythos和Codex均未报告任何发现的情况下，识别出了六个Curl漏洞。

按照部分指标衡量，Kimi K3的表现几乎可以与OpenAI、Anthropic等公司的领先模型相匹敌。

智能的进步，不保证对齐的进步。

Threadripper Halo Station基于96核心锐龙Threadripper PRO处理器，配备2块Instinct MI350P显卡加速器，支持2TB系统内存。

微软承认许多Azure DevOps客户尚未准备好迁移至GitHub，因此将Copilot代码审查功能扩展至Azure Repos。

与联想、中兴、火山引擎等30家单位同获长三角区域”智能体身份码节点”证书。