AI资讯新闻榜单内容搜索-Deep

AITNT-国内领先的一站式人工智能新闻资讯网站
# 热门搜索 #
搜索: Deep
刚刚,Gemini 4 Carbon全球全量开放,4周、650万行数学证明验证「Signal安全」

刚刚,Gemini 4 Carbon全球全量开放,4周、650万行数学证明验证「Signal安全」

刚刚,Gemini 4 Carbon全球全量开放,4周、650万行数学证明验证「Signal安全」

Google DeepMind全球开放Gemini 4 Carbon,并以AlphaProof Code驱动AI Agent在四周内为Signal生成逾650万行经机器检查的Lean证明代码,验证其核心实现的安全属性。

来自主题: AI资讯
8815 点击    2026-11-11 09:41
开源版Super-agent降临,狂揽8万星!已跑通24小时全自动运营公司

开源版Super-agent降临,狂揽8万星!已跑通24小时全自动运营公司

开源版Super-agent降临,狂揽8万星!已跑通24小时全自动运营公司

DeepSeek Harness 团队发表《Super-agent 设计探索》后,新智元实测 GitHub 星标超8.4万的开源公司 LobeHub,其 Agent 平台已让 Claude 与 ChatGPT 协作生成 AI 日报,验证多 Agent 可持续执行并交付结果。

来自主题: AI资讯
8421 点击    2026-11-07 14:49
DeepSeek砸出「真OS」!140万日活狂烧92万亿Token

DeepSeek砸出「真OS」!140万日活狂烧92万亿Token

DeepSeek砸出「真OS」!140万日活狂烧92万亿Token

DeepSeek正筹备插件作者支持计划,通过官方插件市场、Token补贴和流量推荐推动生态;DeepSeek Harness发布一个多月已有约3.5万个公开第三方插件,日活超140万、月活548万,日均Token消耗估计超91万亿。

来自主题: AI资讯
9857 点击    2026-11-06 15:54
DeepSeek带火稀疏计算,国产芯片公司加速突围:这家公司又融近10亿

DeepSeek带火稀疏计算,国产芯片公司加速突围:这家公司又融近10亿

DeepSeek带火稀疏计算,国产芯片公司加速突围:这家公司又融近10亿

墨芯人工智能完成近10亿元人民币C+轮融资,距上一轮近10亿元融资仅5个月,并正依托专用稀疏推理芯片技术加速规模化落地与商业化。

来自主题: AI资讯
9699 点击    2026-11-06 15:52