热搜话题榜单

赛门铁克拟80亿美元出售数据管理业务Veritas

新浪科技讯北京时间4月12日早间消息，《华尔街日报》援引消息人士的说法称，赛门铁克正考虑出售Veritas数据存储及恢复业务。该公司此前曾考虑分拆这一业务，成立两家单独的上市公司。消息人士表示，赛门铁克近几周正在联系私募股权公司和潜在的行业

扎克伯格：Meta推出付费认证服务Meta Verified

当地时间周日，Meta首席执行官马克�扎克伯格在Instagram的广播频道宣布，Meta将开始测试一项名为Meta Verified的付费认证服务，从本周晚些时候开始在澳大利亚和新西兰率先推出。Meta Verified将在Instagram和Facebook平台上线，在网页端的订阅费用为每月11.99美元，在iOS平台的订阅费用为每月14.99美元。”Meta此前曾向社交媒体上的知名用户提供认证功能，此次推出的付费订阅服务类似于推特的“蓝V认证”服务。

诺基亚宣布为Verizon推出2720V Flip，支持LTE和Google Assistant

HMD Global宣布推出诺基亚2720V翻盖功能手机。在不到两年前向一些国际市场推出手机后，这款手机正以Verizon品牌的变体形式进入美国市场，面向老客户。2720V Flip将支持Verizon的LTE网络、高清通话，并且手机运行Kai OSKai OS让2720V Flip拥有谷歌助手、谷歌地图、信息和社交应用等智能手机功能，这些功能可以从Kai的应用程序目录下载国际版诺基亚2720 Flip拥有1500毫安时电池、4GB存储空间、512MB内存，并由Snapdragon 205芯片组提

苹果再发iOS 9.3 Beta 3：Verizon Wi-Fi通话

苹果今天凌晨一口气向开发者推送了四款系统的新版本，iOS 9.3、TVOS 9.2、watchOS 2.2、OS X 10.11.4都迎来了第三个Beta测试版。

Stack Overflow 用户抗议不愿将其知识用于 AI 训练

StackOverflow用户正在抗议该问答网站与OpenAI的合作，宣布他们宁愿删除自己的帖子并牺牲声誉分数，也不愿让自己的回答被用于训练ChatGPT。本周早些时候宣，OpenAI将能够使用StackOverflow用户在过去15年中贡献的答案和知识来训练AI模型。似乎StackOverflow用户没有任何方式可以选择拒绝其数据用于训练AI模。

OpenAI与Stack Overflow合作，提升ChatGPT编程能力

OpenAI近日宣布与在线编程问答论坛StackOverflow达成技术合作，旨在增强ChatGPT在编程领域的能力。这一合作意味着ChatGPT将能够通过StackOverflow的OverflowAPI访问并回答经过15年验证的真实、可靠的编程答案。随着AI技术的不断发展和成熟，相信未来ChatGPT在编程领域的表现将会更加出色，为开发者提供更加全面的技术支持和解决方案。

AI日报：北大开源最强aiXcoder-7B代码大模型；OpenAI创始大神手搓千行C代码训练GPT；Stability AI图像模型竟能精细到这程度；在Vercel上一键部署Morphic

欢迎来到【AI日报】栏目!这里是你每天探索人工智能世界的指南，每天我们为你呈现AI领域的热点内容，聚焦开发者，助你洞悉技术趋势、了解创新AI产品应用。

Google Cloud Gemini将引入Stack Overflow数据

开发者问答网站StackOverflow推出新计划，通过OverflowAPI，AI公司将获得接入其知识库的权限。首个合作伙伴为谷歌，后者将利用StackOverflow的数据丰富GoogleCloud中的Gemini，并在GoogleCloud控制台中提供经过验证的StackOverflow答案。“随着Stack[Overflow]团队希望使用Gemini推出新功能，确保它不破坏StackOverflow多年来为开发者社区服务的美好和完善之处，这是神圣的。

iPhone14和 iPhone15用户现在可使用 Verizon 的路边援助服务

苹果今天宣布，iPhone14和iPhone15用户现在可以使用Verizon的路边援助服务。该服务由Allstate旗下的SignatureMotorClub运营，可在没有移动连接的地区提供帮助。如果您被困在偏远地区或没有AAA，增加Verizon的路边援助计划可以增加更多服务选择。

遭到ChatGPT冲击之后，Stack Overflow裁员28%

StackOverflow曾是开发人员最喜欢的编码帮助网站之一，然，随着生成式AI如ChatGPT的崛起，它面临了严峻的竞争，不得不裁员28%。开发人员现在可以通过ChatGPT等聊天机器人获得更为具体的编码帮助，包括对代码的即时修正、优化建议以及对每行代码的详细解释。正如首席执行官Chandrasekar所强调的，StackOverflow等网站对聊天机器人至关重要，因为聊天机器人需要在不断推进的知识基础上进行训练，需要不断创造新的知识。

