金山办公最近抛出了一个重磅消息::其AI会员和大会员的年度付费用户数量已突破100万大关。这一里程碑式的成就凸显了WPS AI在金山办公产品中的深度融合，彰显了人工智能在现代办公领域的巨大潜力和用户认可度。在产品创新方面，金山办公与华为展开战略合作，推出了WPS的鸿蒙版本。这一版本在各类平台上表现出色，流畅度令人称道。其核心优势在于实现了多平台账号统一、跨端调用以及跨屏协同等先进功能，大幅提升了用户的办公体验。这种跨平台的无缝衔接，使WPS在不同设备间灵活

​在成都举行的CCS2024网络安全系列活动中，百度副总裁陈洋发表了主题演讲，分享了大模型技术如何推动软件开发领域的变革。陈洋指出，大模型的理解、生成、逻辑和记忆能力与软件研发相结合，能够显著提高开发效率并增强软件的安全性。

随着 AI 在编写代码方面能力不断提升，软件开发团队的结构正面临重大变革，初级开发者和质量保证 （QA） 岗位的前景岌岌可危。越来越多的首席信息官 （CIO） 和开发团队负责人表示，随着 AI 助手的广泛应用，他们将重新考虑团队的构成，未来的团队将主要依赖 AI 专家和高级开发者来监督 AI 生成的代码。曾任 Fermata Energy 开发团队负责人、现为气候科技战略顾问的安娜・德梅奥指出，未来的应用开发团队将更加精简，剩下的高级开发者将专注于如何将产品需求转化为软件开发的最佳方

红杉资本合伙人帕特・格雷迪在会议中表示，未来价值超十亿美元的人工智能公司更可能诞生于应用软件领域，而非基础模型构建。尽管红杉资本在基础模型上也有所投资，如OpenAI、安全超级智能公司和xAI等，但应用层的投资更为显著。红杉在基础模型方面的总投资约1.5亿美元，而应用层的投资金额是基础层的数倍。格雷迪强调，优秀的AI应用初创企业需要在模型之上精心设计产品以满足市场需求。此外，红杉对OpenAI即将推出的草莓模型持乐观态度。红杉资本通过投资人工智能应用软件，旨在发掘未来更多的商业潜力和市场机会。

一群业余爱好者使用Coq证明助手软件成功验证了忙碌海狸问题中的第五个数BB（5）为47,176,870，这是自1983年以来计算理论领域最重要的进展。此成就标志着对复杂数学问题解决能力的提升，展示了软件辅助证明的潜力。忙碌海狸问题源于1974年，旨在寻找能够写下最多"1"的特定图灵机。问题的核心在于理解图灵机行为，特别是它们在停机问题上的表现。这一发现不仅在学术界引起轰动，也揭示了计算理论边界。研究者们正在撰写学术论文，总结这一过程，并考虑将探索第六个忙碌海狸作为下一个目标。

Mintlify是一家初创企业，其创新的文档编写平台在软件开发领域引起关注。该平台通过人工智能技术自动生成高质量的用户指南、API参考和SDK文档，显著降低文档维护时间成本，提高文档易用性和可读性。Mintlify的独特功能包括从代码库中提取信息生成文档、实时更新文档以及监测文档使用情况并提供优化建议。此平台的成功得益于其智能化特性，以及在A轮融资中获得的1850万美元资金，领投方为Andreessen Horowitz，总融资额达到2170万美元。Mintlify的团队正在扩大规模，计划利用新资金加速成长和产品创新。

智谱 AI 旗下北京智谱华章科技有限公司近期注册资本由约2511.48万元增加至2790.54万元，彰显了公司的发展潜力。作为一家成立于2019年的科技公司，智谱华章专注于人工智能软件开发，特别是在理论和算法领域，持续推动行业创新。其股东阵容包括腾讯在内的多家知名企业，为公司提供了资金和资源支持。近期，智谱华章发布了多项国际领先的人工智能模型，包括语言、文生图、图像/视频理解和视频生成模型，展示了公司在人工智能领域的强大实力和创新能力。

