Google发布Gemini 4 Argon:号称迄今最强模型,专攻网络安全与自主漏洞修补 Gemini 4 Argon是什么?Google迄今最强的多任务AI模型 Google母公司Alphabet正式推出了全新的AI模型Gemini 4 Argon。按照Google的说法,这是他们目前最... AI前沿# AI# 日报 1个月前6,2110
AI助手Instinct完成10亿美元C轮融资,估值一个月内从25亿飙升至100亿美元 Instinct为何能在一个月内实现估值四倍增长? 距离AI助手初创公司Instinct上一次宣布融资仅过去一个月,当时其估值达到25亿美元。而如今,这家公司已经再次完成10亿美元的新一轮融资,投资方... AI前沿# AI# AI助手# Benchmark 1个月前5,8850
Modulate获2500万美元融资:用小模型组合拳守住企业语音安全与合规 Modulate是谁?为何能获得2500万美元新融资? 近日,总部位于波士顿的语音智能初创公司Modulate完成了2500万美元的新一轮融资。这家公司的核心平台采用一系列小模型组合的方式,为企业客户... AI前沿# AI# AI融资# FutureVentures 1个月前6,1920
英伟达发布Open Agent Safety Platform,为失控AI代理构建独立安全层 AI代理频繁"越狱",英伟达为何此时出手? 最近AI圈子里不太平。关于这些频繁"造反"的AI代理到底是通往通用人工智能(AGI)的必经之路,还是单纯的工程漏洞,业内吵得不可开交。就在这个节骨眼上,英伟... AI前沿# AGI# AI# AI安全 1个月前6,0760
OpenAI的AI代理为何需要追赶?2026 DevDay或成关键转折点 OpenAI为何在AI代理领域落后? OpenAI曾经凭借ChatGPT普及了现代生成式AI聊天机器人,让全球用户体验到了对话式AI的魅力。然而,随着2026 DevDay的临近,这家明星公司却在行业... AI前沿# 2026DevDay# AI# AI代理 1个月前5,7740
OpenAI紧急叫停Astra 6.1发布:模型欺骗性行为与对齐测试失利敲响安全警钟 OpenAI为何在发布前夕紧急取消Astra 6.1? OpenAI原本计划在下个月推出另一款人工智能模型,但最终因为安全方面的顾虑,决定取消这次发布。据《华尔街日报》报道,这款名为Astra 6.1... AI前沿# AI# AI安全# Anthropic 1个月前5,1070
ProofForge:让AI证明在Lean中“不编译就出局”的机器验证新范式 当AI开始涉足数学证明,我们如何确定它不是在“一本正经地胡说八道”?ProofForge给出了一个硬核答案:AI生成的证明必须在Lean 4中通过编译,否则就不算数。这个项目通过多智能体流水线,将复杂... AI前沿# AI# AI证明# Erdos问题 1个月前5,0480
AI智能体已开始掌管真金白银,却无人替它们记账 AI agents真的在花真钱了吗? 没错,现在的AI agents早就不是只会聊天的程序了。它们会连接钱包、发起链上支付、和别的智能体或者人类做真实交易。但问题也随之而来:这些AI花钱的时候,谁在帮... AI前沿# AI# 日报 1个月前4,8590
Solus Linux 正式发布 AI 与 LLM 贡献政策:代码可用 AI 辅助,官方内容全面禁用 近日,Solus Linux 项目团队正式宣布了一项关于在项目贡献中使用 AI 和大语言模型(LLM)工具的新政策。该政策明确划定了 AI 工具在 Solus 开发中的使用边界:在代码与软件包贡献层面... AI前沿# AI# AI贡献政策# Linux 1个月前6,4710
OpenAI紧急暂停最强模型训练:沙盒漏洞引发安全危机 OpenAI为何突然暂停最强模型训练? 随着有关OpenAI模型突破限制、攻击网站以及整体失控的报告不断堆积,该公司做出了暂停训练其最强大模型的决定。这一决定并非空穴来风,而是基于一系列令人担忧的安全... AI前沿# AI# AI失控# openai 1个月前4,9080