资讯列表
陶哲轩用 AI 形式化的证明究竟是什么？一文看懂 PFR 猜想的前世今生
正是包括两位菲尔兹奖获得者在内四位数学家的坚持，才得以证明了一个堪称「加性组合学圣杯」的猜想，其中 AI 辅助证明起到了不可磨灭的作用。12 月 5 日，著名数学家、菲尔兹奖获得者陶哲轩在社交网络宣布：对多项式 Freiman-Ruzsa 猜想（PFR）的证明进行形式化的 Lean4 项目成功完成，并且耗时仅三周时间，其依赖图的全部节点都带上了「可爱的绿色阴影」。Lean 编译器也报告该猜想符合标准公理，可以说这是计算机和 AI 辅助证明的一项巨大成功。但多项式 Freiman-Ruzsa 猜想究竟是什么？为什么对
开源模型「幻觉」更严重，这是三元组粒度的幻觉检测套件
BSChecker：细粒度大模型幻觉检测工具与基准测试排行榜大模型长期以来一直存在一个致命的问题，即生成幻觉。由于数据集的复杂性，难免会包含过时和错误的信息，这使得输出质量面临着极大的挑战。过多的重复信息还可能导致大型模型产生偏见，这也算是一种形式的幻觉。如何检测和有效缓解大模型的生成幻觉问题一直是学术界的热门课题。近日，亚马逊上海人工智能研究院推出细粒度大模型幻觉检测工具 BSChecker，包含如下重要特性：细粒度幻觉检测框架，对大模型输出文本进行三元组粒度的幻觉检测。幻觉检测基准测试集，包含三种任务场景，满足
GPU上运行速度比现有模型快3-7倍，IU团队使用全卷积神经网络进行准确的从头肽测序
编辑 | 萝卜皮从头肽测序不依赖于全面的靶序列数据库，这为科学家提供了一种从串联质谱中识别新肽的方法。然而，当前的从头测序算法的准确性和覆盖率较低，这阻碍了它们在蛋白质组学中的应用。印第安纳大学（Indiana University，IU）的研究人员提出了 PepNet，一种用于高精度从头肽测序的全卷积神经网络。PepNet 将 MS/MS 谱（表示为高维向量）作为输入，并输出最佳肽序列及其置信度得分。PepNet 模型使用来自多个人类肽谱库的总共 300 万个高能碰撞解离 MS/MS 谱图进行训练。评估结果表明，
HumanGaussian开源：基于Gaussian Splatting，高质量 3D 人体生成新框架
在 3D 生成领域，根据文本提示创建高质量的 3D 人体外观和几何形状对虚拟试穿、沉浸式远程呈现等应用有深远的意义。传统方法需要经历一系列人工制作的过程，如 3D 人体模型回归、绑定、蒙皮、纹理贴图和驱动等。为了自动化 3D 内容生成，此前的一些典型工作（比如 DreamFusion [1] ）提出了分数蒸馏采样 (Score Distillation Sampling)，通过优化 3D 场景的神经表达参数，使其在各个视角下渲染的 2D 图片符合大规模预训练的文生图模型分布。然而，尽管这一类方法在单个物体上取得了不
人均6万美元：2024英伟达奖学金名单公布，五位华人入选
「他们是全球最有才华的博士生。」本周五，备受期待的英伟达奖学金公布了入选者名单。二十多年来，英伟达研究生奖学金计划（NVIDIA Graduate Fellowship Program）一直为研究生提供与英伟达技术相关的杰出工作支持。英伟达迄今为止已向近 200 名学生提供了 600 万美元的资助，推动了机器学习、计算机视觉、机器人和系统编程等领域的研究工作。今年的奖学金计划向参与计算创新所有领域研究的 10 名博士生提供每人高达 6 万美元的奖学金。英伟达奖学金面向全球学者，每年都会出现激烈的竞争，今年的候选人就
逼真到头发丝，光线可调，Meta推出实时3D头像合成方法
Meta 一直没放弃元宇宙。2021 年，Facebook 将「元宇宙（metaverse）」作为公司主营业务，并将公司名称更改为 Meta。然而，这一年，随着 ChatGPT 的横空出世，生成式 AI 成为一个新的研究趋势，很多科技公司都将生成式 AI 作为公司重要研发业务。但 Meta 一直没有停止 VR/AR 的研究步伐。最近，Meta 的 Codec Avatars Lab 提出了一种高保真、光线可调节的虚拟头像合成方法 ——Relightable Gaussian Codec Avatars。论文地址：：
华为诺亚&清华：基于认知的万物超分大模型CoSeR
从低清图像中提取认知特征，这样的超分辨率才更真实。图像超分辨率技术旨在将低分辨率图像转换为高分辨率图像，从而提高图像的清晰度和细节真实性。随着超分技术的发展和手机硬件性能的提升，人们期望拍摄出更加清晰的照片。这项技术在手机影像等领域有着广泛的应用和需求。然而，现有的超分方法存在一些局限性，如下图所示，主要有以下两个方面：一是缺乏泛化能力。为了实现更好的超分效果，通常需要针对特定场景使用特定传感器采集到的数据来进行模型训练，这种学习方式拟合了某种低清图像和高清图像间的映射，但在其他场景下表现不佳。此外，逐场景训练的方
Soul正式上线自研大模型“SoulX”，持续丰富用户社交体验
近日，新型社交平台Soul正式上线自研语言大模型SoulX。作为生成式人工智能最基础、最核心的工具，SoulX将作为Soul “AIGC 社交”布局的重要基建，垂直应用于平台上多元社交互动场景，例如智能对话机器人“AI苟蛋”、AI辅助聊天、虚拟陪伴等诸多工具和创新功能，进一步丰富平台用户的社交体验。据了解，SoulX的优势在于平台深耕行业过程中，大量公域场景社交类型数据的积累。该模型基于海量数据训练，具备prompt驱动、条件可控生成、上下文理解、多模态理解等能力。在保证对话流畅、自然、具备情感温度的同时，Soul
AI揭示微生物暗蛋白：使用机器学习来发现微生物蛋白质宇宙中的功能性「暗物质」
编辑 | 白菜叶宏基因组学项目揭示了地球生物圈中超过 80 亿个非冗余微生物蛋白质序列。其中，11.7 亿种蛋白质在超过 100,000 个可用参考基因组中没有可识别的同源物。了解这些微生物蛋白质的功能是一项艰巨的任务。幸运的是，机器学习最近在复杂生物数据建模和预测方面取得了前所未有的准确性。这些进步的最前沿是基于机器学习的方法，可以自信地预测许多（但不是全部）氨基酸序列的原子级蛋白质结构。最近的一项研究使用 ESMFold 预测器，该预测器利用大型语言模型，从欧洲生物信息学研究所的 MGnify 宏基因组数据库快
百度智能云AI助力市政污水处理稳定达标 药剂投加节约三成
近年来，随着国家对水环境质量的重视程度日益提高，污水尾水高标准排放逐步成为各地污水处理厂的基础要求。在这一背景下，污水处理厂对精细化、智能化运营需求也日益凸显。污水尾水高排放标准不仅对污水厂处理工艺要求高，同时还对污水处理过程中能耗、消耗及运营成本提出了更为严格的要求。如何更高效节能地治理污水？针对污水处理的药剂投加环节，百度智能云与清华大学施汉昌团队合作，通过将数据挖掘、深度学习与传统机理模型进行深度耦合，推出百度智能云污水处理智能加药系统解决方案。该方案以AI模型算法为核心，通过对污水处理厂工艺进行仿真建模，实
从比尔盖茨的文章中，总结出这份AI时代的生存指南
盖茨预测未来五年，AI 代理将颠覆软件行业和人们的生产生活。人们将不再需要各种应用程序，AI 驱动的个人助理将改变现有的人机交互方式。包括设计师在内的老互联网从业者将何去何从？本文从中总结了三点启发，供你参考。
更多趋势预测：一、前言
在 OpenAI 刚刚宣布其“ Assistants API”迈出的“婴儿步”几天后。盖茨发表了一篇博客，主题思想是：AI 代理，即将彻底改变我们使用计算机的方式并颠覆软件行业。在未来五年内，人们将能够使用自然语言与设备进行交流，而不再需要不同的应用程序。这种由人工智能驱动的个人助理
一图速览！数智上海 2023 峰会·上海城市数字化转型体验周开幕式亮点抢先看
点击进入大会官网，立即报名！
莱迪思半导体发布新一代产品组合，开启创新时代
低功耗可编程芯片领域，最近又有新品亮相。本周二，莱迪思半导体开发者大会正式举行。在活动中，莱迪思半导体宣布了一系列新产品，包括多款全新硬件和软件解决方案更新。在 Avant 中端平台上，莱迪思打造的全新中端 FPGA 系列产品 —— 莱迪思 Avant-G 和莱迪思 Avant-X，可分别用于通用设计和高级互连。莱迪思还发布了面向人工智能、嵌入式视觉、安全和工厂自动化的专用解决方案集合的最新版本，为产品线加入了全新特性。此外，该公司还发布了与芯片配套的软件工具及 Glance by Mirametrix 计算机视觉
超越LLama2，通义千问登顶HuggingFace开源大模型排行榜榜首
12月8日消息，全球最大的开源大模型社区HuggingFace日前公布了最新的开源大模型排行榜，阿里云通义千问力压Llama2等国内外开源大模型登顶榜首。HuggingFace的开源大模型排行榜（Open LLM Leaderboard）是目前大模型领域最具权威性的榜单，收录了全球上百个开源大模型，测试维度涵盖阅读理解、逻辑推理、数学计算、事实问答等六大评测。通义千问（Qwen-72B）表现抢眼，以73.6的综合得分在所有预训练模型中排名第一。通义千问-72B登顶HuggingFace的Open LLM Leade
AMD 的下一代 GPU 是 3D 集成的超级芯片：MI300 将 13 块硅片组合为一个芯片
编辑 | 白菜叶AMD 在近日的 AMD Advancing AI 活动中揭开了其下一代 AI 加速器芯片 Instinct MI300 的面纱，这是前所未有的 3D 集成壮举。MI300 将为 El Capitan 超级计算机提供动力，它是一个集计算、内存和通信于一体的夹层蛋糕，有三片硅片高，可以在这些硅平面之间垂直传输多达 17 TB 的数据。它可以使某些机器学习关键计算的速度提高 3.4 倍。该芯片与 Nvidia 的 Grace-Hopper 超级芯片和英特尔的超级计算机加速器 Ponte Vecchio
弥合化学反应预训练和条件分子生成之间的差距，北大「统一」模型
编辑 | 紫罗化学反应是药物设计和有机化学研究的基础。研究界越来越需要一种能够有效捕获化学反应基本规则的大规模深度学习框架。近日，来自北京大学和望石智慧的研究团队提出了一种新方法来弥合基于反应的分子预训练和生成任务之间的差距。受有机化学机制的启发，研究人员开发了一个新的预训练框架，使其能够将归纳偏差纳入模型中。所提框架在执行具有挑战性的下游任务中取得了最先进的结果。通过掌握化学知识，生成框架克服了当前依赖少量反应模板的分子生成模型的局限性。在大量的实验中，模型生成了高质量的可合成药物样结构。总的来说，该研究向各种基
马斯克的xAI聊天机器人Grok正式上线，网友：实时性高，敢讲粗话，懂吐槽
机器之能报道编辑：吴昕如果你的妻子说 4 5 应该等于 12，答案到底是 9 还是 12 ？Grok 选择12。由马斯克的 AI 初创公司 xAI 开发的 ChatGPT 竞争对手 Grok ，已在 X（前身 Twitter）上正式推出。Grok 今天下午晚些时候（北美时间）开始向美国的 X Premium Plus 用户推出——过去每月花费 16 美元可以免受广告叨扰，现在还能体验 Grok。X 表示，订阅时间越长的用户就能越早地获得 Grok 服务。上个月，马斯克曾表示，一旦 Grok 结束早期 Beta 测试
Gemini上线首日：用户褒贬不一，演示被质疑「造假」，谷歌承认了
又不求融资，怎么也给 demo 加美颜？「谷歌，这就有点尴尬了。」没有想到，Gemini 上线头一天，热门评论会是这个样子。本周三，谷歌的 Gemini 让生成式 AI 进入了原生多模态时代。人们第一时间涌入新模型加持的 Bard 想要试试 AI 的能力，结果给出的评价褒贬不一。其中最值得注意的是有人指出，Gemini 在发布时，谷歌给出的一系列 Demo 中最令人眼花缭乱的部分是伪造的。名为《Hands-on with Gemini: Interacting with multimodal AI》的视频现在的播放