「AI数学家系统」共找到 10495 篇相关文章
Meta重组AI团队后首个模型来了：不是最强、不再开源、可能够用
当地时间4月8日Meta发布Muse Spark，是重组AI团队后首个模型。它计算效率有提升，在多模态和健康任务领先，但在编程等场景落后。该模型闭源，适配Meta产品，未来优先产品再生态。
开源 x AI 的靠谱答案，都在这场嘉年华里了 | Q推荐
2025 Inclusion·外滩大会期间的开源嘉年华，用“上手体验 + 实战分享”回应开发者、创业者需求。创新舞台有精英分享，代码原生地可实操MCP工具，有童心趣工坊、互动展区等，助力开源生态发展。
看遍奥斯卡后，VLM达到电影摄影理解新SOTA｜上海AI Lab开源
上海人工智能实验室等推出ShotBench、ShotVL及ShotQA，ShotBench含超3.5k问答对，ShotQA约7万个问答对。ShotVL在ShotBench评测中表现出色，3B参数的ShotVL-3B增益达19.0%，超越GPT - 4o等。
Agent Team 实践与架构设计：在约束下构建可演进的一个人开发团队
作者结合构建的Routa，探讨在Token、流程、工具选择等约束下构建可演进的多Agent系统。介绍了Routa架构、原则，如跨Agent通信、状态外置等，还阐述了各设计要点及示例，强调系统可演进性。
微软老员工48岁生日被裁，妻子发帖怒斥算法裁人！全球大血洗6000人
微软全球裁员6000人，25年老员工生日当天被算法选中裁掉，他曾修复百万美元漏洞；TypeScript核心成员、AI总监也在裁员名单。微软称与绩效无关，是为简化管理层级，也可能因职位被AI取代。
用 Codex 拯救我的 Mac
作者从2008年开始用Mac办公研发，历经系统更迭未重装。现因系统更新，不少程序是Intel版，用Rosetta 2转接，很混乱。介绍用Codex清理开发环境、更换M芯片版本Homebrew的方法。
成立半年连续获数千万融资，智子芯元凭什么卡位国产算力生态？｜甲子光年
智子芯元成立半年获数千万天使轮融资。国产AI算力生态面临适配难题，该公司用“AI+运筹”解决。其核心技术“运筹学x大模型”，自研KernelCAT引擎，实现多场景高效交付，具泛化性。
OpenAI 新任应用CEO 首发长文：人工智能将成为人类历史上最大的赋能源泉。
前Instacart CEO Fidji Simo 8月18日加入OpenAI任应用CEO，她在长文表示AI可成人类最大赋能源泉，提出AI赋能的六个关键领域，强调技术价值在于让更多人受益。
一文带你彻底理解AIGC、Agent、MCP的概念和关系
本文为非AI开发者科普AIGC、Agent、MCP概念和关系。AIGC用AI生成内容；Agent可自主决策调用工具；MCP是Anthropic开源协议，降低模型与工具集成成本，获大厂支持。
AGI真方向？谷歌证明：智能体在自研世界模型，世界模型is all You Need
谷歌DeepMind研究人员表明，通用AI智能体处理复杂长期任务需学习内部世界模型，还证明可从智能体策略提取该模型。此研究成果补充多领域，对AI发展和安全意义重大。