AI

播客节目 Next Big Idea Club 上周末发布了对微软创始人比尔・盖茨的采访，盖茨谈到了人工智能、超级智能等话题。主持人 Rufus Griscom 询问了比尔盖茨对人工智能未来发展的看法。“1980 年，你曾有过灵光一现的一瞬：当时你宣布每家每户、每一个桌子上都将有一台计算机。你认为 AI 会有怎样的发展？你认为我们的每一个耳朵里都会有一个‘AI 参谋（AI advisor）’吗？”…

Meta 公司昨日（7 月 2 日）发布研究论文，介绍了名为 Meta 3D Gen（3DGen）的全新 AI 模型，可以在 1 分钟内鉴于用户输入的提醒词，生成高质量的 3D 实质。Meta 公司表示 Meta 3D Gen（3DGen）所生成的 3D 实质具备高分辨率纹理和材质贴图，还支持鉴于物理的渲染（PBR），并能对此前生成的 3D 实质重新再生成新纹理。IT之家援引论文主要实质，Meta…

感谢Suno 是一款人工智能音乐和歌曲生成软件，现已上架苹果 App Store（国区暂未上架）。Suno iOS 版允许用户通过提供文字描述或用手机录制音频创立自己的音乐。用户可以生成 4 分钟长的歌曲或扩展 2 分钟长的歌曲。据介绍，收费用户将逐日获得 50 个积分，经IT之家测试，每次生成歌曲会消耗 5 积分，逐日可收费生成 10 首歌曲。此外，Suno 提供了多种付费方式，供用户获取更多积…

感谢甲骨文公司宣布正式推出 HeatWave GenAI，其中包含数据库内大言语模型、自动化数据库内向量保存、可扩张向量处理，以及基于非结构化内容进行自然言语上下文对话的能力。HeatWave 是一项云技术服务，在一个产品中为交易和湖仓（IT之家注：Lakehouse，一种新的数据架构）规模分析供给自动化、集成的生成式 AI 和机器学习。这些新功效使客户能够将生成式 AI 的功效应用于客户数据，不…

马斯克已经宣布其人工智能初创公司 xAI 的大说话模型 Grok-2 将于 8 月推出，将带来更先进的 AI 功能。虽然 Grok-2 还没亮相，但马斯克已经开始为其 Grok-3 举行造势。马斯克表示，训练 AI 聊天机器人需要数据集，而且从现有数据中清除大型说话模型 (LMM) 的工作量很大。他还谈到了 OpenAI 模型输出训练的几个问题。他透露 xAI 的 Grok-3 用了 10 万块英…

感激工业和信息化部等四部门印发《国家人工智能家产综合规范化系统建设指南（2024 版）》（下称《指南》）。《指南》提出，到 2026 年，规范与家产科技翻新的联动水平持续提升，新拟定国家规范和行业规范 50 项以上，引领人工智能家产高质量生长的规范系统加快形成。开展规范宣贯和实施推行的企业超过 1000 家，规范服务企业翻新生长的结果更加突显。参与拟定国际规范 20 项以上，促进人工智能家产全球化…

科技媒体 Windows Latest 昨日（7 月 1 日）报道，网页版 Copilot 新增“Phone”插件，可以管理已联接到 Windows 11 系统的安卓手机。根据插件描述，用户勾选启动该插件后来，可以查看已联接安卓手机的联系人信息，读取和收发文本信息，配置手机闹钟等等。用户启动该插件后来，会自动挪用“手机联接”（Phone Link）应用，实现后，让 Copilot 显示最近来自 A…

英伟达首席执行官黄仁勋发表新言论，表达将来职场会更“卷”，具备推理能力的 AI 可以充当“员工”的角色，处理各种繁杂的任务，在某些领域甚至会超越人类。图源：WikiMedia黄仁勋表达 AI 将会极大地改变将来就业形势，随着 AI 的盛行，程序员这个岗亭可能会“与世长辞”。黄仁勋表达由于写代码即将被淘汰，推荐下一代在专业方面最好选择生物、教育、制造或农业等其他职业。IT之家附上视频如下：黄仁勋预测…

