站长之家(ChinaZ.com) 4月25日 消息:理想汽车近日发布"理想星环OS技术白皮书"，正式启动车机操作系统开源计划。根据官方公布的开源路线图，该项目将分三个阶段推进:4月23日率先开源安全实时操作系统和通信总线模块;6月30日将开放完整的智能车控系统及智能驾驶基础能力;7月后计划开源包含虚拟化引擎在内的完整智能驾驶系统。
目前，理想汽车已在Gitee代码托管平台创建开源组织（https://gitee.com/haloos），采用Apache License V2.0开源协议开放智能车控OS和通信总线Lite的源代码。相关企业及开发者可通过平台查阅和使用已开源代码。
理想汽车董事长李想表示，此次开源将不设置商业壁垒，持续投入系统研发迭代。公司预计，该开源系统将为汽车制造商和供应商节省大量操作系统授权费用，整个行业每年有望减少100亿至200亿元的重复研发投入。业内人士指出，此举或将推动汽车行业在操作系统层面的技术共享与协作创新。
（举报）
云南建投钢结构股份有限公司作为云南省建设投资控股集团的专业子公司，在信息化建设中面临安全管理和数据孤岛等挑战。公司采用活字格低代码开发平台构建了生产安全系统，实现班前交底、有限空间作业等核心功能，并与钉钉深度集成，支持移动办公。该系统显著提升了开发效率，打通了与现有MES、ERP等系统的数据壁垒，同时满足国产化和信创要求。相比传统开发方式，活字格降低了技术门槛和成本投入，帮助公司快速实现数字化应用落地，获得管理层高度认可。该平台还助力企业加速信创及国产化进程，为持续发展奠定基础。
西安葡萄城软件公司总经理倪爱军接受专访，分享了公司在低代码与AI融合领域的前沿探索。作为扎根西安高新区的国家级高新技术企业，葡萄城凭借40余年技术积淀，持续以创新驱动数字化转型。公司自主研发的低代码开发平台引入AI能力，为制造业等场景提供智能解决方案，如通过AI分析生产数据实现精准库存预测。近五年研发投入占比达30%，已服务超3000家合作伙伴。面对国产化趋势，公司积极布局技术创新，推动关键技术自主可控。葡萄城将持续以技术为锚，为西安建设科创高地注入动能，助力中国式现代化实践。
o3 出现了“叛变”的情况：其他模型都中止了解题任务，唯独 o3 模型继续进行，甚至还被发现篡改了内部代码 —— 将“接到中断命令时应停止操作”的程序逻辑改成了“跳过中断命令”……
它可以代表用户执行各种任务，包括购物、填写表格、编写代码、进行研究等，即使在用户离线时也能运作……
理想汽车5月28日发布OTA 7.4版本升级，主要亮点包括：1）首次搭载自研MindGPT-4o大模型，智能助手"理想同学"升级为3D毛绒形象，新增双手交互动作，语音交互更自然生动；2）新增"小同桌"多角色对话功能，支持连续聊天和情商引导；3）升级为生活助手Agent，能自主操作车机完成复杂任务，支持支付宝小程序操作；4）新增家庭账号系统、面容识别和对话历史功能；5）影音体验优化，支持前后排独立音区；6）推出儿童节专属"小主人"模式，新增斑马百科应用；7）新增超充站降锁、冰箱定时开关等实用功能；8）优化L6车型CDC悬架系统，提升操控性。
华为发布鸿蒙PC操作系统及两款鸿蒙电脑，打破Windows和macOS长期垄断。余承东表示，鸿蒙电脑已适配150+专属应用和1000+融合生态应用，覆盖办公、社交、娱乐等场景，支持1100+外设连接。首款折叠屏笔记本MateBook Fold售价23999元起，展开18英寸，折叠13英寸。华为强调这是中国操作系统发展的重要突破，将改写中国软件业历史。微信、腾讯会议等常用应用正在加速适配中。
四川名人居门窗有限公司采用活字格低代码平台开发出库APP系统，解决了传统U8C系统功能固化、操作复杂等问题。该系统通过可视化界面实现物料出库全流程管理，显著提升工作效率（每日提升126人次），确保数据准确性。低代码技术降低了开发门槛，缩短项目周期，使非技术人员也能参与开发，同时增强系统灵活性和可扩展性，满足企业数字化转型需求。
2025年4月24日，第四届中国国际软件发展大会在北京成功举办，主题为"人工智能与软件变革"。葡萄城凭借"基于低代码的AI智能体生成与辅助开发技术"连续两年入选"软件行业突破性技术成果"。该技术将低代码平台与AI深度融合，支持多模态模型调用与业务逻辑集成，提供从设计到部署的一站式智能体开发工具，显著降低AI应用门槛。目前该技术已在金融、制造等行业实现落地，助力企业数字化转型。葡萄城表示将持续深耕低代码领域，推动AI技术普惠化发展。
在构建跨平台开发环境愈发成为主流趋势的背景下，WSL 的开源无疑将进一步激发开源社区的创造力，也为 Windows 与 Linux 的深度融合打开了新的局面……
OpenAI于5月19日正式推出基于Codex-1模型的云端AI编程智能体Codex。该工具具备强大的代码生成与理解能力，支持Python、JavaScript、C等主流语言，覆盖前后端开发、算法实现等多个领域。测试显示其处理常规编程任务的速度远超人工，代码准确率达90%以上，能显著提升开发效率。Codex深度集成GitHub，支持智能代码补全和结构化代码自动生成，使开发者平均编码时间缩短30%。目前该服务已面向ChatGPT+Pro等高级用户开放，未来有望成为软件开发领域的标配工具，推动AI辅助编程进入新阶段。
