资讯列表
马斯克：xAI 将于 8 月推出 Grok-2 大语言模型
北京时间今日午间，马斯克在自己的 X（推特）平台上发文宣布，其人工智能初创公司 xAI 的大语言模型 Grok-2 将于 8 月推出。马斯克是在回应一则帖子的时候透露上述信息的。博主 Bef-e / acc 发文称，当前的模型在彼此的数据上进行训练，就像人体蜈蚣效应一样。马斯克在回复中表示，“很遗憾，情况确实就是这样。从互联网训练的数据中清除大语言模型需要花费大量工作。8 月即将推出的 Grok-2，在这方面将拥有巨大进步。”IT之家注：上文所述之“人体蜈蚣”出自同名荷兰血腥猎奇影片。该片 2009 年上映，讲述一
亚马逊云创新「神经稀疏检索」：仅需要文本匹配就能实现语义搜索
AIxiv专栏是机器之心发布学术、技术内容的栏目。过去数年，机器之心AIxiv专栏接收报道了2000多篇内容，覆盖全球各大高校与企业的顶级实验室，有效促进了学术交流与传播。如果您有优秀的工作想要分享，欢迎投稿或者联系报道。投稿邮箱：[email protected]；[email protected]本文作者是来自 OpenSearch 中国研发团队的机器学习负责人杨扬博士以及机器学习工程师耿志超和管聪。OpenSearch 是一个由亚马逊云科技发起的纯开源搜索和实时分析引擎项目。目前
30倍于传统方法，中国科学院团队Transformer深度学习模型预测糖-蛋白质作用位点
糖类是自然界中最丰富的有机物质，对生命至关重要。了解糖类如何在生理和病理过程中调节蛋白质，可以为解决关键的生物学问题和开发新的治疗方法提供机遇。然而，糖类分子的多样性和复杂性，对实验识别糖-蛋白质结合以及相互作用的位点提出了挑战。在这里，中国科学院团队开发了一种深度学习模型 DeepGlycanSite，它能够准确预测给定蛋白质结构上的糖结合位点。DeepGlycanSite 将蛋白质的几何和进化特征融入具有 Transformer 架构的深度等变图神经网络中，其性能显著超越了之前的先进方法，并能有效预测各种糖类分
打开文心大模型，一看全是生产力
百度文心按下了 Turbo 键。最近一段时间，人们在热衷于给大模型「考试」。不论是适用于机器的 Benchmark 跑分，还是人类的高考题，在一次次横向测评中，技术的发展进度被不断量化。对比中取得了好成绩的 AI，一时会受到人们的热捧。然而在现实世界这个「考场」上，很多时候不存在所谓的标准答案，AI 会遭遇各种训练中未曾遇见的情况。更进一步，大模型的应用也要面临是否有用的灵魂拷问。对于技术快速发展的大模型来说，实际落地的效果，才是评判能力最重要的一环。在云南澜沧县，人们正在使用基于文心智能体平台创建的「农民院士智能
开发者狂喜！Meta最新发布的LLM Compiler，实现77%自动调优效率
Meta搞了个很牛的LLM Compiler，帮助程序员更高效地写代码。昨天，三大 AI 巨头 OpenAI、Google、Meta 组团发布自家大模型最新研究成果 ——OpenAI 推出基于 GPT-4 训练的专门找 bug 的新模型 CriticGPT，谷歌开源 9B、27B 版 Gemma2，而 Meta 则拿出了一项最新的人工智能突破 ——LLM Compiler。这是一套强大的开源模型，旨在优化代码并彻底改变编译器设计。这项创新有可能改变开发者处理代码优化的方式，使其更快、更高效、更经济。据悉，该 LLM
看张手绘草图就能合成图形程序，加州伯克利让扩散模型掌握新技能
事实证明，扩散模型不仅能用于生成图像和视频，也能用于合成新程序。假设我们给模型一张手绘的「5」状图形，它就能通过不断突变来修改程序，最终得到能输出目标图形的程序。该模型来自加州大学伯克利分校的一个研究团队，他们提出的这种程序合成新方法使用了神经扩散模型来直接操作句法树。论文一作为该校博士生 Shreyas Kapur，其导师为该校计算机科学教授 Stuart Russell。论文标题：Diffusion On Syntax Trees For Program Synthesis论文地址：：：。而该团队发现，通过利用
奥特曼热捧华人AI制药公司获3.72亿美元融资；李开复称若AI取代工作，可以代言生发广告；AGI或使全球GDP翻倍丨AI情报局
融资快报Formation Bio宣布完成3.72 亿美元D轮融资：Formation Bio（原名为TrialSpark）由华人Benjamine Liu和Linhao Zhang共同创立，是一家专注于将人工智能应用于药物临床试验的创业公司。 本轮融资由Andreessen Horowitz 领投，老股东赛诺菲、红杉资本、Thrive、Emerson Collective、Lachy Groom，新投资SV Angel Growth和FPV Ventures等共同参投。 Hebbia获得近1亿美元B轮融资：Hebbia是一家使用生成式AI搜索大型文档并返回答案的初创公司，本轮融资对该公司的估值在 7 亿至 8 亿美元之间，由 Andreessen Horowitz 领投。
反垄断机构将发威：微软与 OpenAI / 谷歌与三星之间的 AI 交易受到欧盟关注
感谢微软与 OpenAI、谷歌与三星的 AI 交易及合作可能要面临欧盟的反垄断调查，因为欧盟监管机构找到了这些公司的“排他性”条款。据路透社报道，欧盟竞争主管玛格丽特・维斯塔格当地时间上周五表示，欧盟反垄断监管机构将寻求更多第三方的意见。“我们已经审查了答复，现在正在发送后续请求，要求提供有关微软和 OpenAI 之间协议的信息，以了解某些排他性条款是否会对竞争对手产生负面影响。”报道指出，欧盟此举凸显了全球监管机构对大科技公司利用其优势进入新技术领域的不安情绪。维斯塔格于今年 3 月向微软、谷歌、Facebook
帮你写脚本、剪片、找素材，谷歌 AI 视频编辑应用 Google Vids 上线测试
谷歌曾在今年 4 月发布了一款全新的 AI 视频编辑应用 Google Vids，并宣布预计 6 月登陆 Google Workspace Labs 测试版。据 Android Authority 报道，目前该应用已经于上周五前后悄悄上线并开启测试，功能齐全。▲ 图源 Android Authority，下同Google Vids 集成了 Gemini 大模型，可以帮助用户创建幻灯片、编写视频脚本，并从 Shutterstock 寻找素材，还可以为整个视频制作分镜头脚本。用户则可以通过添加或删除幻灯片、文本字段、图
效率翻倍！6 款不容错过的免费 AI 神器（七）
大家好，我是花生~
今天继续为大家推荐一些好用的 AI 效率神器，有优化后的 AI 绘画小工具、IC-Light 工作流等，一起来看看吧~
上期回顾：一、字母图片生成器 GenType
网站直达：
GenType 是 Google 研究室推出的一款实验性质的小工具，可以将用户输入的字母转为特定类型的图片，比如输入字母 “A”，然后提示词写 “clouds in clear blue sky, photoreal, overhead shot”，就可以得到一张由白云组成的字母 A 的图片。图像生成速度极快，支持保存
90秒设计＆发布精品网站！测评首个 AI 网站创建神器 Wegic
我们设计团队从去年开始就将 AI 工具融入到设计业务承接中，并且给大家分享了非常多实操案例。
但最近新发现的一个 AI 工具，又给我打开了新世界的大门，借助 AI 我甚至可以做成以前根本做不到的事情——从 0 开始，在几分钟内，设计并开发上线一个真实的可以被搜索查看的网站！而且完全不用掌握任何的代码能力。
今天就给大家分享这个能帮网页设计&开发小白做出精美网站的 AI 工具—— Wegic！免费体验地址：
一、Wegic 是什么？怎么用？
Wegic 是首个 AI 网站设计师&开发者。当然我更认同他们官方给自己的
不只 ChatGPT，消息称 iOS 18“苹果牌 AI”今秋将接入谷歌 Gemini
苹果上个月官宣的 Apple Intelligence 将与 OpenAI 的 ChatGPT 达成合作，此后有关于“苹果牌 AI”是否会与其他模型达成合作乃至在华采用何种模型的相关传闻，可说有增无减。彭博社记者马克・古尔曼上周日在最新一期 Power On 时事通讯中透露，苹果今年秋季将宣布“至少另外一项”协议的达成，届时 Apple Intelligence 将有望接入谷歌 Gemini。报道称，苹果公司高级副总裁 Craig Federighi 在 WWDC 主题演讲结束后不久即“暗示”了与谷歌的交易。古尔曼
全网围观魏建军直播：长城端到端智驾大模型挑战重庆「魔幻路况」
机器之心发布机器之心编辑部2024 年 6 月 30 日，长城汽车董事长魏建军亲自操盘，通过直播向全球展示了长城汽车全场景 NOA 在重庆的挑战性路段的实际表现。这次直播不仅是对长城汽车智能驾驶技术的一次全方位检验，更是一次向公众彰显其领先的智能驾驶解决方案 ——Coffee Pilot Ultra（CP Ultra）的力量展示。技术核心：SEE 模型的实战检验SEE 模型，长城汽车的技术王牌，是真正的游戏规则改变者。这个端到端智驾大模型整合了感知、决策、规控等关键环节，实现了数据的全链路一体化处理。在重庆的多变道
Meta 推出 LLM Compiler 代码优化模型，可搭配其他 AI 改善代码生成 / 编译能力
Meta 前天推出了一款名为“LLM Compiler”的模型，该模型基于 Meta 现有的 Code Llama 打造，主打代码优化，目前相关模型已登陆 Hugging Face，提供 70 亿参数及 130 亿参数两个版本，允许学术及商业使用，IT之家附项目地址如下：点此访问。Meta 认为，尽管业界各大语言模型已在各种编程代码任务中展现了出色的能力，但此类模型在代码优化还有进步空间，目前推出的 LLM Compiler 模型便是一款专为优化代码任务设计的预训练模型，能够模拟编译器对代码进行优化，或将“已经过优
菲尔兹奖得主亲测 GPT-4o，经典过河难题破解失败
编辑：桃子乔杨【新智元导读】LLM 能否解决「狼-山羊-卷心菜」经典过河难题？最近，菲尔兹奖得主 Timothy Gowers 分享了实测 GPT-4o 的过程，模型在最简单的题目上竟然做错了，甚至网友们发现，就连 Claude 3.5 也无法幸免。在经典的「狼-山羊-卷心菜」过河问题上，如今所有的 LLM 都失败了！几天前，菲尔兹奖得主、剑桥大学研究主任 Timothy Gowers 直接拿 GPT-4o 开刀，去解决动物过河难题。在此，他给出了一个新的基准 —— 废话比率（crapness ratio），即 L
微软 Copilot for Microsoft 365 下月将迎新功能，设计、写作全面赋能
微软近期公布了其备受关注的智能协助手 Copilot for Microsoft 365 的一系列即将于 7 月上线的新功能，进一步加强了该服务在微软旗下众多软件产品中的整合力度。备受期待的一项更新是将微软的人工智能艺术创作工具“设计器（Designer）”引入 Word 和 PowerPoint 应用。用户只需打开 Copilot 并通过文字指令描述需求，Copilot 就能自动生成图像。不仅如此，用户还可以通过 Copilot 指令搜索微软提供的正版图片库，并轻松选用合适的图片。在 PowerPoint 中，设
AIGC实战案例！如何用一天完成主视觉设计？
一、用户留存率低
58 借钱作为 58 同城工具类产品，主要是满足用户的借款需求，所以在流程中，都是尽可能的让用户更快的完成借款的操作。所以，目前产品面临的问题是用户来得快走得快，用户目的性很强，最终，导致用户留存率低。怎么让用户留下来呢，首先要了解我们产品的用户主要都有哪些特征。通过数据分析我们发现，主要人群大多都是下沉蓝领，年龄在 30-45 岁之间，职业大多都是销售、普工、司机、客服等。
二、搭建金币体系&成长体系
他们除了基本的借款需求以外，通过调研思考和总结，还有两个共通点，可以归纳为被重视和占便宜。被重
ICML 2024｜Transformer究竟如何推理？基于样例还是基于规则
本文探究了 transformers 在做数学推理问题时究竟是采用 case-based reasoning 还是 rule-based reasoning