2023年，中国人工智能软件市场规模达到377.4亿元，同比增长26.2%。计算机视觉市场规模为101.1亿元，商汤科技领跑。AI语音语义市场中，百度智能云首次居首，科大讯飞和阿里云紧随。机器学习开发平台市场规模35.1亿元，第四范式和华为云并列第一，市场聚焦大模型技术以支持生成式AI应用发展。

一款名为Gigabody的AI软件近期在社交媒体上引发热议，它允许用户上传健身照片，一键增强肌肉，仿佛瞬间变身肌肉猛男或猛女，极大地满足了懒人们追求完美身材的需求。这款软件在上线后迅速攀升至免费榜第二名，日下载量超过15万，显示了其火爆程度。Gigabody提供免费变身机会和付费专业版，会员年费200多元，被认为比健身房更经济。然而，其效果成功率参差不齐，需要多次尝试。AI肌肉滤镜并非新概念，之前在TikTok和CapCut上已有相似应用，但Gigabody的成功在于它满足了创意表达和社交互动需求，以及健身人群对展示自我的渴望。随着AI滤镜市场的竞争加剧，开发者需思考如何保持应用热度和提高用户转化率。

通用汽车进行全球软件员工裁减，旨在集中资源于高优先级项目，如优化超级巡航驾驶辅助系统、提升信息娱乐平台和探索人工智能应用，以应对软件挑战和增强竞争力。此举反映了公司向软件定义汽车战略的转型，通过提高效率和资源集中度来追求技术创新。通用汽车近期面临软件相关问题，如新款Blazer EV销售暂停，促使公司调整策略。为应对挑战，公司提升前苹果高管负责软件和服务部门。这一全球范围内的裁员主要集中在密歇根州，旨在简化流程，追求速度和卓越，将资源集中于最具影响力的投资领域。这一战略转型标志着通用汽车在数字化和智能化时代的适应与竞争。

OpenAI发布SWE-bench Verified，旨在更精确评估AI在软件工程任务中的表现，解决原SWE-bench存在的评估局限性，如过于严格的单元测试、不明确的问题描述和难以设置的开发环境。新基准通过引入容器化Docker环境，提高了评估的一致性和可靠性，显著提升了AI模型的表现评分。GPT-4o在新基准下解决了33.2%的样本，而最佳开源代理框架Agentless的得分也显著提高。这一改进有助于更准确地捕捉AI模型在软件工程任务中的真实能力，为AI在软件开发领域的应用提供更精确的评估工具，对推动相关技术发展具有重要意义。

腾讯公司近期发布了一款名为TAD Sim的自动驾驶仿真软件，这是一款专为智能驾驶系统研发和验证而设计的跨平台分布式仿真系统。TAD Sim基于腾讯专业的游戏引擎、厘米级数字孪生三维重建技术，集成了工业级的车辆动力学模型和物理级传感器仿真，以及数据驱动的AI交通流模型，能够完成实车上全部模块的闭环仿真验证。

基于深度学习的软件安全检测系统，如同数字化时代的"安检员"，能高效识别软件漏洞。然而，一项名为EaTVul的研究揭示了这一领域的新挑战。EaTVul是一种创新的规避攻击策略，通过修改有漏洞的代码，让基于深度学习的检测系统误判，成功率高达83%至100%。其工作原理包括利用支持向量机找出关键样本、注意力机制识别关键特征、AI聊天机器人生成迷惑性数据，以及模糊遗传算法优化数据欺骗性。这项研究强调了当前软件漏洞检测系统的脆弱性，并呼吁开发更强大的防御机制以应对这类攻击，以保障软件安全。

