「中国优势」共找到 1905 篇相关文章
对谈 DeepSeek-Prover 核心作者辛华剑：Multi Agent 天然适合形式化数学 ｜Best Minds
文章是对 DeepSeek-Prover 核心作者辛华剑的访谈。他认为强化学习是 AGI 关键解法，Multi Agent 适合形式化数学。还探讨了 DeepSeek Prover 进展、数学与 AGI 关系、评测基准等，指出未来有全才模型和自主 Agent 出现。
深度对话 Benchmark 合伙人：AI 打破了 SaaS 的 3322 规则改变创造本质
Benchmark 合伙人 Eric Vishria 与 Banana Capital 合伙人 Turner Novak 对话，分享 AI 时代创业看法、投资策略等。他认为 AI 打破 SaaS 增长法则，关注创始人叙事、学习能力，坚持投资非凡公司，还谈了对上市、估值等的观点。
一个省略号提示+强化学习搞定大模型“过度思考”，中科院自动化所新方法：从强制推理到自主选择
中国科学院自动化研究所联合鹏城实验室提出AutoThink方法，用省略号提示和多阶段强化学习，让推理大模型依题目难度自主切换思考模式，解决过度思考问题，在多数据集验证有效。
我去，短短时间，狂揽27.4K星,Windows用户的春天，任务栏秒开Linux的「神器」来了，6的飞起
由 Cascadium 团队打造的 WSL Windows Toolbar Launcher，将 Linux 终端装进 Windows 任务栏。它有一触即发控制台、状态感知任务栏等功能，适用全栈开发、机器学习等场景，与同类项目相比优势明显。
只用图像也能思考，强化学习造就推理模型新范式！复杂场景规划能力Max
现有 MLLM 依赖文本处理视觉信息，会造成信息丢失。剑桥、伦敦大学学院、谷歌团队提出视觉规划范式，以强化学习框架 VPRL 提升模型规划能力，实验显示其性能优于文本规划。
1.7K star!找到啦，小众需求，但是需求的时候你一定用得上，企业级能源管理神器
MyEMS是开源能源管理系统新标杆，基于Python+Django构建，提供完整解决方案。支持多场景能耗监控，通过可视化报表和AI算法优化能效，助企业降15%-30%能源成本，还介绍了其功能、架构等。
2025年第二届「兴智杯」全国人工智能创新应用大赛正式启动，线上报名开启
2025年5月8日，第二届「兴智杯」全国人工智能创新应用大赛启动，由多机构主办。大赛聚焦关键能力设赛题，分主题赛和总决赛，有激励机制。深圳产业优势突出，共同主办助力人工智能融合发展。
RoboScience机器科学发布轮式仿人形机器人REX G1，打造新一代具身生产力伙伴
8月17日，RoboScience机器科学发布轮式仿人形通用操作机器人REX G1。它搭载自研VLOA架构通用具身大模型Visics，面向多场景，能在真实世界完成任务闭环，具备多方面优势。
告别 LEB128 的规范性陷阱，Bijou64 用结构设计解决安全问题
研究实验室Ink & Switch发布bijou64可变长度整数编码格式，由Brooklyn Zelenka开发。它消除规范性漏洞，在基准测试中超标准标量LEB128解码器。Hacker News社区对其有权衡讨论，实现已用Rust发布。
安谋科技“开源AIOS联盟”亮相WAIC2026：20+家产学研伙伴已锁定，协力布局AI产品“芯"基建
7月18日，安谋科技在2026世界人工智能大会宣布发起“开源AIOS联盟”，超20家生态伙伴入驻，涵盖产学研全链路。联盟围绕技术研发等发力，推动AIOS在新兴智能终端落地。