谷歌人工智能测试得分达到国际数学奥赛银牌水平
创始人
2024-07-28 17:02:00
0

新华社北京7月26日电 继击败人类围棋大师和游戏玩家之后,谷歌旗下“深层思维”公司25日宣布,其人工智能(AI)系统在测试中成功解答了2024年国际数学奥林匹克竞赛的考题,最终得分达到本次比赛的银牌水平,但其解答多数考题的时间较长。

据报道,“深层思维”的AI系统解答了本月在英国举行的这一数学奥赛给出的6个数学难题中的4个。该AI系统生成了严谨的、逐步的答题证明。两位顶尖数学家为其答题评分。最终,这一AI系统获得28分(满分42分)——仅差一分就达到本次比赛的金牌水平。

证明数学定理是一项具有挑战性的工作,因此数学奥赛通常被认为是识别相关人才的方法,同时也是AI系统在数学和推理领域的试验场。“深层思维”公司负责科学AI的副总裁普什米特·科利说,这是该公司的AI系统首次达到奖牌级别的表现,是构建高级定理证明器历程中的一个关键里程碑。

据英国《自然》杂志报道,研究团队训练了一个专门用于解答数学奥赛考题的AI系统,结合了解答数学推理问题的模型AlphaProof和升级版的解答几何问题的模型AlphaGeometry 2。AlphaGeometry 2在20秒内解决了一个几何问题,而AlphaProof花了3天时间解答了两个代数问题和一个数论问题。

“深层思维”公司称,研究团队正继续探索多种用于推进数学推理的AI方法。未来,数学研究者将与AI合作,验证假说,尝试大胆的新方法来解决长期未解决的数学难题,并迅速解决耗时的证明问题。(完)

相关内容

热门资讯

发现一款"aapok... 发现一款"aapokerai辅助"aapoker发牌机制(本来是有挂)-哔哩哔哩1、起透看视 aap...
wepoke真的有挂!wepo... wepoke真的有挂!wepoke是不是有辅助(WePoKe黑科技)确实存在有挂(有挂攻略)-哔哩哔...
分辨真假(德州ai辅助神器软件... 分辨真假(德州ai辅助神器软件)德州线上代打(本来有挂)-哔哩哔哩;1分钟了解详细教程(微信 136...
wpK最新黑科技!wpk德州胜... wpK最新黑科技!wpk德州胜利跟号有关么(WPK ai辅助)本然真的是有挂(2020已更新)(哔哩...
华工科技智能制造北方总部基地落... 23日,华工科技智能制造北方总部基地在哈尔滨新区正式投产,采用“激光+AI+机器人”技术的智能激光除...
重要通知"aapok... 重要通知"aapoker真的有猫腻吗"aapoker透明挂使用教程(竟然是真的有挂)-哔哩哔哩1、让...
wepoke黑科技!wepok... wepoke黑科技!wepoke辅助挂在哪开(WePoKe黑科技)其实是有挂(有挂方式)-哔哩哔哩;...
新手必备(德州ai辅助)德州之... 新手必备(德州ai辅助)德州之星透视外挂(最初有挂)-哔哩哔哩;德州之星透视外挂简单的灵活控制,仅凭...
wPk最新黑科技!wpk辅助挂... wPk最新黑科技!wpk辅助挂(WPK ai辅助)一直是有挂(2021已更新)(哔哩哔哩)1、这是跨...
发现一款"aapok... 发现一款"aapoker真的有猫腻吗"aapoker辅助器(本来存在有挂)-哔哩哔哩进入游戏-大厅左...