「M5Stack」共找到 2068 篇相关文章
AI Agent搞定世纪首次菲尔兹奖成果形式化！一周时间独立完成，20万行代码已公开
Math公司的AI Gauss用5天完成原本需6个月的菲尔兹奖级数学成果形式化证明，一周搞定24维情形，还修正原论文错误。其创始人是xAI联合创始人Christian Szegedy，代码已公开。
完全开源低成本的双足机器人
Unitree Qmini是完全开源的低成本双足机器人，能3D打印制作。它有完整开源资源，开发者可轻松获取组件，3 - 5小时完成组装。其设计模块化，适用于个人、教育、研究等多场景。
Google I/O 2026 | 开发者主题演讲精华集锦
在今年 Google I/O 大会上，谷歌发布 Gemini 3.5 系列模型，升级 '智能体优先' 开发平台 Antigravity，展示新工具和技能，助力开发者构建应用，还介绍了多项新技术及功能，另有招募活动。
让AI说人话，Anthropic开源内部最火的skills。
周末，Anthropic官方分享并开源内部常用的skills——eli5，其作用是让AI说人话，解决模型回复冗长啰嗦问题。还介绍了安装方法，指出从opus4.6起，模型coding和agent能力变强但人味淡。
微软为3万名政务人员提供Copilot AI
CNBC消息，旧金山市长宣布为3万政府人员提供微软Copilot AI，用于行政工作提效。经六个月试点，该AI为人员每周提效5小时，还能处理多语言翻译等事务，使旧金山成全球应用AI最多城市之一。
多模态RAG哪家强？9 个 Embedding、4 类 MLLMs、4 大框架实景比拼
现有文档 RAG 评测存在不足，华南理工和华科推出 DOUBLE - BENCH 进行多模态 RAG 实战评测，结果显示检索是瓶颈，模型爱胡说。快手开源 Keye - VL - 1.5 - 8B，PaperAgent 有实操指南。
Anthropic滑跪认错！Claude暗中降智实锤
开发者argofowl排查后发现Claude Code将「high」推理程度读成原本「low」对应的值，原来Anthropic在做实验。科技博主曝光后AI圈炸锅，工程师虽回应，但Opus 5也被指降智。
大涨240%，Doc-Researcher确立多模态文档深度研究新范式
在ChatGPT引领的AI革命中，大语言模型面对专业复杂文档常“束手无策”。Doc-Researcher提出三位一体解决方案，构建M4DocBench评测，性能远超现有方案，还适用于多产业场景。
马斯克狂烧14万亿，5000万H100算力五年上线！终极爆冲数十亿
马斯克宣布5年内实现5000万张H100的算力，成本超2万亿美元。他已有Colossus超算集群，Grok系列模型也展现强大实力。目前Colossus 2在分批落地，供电采取多元化措施。
AI4S设计的新抗生素通过湿实验！双层思考+多目标优化，主动发现「代谢不稳」并加约束
SAGA是新AI，采用双层思考机制，能主动审视需求、优化目标函数。在抗生素、纳米抗体等5大领域湿实验中表现出色，结果获科学家肯定，相关代码已开源。