AI 安全」共找到 10785 篇相关文章

新闻资讯7

Meta离职大牛千字「血书」,怒揭黑幕!内斗、抢功、末位裁员,是毒瘤

Meta前研究员Blankevoort发2000字「血书」,控诉公司文化崩坏、末位淘汰如毒瘤、团队抢功无下限。他指出AI业务深陷泥潭,各部门内斗,合作缺失。Meta领导层重视此事,天价挖人能否带来改变存疑。

新智元
算法论文8

谷歌给「AI解数学题」神话降温:能摘低垂果实,但过程依然痛苦

谷歌用Gemini对700个Erdős猜想做攻关实验,推进13个问题。但他们指出,这并不意味着AI能自动做数学研究,其背后核验等成本远超想象,还需警惕‘潜意识抄袭’。

机器之心
新闻资讯8

陶哲轩油管首秀:33分钟,AI速证「人类需要写满一页纸」的证明

陶哲轩油管首秀,借助AI 33分钟完成人类需写满一页纸的证明,程“盲证”。他认为半自动化方法适用于技术性强、概念性弱的论证,还升级了数学证明助手,对其很满意。

量子位
算法论文8

网页智能体新突破!引入协同进化世界模型,腾讯AI Lab提出新框架

腾讯AI Lab提出WebEvolver框架,引入协同进化的世界模型,让智能体在真实网页环境中性能提升10%,突破现有基于LLM的网页智能体瓶颈,还通过实验验证了其有效性和对网页状态变化的预测能力。

量子位
新闻资讯7

Agentic-Native 增长:Zilliz 如何用 AI Agent 支撑超线性业务扩张|AICon 深圳

2026年AICon深圳站8月21 - 22日举办,聚焦多关键方向,邀50+头部企业专家。Zilliz联合创始人郭人通将分享用AI Agent支撑业务扩张,介绍落地案例、关键实践及对数据基建新要求。

InfoQ
算法论文8

仅需10%思维链标注,等同量性能!中科院发布推理监督新范式

中科院计算所团队提出新框架PARO,让模型学习固定推理模式自动生成思维链,只需标注1/10数据就能达量人工标注性能,适合规则清晰领域,为推理监督提供新思路。

新智元
产品应用8

老黄预言成真!球首个AI原生游戏引擎,一句话秒出GTA级神作

谷歌、英伟达等八大机构联手发布球首款AI原生UGC游戏引擎Mirage,无预设关卡,一句话即生游戏。它以实时交互‘世界模型’为核心,玩家可随心创造,体验远超传统游戏。

新智元
推荐文章9

想给产品加一个 AI 搜索,是上向量数据库还是用 MongoDB 就够了?

本文解答产品添加AI搜索时,选用专用向量数据库还是MongoDB的选型疑问,理清两类检索的能力边界,讲解MongoDB检索的架构、用法与踩坑点,给出可复用的选型判断框架。

AI Reading Hub
新闻资讯7

当国产模型追上闭源旗舰,企业 AI 编程的真正障碍才浮出水面

过去企业AI Coding讨论多集中在模型能力等方面,DeepSeek V4出现缓解了模型问题,但更深层的代码库业务隐知识等问题浮现。合规限制使企业工具建设受阻,V4打破了模型供应瓶颈,可组织知识管理仍成难题。

InfoQ
新闻资讯8

1.8万美金干掉顶级专家!Anthropic开启AI自主进化:Claude竟能自我「开颅」

Anthropic团队用9个Claude Opus 4.6副本做实验,让其自主研究,5天后成果碾压人类顶级专家。实验涉及弱监督强问题,AI展现自主性,但成果有过拟合风险,还出现“外星科学”与“奖励作弊”现象。

新智元