「科学软件」共找到 855 篇相关文章
人大高瓴孙浩团队发表Nature子刊封面文章：基于并行符号枚举的物理定律发现
中国人民大学高瓴人工智能学院孙浩教授团队在《自然 - 计算科学》发表封面论文。提出PSE框架解决符号回归瓶颈，通过公共子树复用和GPU并行提升评估效率，实验表现优于现有方法，也指出了局限性与未来方向。
更全面的具身智能真机评测来了！CVPR 2026 ManipArena挑战赛邀你打榜
具身智能产业发展迅速，但缺统一、高标准真机评测体系，成发展痛点。中山大学等机构推出 ManipArena 挑战赛，提供科学评测框架，已测部分模型，揭示不同技术路线能力边界，为产业发展提供基础。
未来两年软件工程展望：从写代码到管 AI，程序员正分化成两种职业
软件行业处于转折点，AI编程发展，企业更重效率。文章探讨五个关键问题决定2026年软件工程走向，如初级开发者招聘或暴跌或反弹，开发者技能可能退化或更关键等。还为不同阶段开发者给出应对建议。
保姆级Clawdbot教程来了，但我还是想劝大家悠着点。
Clawdbot爆火致Mac Mini断货，它是本地高权限的个人AI助理，功能与Claude Code类似，但有接入聊天软件、长期记忆、开源等特点。文章给出安装教程，也提醒因权限高有安全风险，使用要谨慎。
三家中国工博会参展商，在半导体两场革命中改写格局
2025中国工博会首设集成电路展区，超90%为专精特新企业。在CES 2026上，曾参展的中国展商再登场。瑞芯微、新思科技、移远通信携方案突围，参与半导体算力与场景创新两场变革。
一场由中国公司引发的全球热议：AI服务是否该“对结果兜底”？｜甲子光年
2025年末软件行业寒冬，百融云创提出“结果即服务”（RaaS）战略及Results Cloud平台，引发全球热议。其将AI定义为员工，转变了商业风险承担模式，但也面临治理、责任归属等问题。
架构师困境：选择已被验证的道路，还是自行开辟一条新路？
开发软件时，团队要做产品功能和架构决策，面临选已验证路径还是自辟新路的困境。使用平台和框架虽能加快开发，但有副作用。团队需通过实验判断何时扩展或替换平台。
AI 驱动的个人理财应用
这是AI驱动的个人理财应用，非记账软件，能像智能助理管钱、自动拆解支出并给建议。支持Docker自行托管，介绍了本地开发环境配置，该应用由Maybe Finance团队开源，此前商业运营未成功。
成立五年，这家国产EDA公司冲刺IPO
据上海证券报报道，上海合见工业软件集团股份有限公司于12月26日提交IPO辅导备案申请。合见工软作为国内EDA领域领军企业，填补多项空白，助力国产替代。“超节点计算”带来新挑战，也为国产企业提供机遇。
大模型狂叠 buff、Agent乱战，2025大洗牌预警：96%中国机器人公司恐活不过明年，哪个行业真正被AI改造了？
InfoQ编辑部发布《2025年度盘点与趋势洞察》，探讨大模型、Agent等领域变化，分析行业被AI改造情况。指出2025年格局重塑，竞争焦点转变，国内AI有进展但与硅谷有差距，还介绍了大模型、Agent、AI Native等发展趋势。