微软昨日宣布新闻稿，邀请 Microsoft 365 Insider 项目成员，测试 Microsoft Designer 的个性化贺卡“Greeting Cards”功用。微软表示 Greeting Cards 是一款快速、直觉的对象，可将用户输出的文字描述转化为符合其独特风格和信息的个性化贺卡。贺卡的正面灵感来自用户描述，由 AI 生成精细安排，贺卡内页包含可编辑的信息，满足用户的个性化需求。…

OpenAI 公司的 GPT-5 模型一直备受关注，许多用户期待该公司会在春季更新活动中公布这款人工智能模型。然而，OpenAI 推出了新款旗舰产品 GPT-4o，该公司首席执行官山姆・阿尔特曼（Sam Altman）将其描述为“神奇”。根据 Aspen Ideas Festival 上的一次访谈，阿尔特曼提到，开发“GPT-5”还需要一些时间。“我们目前持乐观态度，但还有良多工作要做。”阿尔特曼…

感谢据优必选官方消息，今日，优必选北京与一汽-团体达成竞争，双方将在一汽-团体位于青岛的国家级智能制作演示工场共同探索人形机器人在产业场景的深度应用，打造高智能化和柔性化的生产线及汽车超级无人工场。据官方介绍，此次竞争，一汽-团体将向优必选开放其位于青岛的“国家级智能制作演示工场”生产线应用场景，引入产业版人形机器人 Walker S 展开汽车制作过程中的螺栓拧紧、整机安装、整机转运等工作。此外，…

腾讯搜狗输入法今日迎来 AI 功能上新，升级搭载 AI 帮写、AI 对话、快捷问答、AI 宠物、AI 自拍心情等多种玩法。IT之家获悉，AI 帮写号称“1 秒写题目 10 秒出全文”，供给 21 个帮写指令，包括谈天修饰、万能帮写、购物神评、演讲稿生成、短视频动态、诗为你写诗、书影音评、写邮件、高赞朋友圈、个性签名、种草笔记、工作汇报、创意博文、知识分享、简历修饰、自我介绍、考试祝福、爆款题目、神…

很翔实的一篇教程。OpenAI 的 Sora、Stability AI 的 Stable Video Diffusion 以及许多其他已经发布或未来将出现的文本生成视频模型，是继大语言模型 (LLM) 之后 2024 年最流行的 AI 趋势之一。在这篇博客中，作者将展示如何将从头开始构建一个小规模的文本生成视频模型，涵盖了从理解理论概念、到编辑整个架构再到生成最终结果的所有内容。由于作者没有大算力…

一段 AI 生成的体操视频，引发近百万网友围观，LeCun 等一众大佬还因为它吵起来了。体操演出，emmmm 怎么不算呢？通过视频右上角的水印，此段视频正是由那个一度被觉得是“下一代”文生视频的 Dream Machine（来自 Luma AI）生成的。大伙儿看后纷纷坐不住，围绕此计议的，是 AI 视频领域的一个熟悉的话题：AI 是否了解物理法则。LeCun 直接开麦：视频生成模型不了解基本物理知…

【新智元导读】ChatGPT 发布一年多来，总是有人担心自己的职业会被庖代，但最后总是演变成「狼来了」的故事。但这次不一样了，ChatGPT 它来真的。BBC 的一篇报道，让 reddit 网友吵得不可开交。报道是这样的：一个由 60 多位编纂和作者组成的团队，负责为科技公司撰写和编纂文章，逐渐被 ChatGPT 所庖代，团队只剩下 1 个人和 1 个 ChatGPT。剩下的这个人，每天做的事情就…

