快科技7月5日消息，AI初创公司Stability AI的创始人兼CEO埃马德莫斯塔克最近预测：5年内人类程序员将消失。
其实莫斯塔克的话并非没有依据，全球最大开发者社区GitHub的数据显示，目前所有代码中，41%是由人工智能生成的。
莫斯塔克还指出，Stability AI仅用了3个月，就在这个程序员大本营”超过了比特币和以太坊的热度，并形成了一股潮流。
在展望未来时，莫斯塔克表示，将来人们沟通和信息获取的方式将发生突破性变化。从ChatGPT说起，他认为明年大家的手机上将会人手一个，还不用联网。现在这些颠覆性的AI大模型以后就能随处可用了，对话和交互的方式会发生根本性改变。
据了解，Stability AI是一家总部位于英国伦敦的研究初创公司，估值约为10亿美元。公司开发了AI图像生成工具Stable Diffusion，能够创作出逼真到令人吃惊的图片。
与GPT-4等超级大模型不同，Stability AI的产品可供每一个人下载并部署在本地。莫斯塔克解释称，与加密货币的精神相似，去中心化的AI是公司战略的关键，这样能确保技术有利于每个人的使用。
（举报）
11.11云上盛惠！海量产品 · 轻松上云！云服务器首年1.8折起，买1年送3个月！超值优惠，性能稳定，让您的云端之旅更加畅享。快来腾讯云选购吧！
腾讯云
12-20
阿里巴巴今日郑重宣布，迎来了一位不同寻常的“新员工”——通义灵码，工号AI001，标志着AI新纪元的开启。这位7X24小时在线的AI智能编程助手，将成为阿里大家庭中独一无二的存在。下载量已超过200万，每天数百万行代码被程序员采纳，每日推理次数更是超过2000万，成为了国内最受欢迎的AI编程工具。
自从“AI程序员”Devin问世之后，近期的一大趋势就是程序员们争先恐后地要让自己失业，试图抢先造出比自己更强大的程序员。普林斯顿大学为软件工程界迎来了一位新星——SWE-agent，论文将在4月10日正式发布，目前项目已在GitHub上开源。在4月10日即将发布的论文中，普林斯顿大学团队还将深入探讨代理的技术架构、算法和性能优化策略，并详细介绍成本优化策略:SWE-agent旨在
【新智元导读】全球首个AI程序员Devin被爆视频造假?YouTube博主近日揭露了背后明星初创公司Cognition的谎言，通过逐帧分析发现，Devin并不能独立完成Upwork工作。全网爆火的世界首个AI程序员Devin，如今被爆出视频竟是作假?最近，一位有35年软件工程师经验的YouTube博主去逐帧复现了，Devin完成Upwork任务的宣传视频。即便是借助了GPT-4Turbo的能力，AI也并非是万能的。
首个AI程序员，演示视频大幅度造假???不久之前震撼硅谷的Devin，再度震撼硅谷——但这次是被打假。事情是这样的:油管程序员博主InternetofBugs对Devin的视频进行了逐帧分析，逐一举证说明了Devin并不如演示中那般神奇。真是要了命了，这么一个备受关注的明星项目居然是个只能活在视频里的demo。
SWE-agent是什么？SWE-agent是普林斯顿大学推出的首个开源AI程序员，基于GPT-4技术，能够自动修复GitHub仓库中的bug。SWE-agent适用于需要自动修复bug的软件工程师、研究人员、GitHub代码管理者等。
对于人工智能领域，马斯克一直持积极的态度，在近日的访谈中，马斯克预测，人工智能可能在明年或2026年之前超过最聪明的人类。马斯克的激进观点，遭到了一些人的反对，当地时间4月10日AI初创公司GeometricIntelligence的CEO加里马库斯称，愿意赌一百万美元，来证明马斯克的预言错误。
蚂蚁集团代码大模型CodeFuse负责人李建国说道。AI代码生成领域正在野蛮式生长，巨头涌入，AI员工频频上线企业;首个AI程序员Devin被曝造假……面对风起云涌的代码生成变革，李建国给出了这样一个明确论断。OneMoreThing最后，面对当下大模型发展，李建国博士忍不住感叹:对于接下来的发展，李建国点名最看好具身智能的发展，这将是未来5到10年的研究热点。
普林斯顿大学最近推出了一款名为SWE-agent的AI程序员，这是世界上首个开源的AI程序员，它基于GPT-4技术，能够在GitHub仓库中自动修复bug。这个智能体-计算机接口的诞生，标志着AI在软件工程领域的应用迈出了重要一步。随着技术的不断进步，我们或许将见证AI在软件工程领域扮演更加重要的角色。
AI程序员Devin的母公司CognitionAI在不到半年的时间里，估值已经飙升至20亿美元，创始团队拥有10枚IOI金牌，展现出强大的实力。相比之下，其他公司如PerlexityAI和MistralAI在经历多年发展后，估值也只在10亿至20亿美元左右，显示了CognitionAI的迅速崛起和高估值的特殊性。DeepMind创始人Hassiabis也发出警告，指出真正能够改变人类科学的
SpaceX太空探索公司CEO埃隆马斯克日前在X上发帖称，文明需要保持目前的技术水平，直到火星能够自给自足，这可能在20年内实现。如果我们成为多行星然后是多恒星物种，我们的文明将持续数百万年，如果没有，也许只有几百年。马斯克曾透露自己愿望希望未来能死在火星上，他表示生于地球葬于火星将会是一件非常酷的事。
SafeSpeak是一款使用先进AI技术，实时准确检测电话诈骗攻击的产品。它能够保护个人和企业免受电话诈骗的侵害，并提供及时的安全警报。SafeSpeak的主要优点是高准确率和实时检测，能够有效地阻止电话诈骗。该产品定位于帮助个人和企业提高电话安全，避免财产损失和个人信息泄露。
Magifind是一款智能网站搜索工具，利用先进的人工智能和自然语言处理技术，能够准确理解用户搜索的意图，提供高度相关的搜索结果。它能够提升用户体验，提高在线零售转化率，并能够帮助用户快速找到他们想要的产品。
手写文字转换为文本的最准确工具，采用人工智能技术，能够将各种难以辨认的手写文字转换为数字文本，大大节省了编辑时间，提高了工作效率。产品的主要优点是准确性高、速度快，可适用于各种手写文本的转换需求。价格灵活，可按页收费或订阅。
Intrvu SPACE是一款端到端自动化面试平台，通过自动化面试流程，评估报告和自动审批等功能，简化了面试流程。它提供了标准化的面试，与职位描述相匹配，为招聘决策提供了全面的评估报告。Intrvu SPACE还支持与候选人的无缝沟通，提高了候选人评估和选择的效率。
NoteButler通过自动将PDF转换为文本，并在同一页添加AI摘要，使得在Notion中的PDF文档具有搜索功能。它能够提供OCR功能，并添加AI摘要，让那些通常无法在Notion中搜索的内容变得可搜索和可访问。
Grok是一款AI驱动的文档搜索平台，能够帮助用户上传并分析各种格式的文档。通过深入剖析文档内容，Grok可以揭示文档中隐藏的模式、趋势和关联，为用户提供全面的理解。用户可以向AI提问具体细节，观察智能算法提取相关见解，并给出简明答案。此外，Grok还支持使用AI解释复杂的代码库。Grok可以帮助用户找到文档中重要的功能或技术，并强调其主要优点和背景信息，定位和价格等。
ChatGPT Online是一个无需注册或登录即可直接通过网络浏览器访问的ChatGPT版本。它基于OpenAI的GPT-3和GPT-4技术，具有自然语言处理和生成能力，可以与用户进行各种主题的自然对话。它是一个强大的AI助手，可以用于客户支持、学习支持、内容创作等领域。
Model Muse是一个为电子商务服装品牌提供虚拟时尚模特的平台。它利用最新的人工智能图像生成技术，为品牌创造独特的模特形象，以代替传统高成本的拍摄。该平台可以轻松定制模特的特征，使其成为品牌的真实声音。
Astrology Book是一本通过ChatGPT提供占星阅读的网站。它利用星座和出生图来揭示宇宙的奥秘，并帮助人们获得关于自己的更多了解。该产品的主要优点是提供个性化的占星阅读，让人们深入了解自己的性格、特点和潜能。它的定位是为个人提供心灵成长和自我探索的工具。
IdeaPicker是一款用于生成创业点子的AI工具。我们通过扫描Reddit寻找痛点，从真实人们身上找到真实痛点。我们发现问题，然后AI为这些问题提供可以解决的创业点子。无论你是创业者还是寻找新创意的企业，我们都为你提供了解决方案。从我们的周报中获取挑选好的创业点子。
我们提供集成AI智能分析的中国风水在线计算工具，包括中国风水计算、易经占卜和八字算命服务。我们的先进技术提供准确的结果。该工具能够帮助优化您的生活或商业环境，提升财富和幸福感。它通过准确预测中国风水能量来提供帮助。
Menusso是一个帮助餐厅管理菜单的应用程序。它具有多语言翻译功能，可提供15种语言的翻译服务。Menusso使餐厅能够轻松管理菜单，并提供了一些主要优点，如背景信息、价格和定位等。
Sponsor Stream是一个帮助YouTube频道找到赞助商的平台。它可以帮助用户省去繁琐的寻找赞助商的过程，通过AI搜索算法提供与用户频道相关的赞助商列表。这个平台可以节省用户大量的时间和精力，提高与赞助商联系的效率。
Psychpedia是一个心理学和自我提升的学习平台。它提供AI支持的多样化心理学课程，涵盖各种层次，价格便宜且实惠。用户可以通过阅读每日更新的文章、查看心理学期刊、浏览工作机会和活动等来保持最新动态。平台还提供情绪跟踪工具，帮助用户记录和分析情绪模式，增加自我认知。
SpamCheckAI是一款专为防垃圾信息而设计的免费形式JSON API，提供IP过滤、内容分析和电子邮件验证等功能。它可以帮助您识别和阻止垃圾信息，并提供全面的数据分析，让您做出明智的决策。
AI Humanizer是一个工具，可以将AI生成的文本转换为类似人类的文本，绕过所有AI检测器，产生出色的人类质量评分。它创建高质量、真实的内容。
ColdCraft是一个AI平台，可以帮助您将简单的要点和LinkedIn个人资料转化为有效的冷邮件。它可以节省时间并提高回复率。该插件可以直接在Gmail中将要点转化为完整的冷邮件，并可以从LinkedIn个人资料直接撰写和发送电子邮件。
Nexai是一个基于人工智能的聊天机器人，它可以通过自然语言处理技术理解用户的问题并提供相关信息。它具有快速、准确的搜索能力，可以回答各种问题，并提供实用的建议和指导。Nexai还可以进行智能对话，与用户进行交流和互动。
Inboxly是一个AI邮箱，可以帮助用户整理、优先处理和回复来自各个平台的邮件。它的主要优点是提高工作效率、节省时间和保护隐私。Inboxly适用于个人和小型企业，提供AI助手、自动回复、智能过滤等功能。它是一个具有高影响力的低成本解决方案。
TruvaAI是一款AI助手，为软件平台提供智能导航和自动化操作功能，帮助用户更轻松地使用应用程序。通过TruvaAI，用户可以快速定位到正确的工具、功能和信息，并且还可以代表用户执行操作。TruvaAI不仅提高了用户的NPS，还为每个用户提供了个人账户经理的体验，实时可用。TruvaAI还能够根据用户的反馈和行为学习，不断改进自身。