特斯拉2024年第二季度财报数据显示，公司营收255亿美元，虽同比微增2%，但净利润大幅降至14.94亿美元，盈利能力明显趋弱，降幅达45%，每股收益同比下跌46%，未达市场预期。其中，汽车业务营收198.78亿美元，下滑7%，发电和储能业务营收30.14亿美元，猛增100%，服务及其他业务营收同比增长21%。然而，汽车总产量降至410831辆，同比下降14%，总交付量也减少5%。同时，运营利润为16.05亿美元，同比下降33%，毛利率降至18%，营运成本支出同比大涨39%，研发成本高达10.74亿美元。特斯拉预计2024年汽车销量增长低于2023年水平，FSD预计12.6版本发布后将在全球推出，并计划在10月10日公布Robotaxi计划。为降低成本与提升效率，特斯拉将继续优化制造流程、加大软件相关利润投资。与此同时，新车计划有望在2025年上半年开始生产，利用新一代平台技术实现产品跃升。

2024年7月19日, RWKV开源基金会全球开源了其最新最强的稠密纯RNN大语言模型RWKV-6-World14B。此模型在性能测试中体现出与拥有213亿个参数的Llama相当的英文性能，并在100多种语言与代码上表现出显著的多语言优越性，支持全球100种以上的语言和代码。RWKV-6-World14B通过基准测试显示了出众的性能，特别是在Uncheatable Eval评测中超越了Llama213B和Qwen1.514B。优点在于，该模型在训练过程中未受特殊优化困扰，基于从RWKV-4到RWKV-6的架构改进。在当前的评价排名中，该模型不仅展示了强大的实际能力，还能够在包括arXiv论文、新闻、ao3小说和GitHub代码等实时数据上进行评估，表明了其在模型能力和泛化能力上的真实性。提供下载的平台有Hugging Face、ModelScope和WiseModel等，不支持safetensor（.st）格式的Ai00用户则可以下载都在Ai00HF仓库中转换的版本。部署所需显存约为10G至28G。此款模型在多个领域展现出潜力，涉及自然语言处理、文学创作、代码处理、学术建议以及教育指令的自动化等复杂的实际应用，并且所有开源的RWKV模型在指令与对话方面有所提供，但尚无专门针对特定任务的优化训练。

Auterion 发布的 Skynode S 芯片用于自主引导无人机攻击目标，特别适合于神风无人机。该芯片整合到无人机中，配备有先进软件及计算机视觉功能，可以自主传播至控制。应用于乌克兰战场时，该技术展现出高精度，击中率可达100%，显著优于手动控制。不过，Auterion 首席执行官强调，其目标并非创造全自主杀伤性智能，而是提升无人机战场效能与精确度。这项系统依赖于开源软体，价格亲民，未来可能拓展应用于更多领域。

比尔·盖茨，这位科技界的先锋，最近在一次播客访谈中分享了他对人工智能未来的看法。他的观点深刻，为我们描绘了一个由AI驱动的未来世界。

在本周的一次行业会议上，微软人工智能部门的首席执行官穆斯塔法·苏莱曼发表了一项引人注目的声明，他指出机器学习公司可以自由地抓取在线发布的大部分内容，并将这些内容用于训练其神经网络。苏莱曼认为，这些在线内容本质上可以被视为“免费软件”，为机器学习的发展提供了丰富的资源。

北京互联网法院近日审理了北京市首例两起“AI换脸”软件侵权案件。原告廖某和吴某是国风短视频模特，他们指控一款“换脸”APP的运营者未经授权，使用他们的视频制作成换脸模板，并在APP中提供付费使用，侵犯了他们的肖像权和个人信息权益。

["谷歌新 AI 搜索功能或存在问题，可能推广欺诈网站和恶意软件。","用户反映搜索结果指向垃圾网站，存在潜在的恶意软件风险。","谷歌声称在解决问题，但此事件凸显其处理垃圾网站挑战。","此问题引发关注，谷歌在 AI 搜索领域仍面临挑战和改进空间。"]