感谢据《科创板日报》今日报导，在今年天下人工智能大会（WAIC 2024）期间，特斯拉将展示其 Cybertruck（赛博越野旅行车）、Optimus 人形机器人、FSD（完全自动驾驶能力）最新成果等。其中，特斯拉 Optimus 人形机器人现已可在工场里执行任务，预计 2025 年，将有超过 1000 个 Optimus 人形机器人在特斯拉工场内工作；Cybertruck 是天下首款采用 48V…

北京时间今日午间，马斯克在自己的 X（推特）平台上发文宣布，其人工智能首创公司 xAI 的大言语模型 Grok-2 将于 8 月推出。马斯克是在回应一则帖子的时候透露上述信息的。博主 Bef-e / acc 发文称，当前的模型在彼此的数据上进行训练，就像人体蜈蚣效应一样。马斯克在回复中示意，“很遗憾，情况确实就是这样。从互联网训练的数据中清除大言语模型需要花费大量工作。8 月即将推出的 Grok-…

感谢微软与 OpenAI、google与三星的 AI 交易及合作可能要面临欧盟的反垄断观察，因为欧盟禁锢机构找到了这些公司的“排他性”条目。据路透社报道，欧盟竞争主管玛格丽特・维斯塔格当地时间上周五表示，欧盟反垄断禁锢机构将寻求更多第三方的意见。“我们已经审查了答复，现在正在发送后续央求，要求提供有关微软和 OpenAI 之间和谈的信息，以了解某些排他性条目是否会对竞争对手产生负面影响。”报道指出…

google曾在今年 4 月发布了一款全新的 AI 视频编写利用 Google Vids，并宣布预计 6 月登陆 Google Workspace Labs 测试版。据 Android Authority 报导，目前该利用已经于上周五前后悄悄上线并开启测试，性能齐全。▲ 图源 Android Authority，下同Google Vids 集成了 Gemini 大模型，可以帮助用户创立幻灯片、编写…

苹果上个月官宣的 Apple Intelligence 将与 OpenAI 的 ChatGPT 告竣竞争，此后有关于“苹果牌 AI”是否会与其他模型告竣竞争乃至在华采用何种模型的相关传闻，可说有增无减。彭博社记者马克・古尔曼上周日在最新一期 Power On 时事通讯中透露，苹果今年春季将颁布发表“至少另外一项”协议的告竣，届时 Apple Intelligence 将有望接入google Gem…

Meta 前天推出了一款名为“LLM Compiler”的模型，该模型基于 Meta 现有的 Code Llama 打造，主打代码优化，目前相干模型已登陆 Hugging Face，提供 70 亿参数及 130 亿参数两个版本，允许学术及商业应用，IT之家附项目地址如下：点此访问。Meta 认为，尽管业界各大谈话模型已在各种编程代码使命中展现了出色的能力，但此类模型在代码优化还有进步空间，目前推出…

编辑：桃子乔杨【新智元导读】LLM 能否解决「狼-山羊-卷心菜」经典过河难题？最近，菲尔兹奖得主 Timothy Gowers 分享了实测 GPT-4o 的过程，模型在最简单的题目上竟然做错了，甚至网友们发明，就连 Claude 3.5 也无法幸免。在经典的「狼-山羊-卷心菜」过河题目上，如今所有的 LLM 都失败了！几天前，菲尔兹奖得主、剑桥大学研究主任 Timothy Gowers 直接拿 G…

微软近期公布了其备受关注的智能协助手 Copilot for Microsoft 365 的一系列即将于 7 月上线的新功能，进一步加强了该服务在微软旗下众多软件产品中的整合力度。备受期待的一项革新是将微软的人工智能艺术创作工具“筹划器（Designer）”引入 Word 和 PowerPoint 应用。用户只需打开 Copilot 并通过文字指令描述需求，Copilot 就能主动生成图像。不仅如…

本文探究了 transformers 在做数学推理题目时究竟是采用 case-based reasoning 还是 rule-based reasoning