AI.x社区
- 登录/注册
默认
发布时间
热度
原创
精华
加州理工华人用AI颠覆数学证明！提速5倍震惊陶哲轩，80%数学步骤全自动化
LeanCopilot，让陶哲轩等众多数学家赞不绝口的这个形式化数学工具，又有超强进化了？就在刚刚，加州理工教授AnimaAnandkumar宣布，团队发布了LeanCopilot论文的扩展版本，并且更新了代码库。论文地址：https:arxiv.orgpdf2404.12534.pdf最新实验表明，这个Copilot工具，可以自动化80%以上的数学证明步骤了！这个纪录，比以前的基线aesop还要好2.3倍。并且，和以前一样，它在MIT许可下是开源的。而对此做出巨大贡献的，...AI数学微软「诈骗届」王牌框架，真到可怕！一张照片+音频即可生成数字人
精华在人物说话的过程中，每一个细微的动作和表情都可以表达情感，都能向观众传达出无声的信息，也是影响生成结果真实性的关键因素。如果能够根据特定面容来自动生成一段生动逼真的形象，将彻底改变人类与人工智能系统的交互形式，例如改善有障碍患者的交流方式、增强人工智能辅导教育的趣味性、医疗保健场景下的治疗支持和社会互动等。最近，微软亚洲研究院的研究人员抛出了一个重磅炸弹VASA1框架，利用视觉情感技巧（VAS，visuala...数字人生成Gartner预计：到2028年，将有75%的企业程序员使用AI辅助工具。同时，开发团队需警惕上级的过高期望
原创编译丨诺亚出品51CTO技术栈（微信号：blog51cto）日前，Gartner预测，到2028年，将有75%的企业软件工程师使用AI代码助手。值得一提的是，这一比例在2023年初尚不足10%。根据对598位大型企业软件工程领导者的调查，截至2023年第三季度，已有63%的组织正在试用、部署或已部署了AI代码助手。然而，Gartner高级首席分析师PhilipWalsh警告称，在生产力提升方面，IT领导层的期望与软件团队的实际体验之间可能存在不匹配。Walsh表示，...AI辅助工具编程大模型一对一战斗75万轮，GPT-4夺冠，Llama 3位列第五
关于Llama3，又有测试结果新鲜出炉——大模型评测社区LMSYS发布了一份大模型排行榜单，Llama3位列第五，英文单项与GPT4并列第一。不同于其他Benchmark，这份榜单的依据是模型一对一battle，由全网测评者自行命题并打分。最终，Llama3取得了榜单中的第五名，排在前面的是GPT4的三个不同版本，以及Claude3超大杯Opus。而在英文单项榜单中，Llama3反超了Claude，与GPT4打成了平手。对于这一结果，Meta的首席科学家LeCun十分高兴，...大模型测评黑照变废为宝！超能AI一句话修出创意大片，亲妈看了都说真
精华2024最wow的AI生图工具出现了！对“青春纪念手册”下手，你就说这味儿正不正宗：不信谁没有，谁也别说谁。别着急，下一秒“啪”的一下：……什么情况？这，就是最近摄影圈不少人都在玩的AI修图神器——超能画布。据说只需一句提示词就能分分钟修出创意大片，无需事先上传多张图训练专属模型，打开直接上传一张图随便P。最近它还快速迭代升级了一波产品，圈子里更热闹了。有网友试过后直呼内行，毕竟用它来应对顾客的奇葩需求简...AI生图工具ChatGPT能预测未来特定事件，准确率高达97%
贝勒大学经济学院的PhamHoangVan和ScottCunningham两位教授，基于OpenAI的GPT3.5、GPT4深度研究了大模型对事情的预测能力。研究人员使用了直接预测和未来叙述（FutureNarrative）两种提示方法，进行了100次提示。同时使用了训练数据截止至2021年9月的ChatGPT模型，对2022年已经发生的事情进行了多维度评测。结果显示，在直接预测中，ChatGPT的表现并不理想，例如，直接让其回答2022年奥斯卡最佳男主角时准确率只有25%左右。如果...模型预测Arena-Hard：开源高质量大模型评估基准
开发一个安全、准确的大模型评估基准通常需要包含三个重要内容：1）稳定识别模型的能力；2）反映真实世界使用情况中的人类偏好；3）经常更新以避免过拟合或测试集泄漏。但传统的基准测试通常是静态的或闭源的，同时大模型的技术发展和功能迭代比较，这凸显了建立具有高可分离性评估基准的必要性。大模型研究组织LmsysOrg则开源了ArenaHard。这是一个全新高质量大模型评估基准。开源地址：https:github.comlmsysarenahardLmsys将...模型评估Leonardo新增图片样式引导，能精准控制生成图片啦！
4月20日，知名文生图平台Leonardo.ai宣布新增图片样式引导功能，用户可以通过上传自定义图片，生成更精准、丰富的图片内容。这个功能对于设计师、网络营销人员、插画师等非常重要，可以帮助用户控制图片生成内容的风格、样式、色彩等元素，从而在视觉效果上实现更好的体验。也就是说，这相当于是一个可视化的迷你微调功能，可以按照你的要求制作连环画或者视觉一致的海报啦。目前，免费用户只能上传1张参考图片。付费用户最多上...图片 生成AI谷歌 DeepMind CEO Hassabis 畅谈 Gemini、Scalin Law、通用机器人、大模型开源、超级人工智能
OpenAI的Sora又一次出圈，掩盖其它新的AI产品的锋芒，包括几乎同期发布的Google的Gemini1.5和Meta的VJEPA。很多AI从业者为此大抱不平，声称“被Sora夺走风头的Gemini被低估了！”特别是Google这次推出的Gemini1.5Pro是一种多模态大模型（涉及文本、视频、音频），性能水平与谷歌迄今为止最大的模型1.0Ultra类似，并引入了长上下文理解方面的突破性实验特征。它能够稳定处理高达100万Tokens（相当于1小时的视频和超过3万行代码）...谷歌机器人人工智能【深度解析】自然语言生成中的“幻觉”现象
精华NLG技术在文本摘要、对话系统、问答以及机器翻译等多个领域扮演着至关重要的角色。伴随着深度学习技术的飞速发展，尤其是以Transformer为基础的模型如BERT、BART、GPT2和GPT3的问世，NLG领域迎来了前所未有的繁荣。然而，在NLG模型训练与解码过程中，我们不得不面对一个挑战——幻觉现象。这种现象指的是模型生成的文本可能缺乏趣味性、连贯性，甚至出现重复且毫无意义的输出，有时这些输出还会与原始输入相矛盾。这些“幻觉...自然语言NLG自然语言为Stable Diffusion模型瘦身并达到SOTA！LAPTOP-Diff：剪枝蒸馏新高度（哈工大&OPPO）
精华文章链接：https:arxiv.orgpdf2404.11098在AIGC时代，对低成本甚至设备端应用扩散模型的需求日益增加。在压缩StableDiffusion模型（SDM）方面，提出了几种方法，其中大多数利用手工设计的层移除方法来获得更小的UNet，同时利用知识蒸馏来恢复网络性能。然而，这种手工设计的层移除方式效率低下，缺乏可扩展性和泛化性，并且在重新训练阶段使用的特征蒸馏面临着不平衡问题，即一些数值显著的特征损失项在整个重新训练过...模型训练英伟达股价暴跌！或与 Llama 3 发布有关？
原创Llama3在Groq平台运行速度超快美国时间4月18日中午，Meta发布了Llama3大模型。该版本的模型经过预训练和指令微调，参数分别为8B和70B，可支持广泛的用例。Llama3在行业基准测试中展示了最先进的性能，包括改进的推理能力。Meta在发布的文章中声称Llama3是目前同类产品中最好的开源模型。4月19日凌晨，也就是Llama3发布12小时后，AI芯片公司Groq发布在其LPU™推理引擎上运行的Llama38B(8k)和70B(4k,8k)，并通过groq.com和GroqClo...英伟达Llama 3大模型基于TCN-SENet +BiGRU-GlobalAttention并行预测模型
环境：python3.9pytorch1.8及其以上都可以模型创新点还未发表，有毕业设计或者发小论文需求的同学必看，模块丰富，创新度高，性能优越！创新点：1.利用时间卷积网络（TCN）的一系列时间卷积层，这些卷积层可以有效地捕获不同时间尺度上的序列模式，在TCN的输出上应用SENet模块，用于学习和增强重要特征的表示，提高模型对关键信息的感知能力；2.通过双向门控循环单元（BiGRU）同时从前向和后向对序列进行建模，以更好地捕获序列...预测模型可视化实时可编辑3D重建！鼠标拖拽就能控制，港大VAST浙大联合出品
最近，高斯溅射（GaussianSplatting）在新视角合成领域掀起了一轮革命性浪潮，取代上一代技术神经辐射场（NeRF）成为学界业界顶流。而真实场景往往是动态的，如何合成动态场景的新视角是更具价值与挑战的领域。随着图形学与AI的发展，数字资产的创造日益引起人们的重视。对于重建的真实场景进行编辑也是AIGC领域业内关注的热门方向，其为制作数字资产提供了高效与便捷。香港大学CVMI实验室携手3D大模型公司VAST与浙江大学，提...AI模型新测试基准发布，最强开源Llama 3尴尬了
如果试题太简单，学霸和学渣都能考90分，拉不开差距……随着Claude3、Llama3甚至之后GPT5等更强模型发布，业界急需一款更难、更有区分度的基准测试。大模型竞技场背后组织LMSYS推出下一代基准测试ArenaHard，引起广泛关注。Llama3的两个指令微调版本实力到底如何，也有了最新参考。与之前大家分数都相近的MTBench相比，ArenaHard区分度从22.6%提升到87.4%，孰强孰弱一目了然。ArenaHard利用竞技场实时人类数据构建，与人类偏好...模型测试UC Berkeley ｜RAFT: 对不相关的RAG检索结果进行建模
大家好，我是HxShine，今天推荐一篇UCBerkeley的一篇RAG效果优化的文章～大模型引入新的知识一般有两个途径，一种是RAG检索增强，一种是SFT，哪种方式效果比较好呢？或者说有没有一些其他的更为有效的方式呢？这篇论文介绍了一种新的训练方法——检索增强型微调（RAFT：RetrievalAugmentedFineTuning），旨在改善领域特定的RAG（RetrievalAugmentedGeneration）条件下，大型语言模型（LLMs）对问题的回答能力。简单来说，RAFT将...RAG检索数据融汇11款AI工具构建完美应用
原创上篇：融汇14款AI工具构建完美应用如您所见，人工智能（AI）应用在近年来得到了长足的发展。从语音助手到软件开发，人工智能已在我们的生活中无处不在，并得到了广泛应用。下面，我将为您介绍25个开源项目，您可以用它们来制作自己的人工智能应用程序，并使其更上一层楼。1.Taipy将数据和人工智能算法转化为可投入生产网络的应用作为一个开源的Python库，Taipy（https:github.comAvaigataipy）提供了假设分析、智能管道...人工智能AI开源Mistral 不相信AGI，开源大模型CEO发出警告，科技带不来“新造的人”
原创出品51CTO技术栈（微信号：blog51cto）Mistral的首席执行官亚瑟·门施（ArthurMensch）表示，对于创造通用人工智能的迷恋，其实质是关于“创造上帝”。这位CEO并不相信埃隆·马斯克（ElonMusk）和山姆·奥特曼（SamAltman）关于人工智能将超越人类智能的预测。门施警告说，科技巨头可能会强加与全球文化和价值观相冲突的人工智能标准。1.AI界的无神论者Mistral的创始人兼首席执行官亚瑟·门施不相信上帝——因此，他也不相信...AGI开源模型「空想AGI」闹剧何时休？Science专栏：对AI前景预测过于乐观
最近几年，AI技术的发展远远超出普通大众和研究者的预期，「通用人工智能（AGI）」的概念也从科幻小说中走进了日常生活的讨论中，成为了许多科技公司和研究机构所追求的最终目标。AI行业的领头羊OpenAI表示，其使命是「确保通用人工智能造福全人类」；DeepMind在公司愿景声明中也指出，「人工通用智能有可能推动历史上最伟大的变革之一」；AGI概念在英国政府的国家人工智能战略和美国政府的人工智能文件中也被着重提及；微软的...AGIAI小洞不补，大洞吃苦：西交、麦马开源全新「拖动式编辑」框架&数据集
拖动式图像编辑是一种新型的、用户交互式的图像编辑方法。通过设置起始点与目标点，用户可以将图像的内容拖动至指定位置，得到合理的图像结果。当前的拖动式编辑基于GAN或者diffusion模型。然而这些方法或受限于GAN模型本身的生成能力，或在diffusion模型上无法得到稳定且高质量的结果。论文地址：https:arxiv.orgabs2404.07206项目地址：https:gooddrag.github.io最近，西安交通大学和麦克马斯特大学的研究人...模型开源
