标签：AI
AI大佬Andrej Karpathy提出的氛围编程靠谱吗？
氛围编程（Vibe Coding）是由AI专家Andrej Karpathy提出的一种新型编程方式，旨在通过自然语言描述功能，由AI助手生成代码，从而降低编程门槛，使非专业程序...
马斯克「大闹白宫」！美政府12000人将被GSAi优化，xAI 100万块GPU巨兽年底建成
马斯克领导的政府效率部（DOGE）正在加速开发一款名为GSAi的定制生成式AI应用，旨在提升美国总务管理局（GSA）约12,000名员工的日常工作效率。这一计划是特朗...
Claude玩宝可梦，卡关就「装死」重启，大模型：逃避可耻但有用
Anthropic最近发布了其最新的AI模型Claude 3.7 Sonnet，该模型在推理能力上表现出色，甚至在某些情况下展现出令人惊讶的决策能力。为了展示其强大的推理能力...
都盯上了HBM
随着人工智能技术的快速发展，高性能内存（HBM）的应用领域正在从数据中心和服务器市场逐步扩展到智能汽车和移动设备领域。近年来，HBM凭借其卓越的性能优势...
在大模型上没啥动静的美团，正在用另一种方式开抢AI的船票
中国互联网公司正经历资产重估，科技成为推动这一变化的核心动力。美团作为其中的代表，正在其第二个十年中加大对科技的关注。公司创始人兼CEO王兴在内部沟通...
通俗易懂说清楚什么是MCP
MCP 是一种由 Anthropic 公司推出的开放标准协议，旨在统一大型语言模型（LLM）与外部数据源和工具之间的通信。与 HTTP 或 TCP 类似，MCP 充当 AI 助手与数字...
解构Manus AI：从Artifacts到Deep Research，Manus的技术创新和整合有哪些？
Manus的出现引发了中文媒体的广泛关注，尤其是自媒体的狂热反应，将其视为“通用Agent”的实现和继DeepSeek之后的又一技术革命。在GAIA测试中，Manus的表现超越...
被骂惨的“现象级”Manus，今天我们来扒一扒它的真实水平！
由中国团队发布的 AI Agent 产品 Manus 近日在 AI 圈迅速走红，成为热门话题。这款产品被描述为一个真正自主的 AI 助手，能够直接交付完整的任务成果，涵盖写...
7B级形式化推理与验证小模型，媲美满血版DeepSeek-R1，全面开源！
随着大模型在形式化证明写作中的需求日益增长，形式化推理与验证（formal reasoning and verification）逐渐成为研究的焦点。然而，现有的形式化推理大模型大...
南京AI放大招：Agent平台支持100+智能体，跨系统调用成功率99.2%
近年来，随着国产大模型的突破性进展，AI Agent作为大模型向应用端落地的重要途径，逐渐成为行业关注的焦点。Agent能够解决复杂多变的任务，成为推动AI应用落...
