谷歌 DeepMind 推出 AlphaGeometry:奥林匹克级几何AI系统
谷歌旗下的DeepMind研究团队最近推出了名为AlphaGeometry的人工智能系统,该系统在解决几何奥林匹克问题方面表现出色,几乎可与人类金牌得主相媲美。这一成就代表着在大学预科数学困难领域中复杂自动推理能力的显著进步。AlphaGeometry的发布标志着在计算机程序领域中首次实现了比IMO平均候选程序更有效地证明欧几里得平面几何定理的突破,推动了数学竞赛顶峰推理的自动化�
ConvNet与Transformer谁更强?Meta评测4个领先视觉模型,LeCun转赞
【新智元导读】当前的视觉模型哪个更好?Meta团队最新一波研究来了。如何根据特定需求选择视觉模型?ConvNet/ViT、supervised/CLIP模型,在ImageNet之外的指标上如何相互比较?来自MABZUAI和Meta的研究人员发表的最新研究,在「非标准」指标上全面比较了常见的视觉模型。-CLIP模型具有较高的形状偏差,与其ImageNet精度相比,分类错误较少。
AI视野:谷歌推几何模型Alpha Geometry;三星发布AI手机Galaxy S24;Runway更新运动笔刷功能;Midjourney v6下周补齐缩放平移等功能
欢迎来到【AI视野】栏目!这里是你每天探索人工智能世界的指南,每天我们为你呈现AI领域的热点内容,聚焦开发者,助你洞悉技术趋势、了解创新AI产品应用。
谷歌推数学几何模型Alpha Geometry 解题能力接近奥数金牌选手
谷歌推出了新的面向数学几何领域的模型AlphaGeometry,数学几何能力已接近人类奥林匹克金牌选手的水平。特别值得一提的是:它的训练是基于合成数据不是现有的数据。这无疑将为未来人工智能的发展,尤其是对于解决大语言模型幻觉和语料不足的问题提供新的思路。
谷歌推几何AI系统AlphaGeometry,实力达奥林匹克金牌得主
GoogleDeepMind发布了一个名为AlphaGeometry的人工智能系统,它可以解决复杂的几何问题,其水平接近人类奥林匹克金牌得主——这是人工智能性能的突破。在对30道奥数几何题的基准测试中,AlphaGeometry在标准奥数时限内解决了25道。研究人员最近推出了FunSearch,它首次使用大型语言模型在数学科学的开放问题中取得了发现。
IBM以23亿美元收购数据集成平台webMethods和StreamSets
在数字化转型日益加速的今天,应用和数据集成方案在组织中扮演着愈发重要的角色。这两者是SoftwareAG的SuperiPaaS企业技术平台。两家公司与IBM的SuperiPaaS愿景一致,IBM全球的规模将进一步增强这些平台的能力。
Meta引入全新注意力机制Sytem 2 Attention 提升Transformer架构推理能力
Meta的研究者发表了一项关于Transformer架构的新研究,提出了一种名为System2Attention的全新注意力机制。该研究旨在解决大型语言模型在推理能力上的不足,特别是在处理复杂任务时可能出现的错误。S2A的引入为解决当前LLM推理能力不足的问题提供了一种创新性的解决方案。
Llama 3超大杯有何惊喜?Meta会一直开源吗?当初为何笃信元宇宙?扎克伯格新访谈回应一切
Meta突然官宣了Llama3,把开源模型的实力又往上提了一截。Llama3总共有三个版本——8B、70B和405B。正如BenHorowitz所说,「keepthemainthing,themainthing」,并努力专注于你的关键优先事项。
Facebook和Instagram全球死机 Meta旗下有哪些AI人工智能应用?
日前MetaPlatforms旗下的Facebook和Instagram出现全球服务中断,影响了数十万用户的正常使用。这次事件再次凸显了数字时代对社交媒体平台的依赖性和风险性,也提醒了用户和企业在数字化时代需要备份和应对服务中断的计划和策略。请访问AIbase官方网站,开始您的AI之旅。
Meta AI 发布 MMCSG数据集:使用 Project Aria 捕获的 25 小时以上的双向对话
MetaAI最近发布了MMCSG数据集,该数据集包含使用ProjectAria录制的25小时以上的双向对话。CHiME-8MMCSG任务的重点是转录使用智能眼镜录制的对话,这些眼镜配备了多个传感器,包括麦克风、摄像头和惯性测量单元。MMCSG数据集的提供为在动态现实环境中开发和评估转录系统提供了宝贵资源。
OpenAI推出“Meta-Prompting”,显著提升GPT-4等模型内容准确性
OpenAI、斯坦福大学的研究人员推出了一个创新大模型增强框架——Meta-ProMetating。Meta可增强GPT-4、PaLM和LLaMa等模型的性能,使生成的内容更加精准、安全可靠。指挥模型再根据这些反馈进行调整和修正并进行自适应学习,以生成更准确和可靠的最终答案。
苹果Vision Pro发售:竞争对手Meta单日大涨20%创纪录!
苹果的首款头显设备VisionPro在2月2日正式开售,但其竞争对手Meta的股价则是单日大涨超过20%,一天市值增加超过2000亿美元,创造了美股历史记录。2023年9月份,Meta公司发布了Quest3头显,售价为499.99美元起。并且将电池和VisionPro加在一起,总重量已超一公斤,相比之下,Quest3的重量为515克。
AI视野:Meta发布Code Llama70B;Nijijourney V6模型正式上线;Chrome将内置AI写作助手;Minimax的AI对话机器人海螺问问上线
GPT-4准确率最高飙升64%!斯坦福OpenAI重磅研究:全新Meta-Prompting方法让LLM当老板
【新智元导读】大模型幻觉问题还有另一种解法?斯坦福联手OpenAI研究人员提出「元提示」新方法,能够让大模型成为全能「指挥家」,汇聚不同专家模型精华,让GPT-4的输出更精准。当你让大模型写一首「莎士比亚十四行诗」,并以严格的韵律「ABABCDCDEFEFGG」执行。在加入微软研究院之前,他曾在乔治亚理工学院和丰田工业大学芝加哥分校担任计算机科学助理教授。
Meta推机器人框架OK-Robot 机器人收拾房间就要实现了?
Meta和纽约大学合作开发的机器人框架OK-Robot,让我们离实现机器人收拾房间的目标又近了一步。这一新型开放知识型机器人框架融合了前沿的视觉语言模型来识别物体,预先训练好的机器人抓取模型,以及经过实战考验的算法,如1968年的A*算法用于导航。这一成果为机器人在家庭环境中执行日常任务提供了新的可能性。
字节复旦团队提出meta prompts 扩散模型图像理解力刷新SOTA
过去一年扩散模型风头正劲,彻底改变了文生图领域!那么,扩散模型能否处理视觉感知任务?字节跳动和复旦大学技术团队在最新研究中提出了一个简单有效的方案。扩散模型在生成高清晰度图像方面显示出了卓越的能力,这一成就得益于其在大规模图像-文本对上的预训练。随着技术的进步,这些方法可能会进一步完善。
“ChatGPT之父”结婚了!配偶为前Meta程序员
OpenAI的首席执行官奥特曼在美国夏威夷与他的同性伴侣马尔赫林举行了一场秘密婚礼。这场婚礼规模较小,仅有少数亲朋好友出席。这场“宫斗”最终以奥特曼的回归画上了句号。
Meta 新模型:如果我每14秒生成一个高清视频,好莱坞的各位要如何应对|「变压器」
利用人工智能来合成视频一直是该领域的难题,因为其中最关键的一环——映射与合成,缺乏优秀的模型算法,只能利用卷积神经网络和生成对抗网络来不断提取特征、生成、判断,直至最后结果。比如此前曾大火的Deepfake技术,俗称人工智能换脸,生成一个短短几秒的“换头”视频也需要10分钟左右的时间。好莱坞的好日子好像又变短了一些。
Meta CTO:AI已经成为XR领域杀手级应用的关键推动力
在最近的专访中,Meta的首席技术官AndrewBosworth分享了对AI与XR融合的见解。AI已经成为XR领域杀手级应用的关键推动力,并以Meta最新推出的AR眼镜为例进行了说明。他们致力于创造杀手级应用,同时通过开源推动技术共享和社区合作。
Meta AI团队再失大将:R-CNN作者Ross Girshick离职
Meta的FAIR团队再次迎来一位大佬级研究科学家的离职消息,R-CNN的作者RossGirshick决定离开Meta,加盟艾伦人工智能研究所。这也是近期FAIR团队内部的一系列离职动荡中的最新发展。这一系列的动荡也让业界对Meta在AI领域的发展保持关注,以期看到他们在人才留存和创新方面取得更多进展。