发布时间:2024-05-06 14:05:49 浏览量:192次
谷歌DeepMind的一组人工智能研究人员与纽约大学的一位同事合作,开发了一种名为AlphaGeometry的人工智能系统,该系统已经证明了在高层次上解决复杂几何问题的能力。
在他们发表在《自然》杂志上的论文中,该小组描述了他们的新人工智能系统以及他们在开发过程中使用的想法。《自然》杂志的团队还发布了一个播客,概述了新的人工智能系统。
证明数学定理可能是一项具有挑战性的工作,能够做好这项工作的人被认为是高等教育机构的宝贵资产,在某些情况下,还被认为是谷歌等公司的宝贵资产。因此,已经建立了一种识别这些人的方法——国际数学奥林匹克竞赛。它被描述为高中生的世界数学锦标赛。
由于将数学用于许多现代应用(例如计算机系统的设计)存在许多固有的困难,计算机科学家一直希望人工智能系统能够解决复杂的数学问题和/或证明定理。不幸的是,到目前为止,人工智能系统的表现并没有达到预期的水平。然而,在这项新研究中,DeepMind的团队现在已经创建了一个名为AlphaGeometry的人工智能系统,该系统可以在国际数学奥林匹克竞赛中获得金牌的学生的水平上竞争。
为了创建AlphaGeometry,研究团队使用了一种新方法。他们没有试图教系统如何使用多个示例来证明定理,而是使用了一种神经语言模型,允许系统进行自我训练。这是通过综合数百万个具有不同复杂程度的已知定理和证明来完成的。他们还添加了一个符号推演引擎,以帮助系统在没有人类帮助的情况下学习和解决日益复杂的问题。
然后,研究人员通过给2024年至2024年期间国际数学奥林匹克竞赛中学生面临的30个问题来测试他们的新系统,发现它能够解决其中的25个问题,比以前的人工智能系统要好得多。他们指出,它的表现与比赛中的平均金牌得主不相上下。
研究小组指出,该系统目前被编程为与特定形式的几何图形一起工作,但建议它可能能够将其曲目扩展到其他领域。
热门资讯
想将照片变成漫画效果?这篇文章分享了4个方法,包括Photoshop、聪明灵犀、VanceAI Toongineer、醒图,简单操作就能实现,快来尝试一下吧!
2. 华为手机神奇“AI修图”功能,一键消除衣服!原图变身大V领深V!
最近华为手机Pura70推出的“AI修图”功能引发热议,通过简单操作可以让照片中的人物换装。想了解更多这款神奇功能的使用方法吗?点击查看!
近年来,人工智能逐渐走入公众视野,其中的AI图像生成技术尤为引人注目。只需在特定软件中输入关键词描述语以及上传参考图就能智能高效生成符合要求的...
4. AI视频制作神器Viggle:让静态人物动起来,创意无限!
Viggle AI是一款免费制作视频的AI工具,能让静态人物图片动起来,快来了解Viggle AI的功能和优势吧!
5. Logo Diffusion——基于sd绘画模型的AI LOGO 生成器
这下LOGO设计彻底不用求人了。接下来详细演示一遍操作流程首先进入Logo D... 想学习更多AI技能,比如说关于怎么样利用AI来提高生产效率、还能做什么AI...
6. 零基础10分钟生成漫画,教大家如何用AI生成自己的漫画
接下来,我将亲自引导你,使用AI工具,创作一本既有趣又能带来盈利的漫画。我们将一起探索如何利用这个工具,发挥你的创意,制作出令人惊叹的漫画作品。让...
以下是一些免费的AI视频制作网站或工具,帮助您制作各种类型的视频。 1. Lumen5:Lumen5是一个基于AI的视频制作工具,可将文本转换为视频。 用户可以使...
8. AI显卡绘画排行榜:4090无悬念,最具性价比出人意料
在AI绘图领域,Stable Diffusion的显卡绘图性能备受关注。本文整理了Stable Diffusion显卡的硬件要求和性能表现,以及2023年3月显卡AI绘图效率排行榜和性价比排行榜。欢迎查看最新的AI显卡算力排行榜。
就能快速生成一幅极具艺术效果的作品,让现实中不懂绘画的人也能参与其中创作!真的超赞哒~趣趣分享几款超厉害的AI绘画软件,提供详细操作!有需要的快来...
10. 一款免费无限制的AI视频生成工具火了!国内无障碍访问!附教程
人人都可以动手制作AI视频! 打开网址https://pixverse.ai/,用邮箱注册后,点击右上角Create,就可以开始创作了。 PixVerse目前有文案生成视频,和图片生...
同学您好!