Stack Overflow 网站因 ChatGPT 人工智能崛起而裁员 28% 员工

StackOverflow的网站帮助软件工程师获得技术问题的答案，根据首席执行官PrashanthChandrasekar周一发布的博客文章，该网站已解雇了约28%的员工。图片来自StackOverflow此举可能是迄今为止OpenAI的ChatGPT如何颠覆数字业务的最有力迹象。他们需要创造新的知识」。

Metaverse踏出VR 元宇宙平台Horizon Worlds网页版已上线

Meta旗下元宇宙平台HorizonWorlds终于正式离开只能通过VR头显体验的封闭状态，网页版本和移动App版本已经面向部分用户开放早期公测。这标志着HorizonWorlds有望服务更广大的非VR设备用户不仅限于昂贵的QuestVR头显设备用户。未来HorizonWorlds能否通过跨屏部署找到增长动力，吸引用户产生更好互动和粘性，仍需等待市场检验。

Stack Overflow宣布推出生成式AI计划OverflowAI

StackOverflow宣布了将生成式AI集成到其公共平台StackOverflowforTeams和全新产品领域的路线图，例如IDE集成，将社区中5800万个问题和答案的丰富知识带入该领域开发人员找到焦点并完成工作。StackOverflow将所有这些工作都纳入OverflowAI计划之下。StackOverflowCEOPrashanthChandrasekar表示，OverflowAI的目的是增强社区的各个方面不是完全取代他们。

Stack Overflow 推出 OverflowAI，实现开发者社区和人工智能的整合

StackOverflow是开发者寻求答案和知识的知名平台，宣布了新的路线图，迈出了重要的一步，开创了以生成式AI集成为标志的新时代。StackOverflow在开发者社区和人工智能之间进行了整合，推出了OverflowAI。该平台承诺信任和透明度，并通过庞大的知识库和专有知识来缓解人工智能技术的担忧。

AWS、Meta、微软创立的 Overture Maps Foundation 推出首个开放地图数据集

OvertureMapsFoundation是由AmazonWebServices、Meta、Microsoft和TomTom于2022年12月创立的地理空间协作项目。本周早些时候，该组织宣布发布其第一个开放地图数据集。”Prioleau说道。

Stack Overflow 推出 OverflowAI：为开发人员提供 AI/ML 解决方案支持

StackOverflow是一家以社区为基础的技术问题解答网站，为开发者提供技术咨询和获取答案的平台。StackOverflow网站截图现在StackOverflow正推出一系列名为「OverflowAI」的人工智能功能，包括在公共网站和企业版本「StackOverflowforTeams」中更新的AI搜索。OverflowAI功能将于8月作为Alpha版发布，感兴趣的开发者和企业可以通过stackoverflow.co/labs进行注册。

Stack Overflow 将于今年夏天发布自研生成式 AI 工具：程序员数量将大幅增加

StackOverflow首席执行官PrashanthChandrasekar在最近接受VentureBeat采访时重点阐述了对生成式AI爆炸式增长的乐观看法。尽管生成式AI工具在多个方面将开发者问答网站置于聚光灯下，包括3月份的数据显示StackOverflow的流量同比下降近14%，与此同时，ChatGPT的使用却大幅增长。对于构建模型的大型AI公司，我们绝对希望以更正式的方式与他们合作。

Sarah Silverman 起诉 OpenAI 和 Meta：指控 AI 公司侵权版权

喜剧演员和作家SarahSilverman，以及作家ChristopherGolden和RichardKadrey，正在美国地方法院分别起诉OpenAI和Meta，指控其侵犯版权。OpenAI的ChatGPT和Meta的LLaMA是通过非法获取的包含他们作品的数据集进行训练的，这些数据集据称来自于像Bibliotik、LibraryGenesis、Z-Library等「影子图书馆」网站，指出这些书籍「通过种子系统批量提供」。每当有人谈到版权法时，我们都会看到围绕此类问题的�

新加坡目前还不打算监管人工智能 呼吁企业参与世界首个 AI 测试工具包「AI Verify」

新加坡采取观望态度，不打算对人工智能进行监管。欧洲议会成员周三同意将ChatGPT等生成式人工智能工具置于更大的限制之下。欧洲议会成员周三同意将ChatGPT等生成式人工智能工具置于更大的限制之下。

最赚钱编程语言Zig登顶，开发者爱ChatGPT远超必应｜Stack Overflow报告

一年一度的StackOverflow开发者大调查又双叒叕来了!今年，一共约9万人参与问卷，最大的变化是加入了ChatGPT相关的内容——程序员是否比大家想象地更能接受AI工具呢?结果显示:有83%的受访者都表示用过ChatGPT来进行搜索，相比之下，第二名的BingAI只占20%;不过有42%的ChatGPT用户希望明年尝试谷歌Bard或BingAI。AI编程上，有55%的受访者使用过GitHubCopilot，相比之下，AWS的CodeWhisperer则只有5