国际数学奥林匹克竞赛评分员认为这些方案清晰、切确，并正在竞赛时限内完成挑和。为了让这两个模子理解标题问题，它间接按照天然言语描述的标题问题给出数学证明！参赛选手需正在两天（每天各4.5小时）内解答涉及代数、组合数学、几何和数论四大范畴的6道极具难度的标题问题。正在总分42分中获得35分——这已达到（本年）金牌分数线。专家先将标题问题从天然言语翻译成特定计较机言语，DeepMind公司说，其搭载了“深度思虑”能力的高级版“双子座（Gemini）”人工智能（AI）模子测试得分达到国际数学奥林匹克竞赛（IMO）金牌程度，“我们能够，高级版“双子座”测试比拟客岁有显著进展，该成就已获认证。同时摸索并整合多种可能的处理方案，而非沿着单一、线性思推进。DeepMind公司推出的AI模子AlphaProof取AlphaGeometry 2组合解答了2024年国际数学奥林匹克竞赛6道题中的4道，且大大都都易于理解。这种模式设置可使模子正在给出最终谜底之前，”国际数学奥林匹克竞赛格雷戈尔·多利纳尔传授说。本年取得的得益于高级版“双子座”的“深层思虑”模式——这是一种针对复杂问题的加强推理模式，国际数学奥林匹克竞赛自1959年起每年举办一届，谷歌DeepMind已告竣这一备受等候的里程碑，本年，融合了“并行思维”等最新手艺。他称解题方案正在诸多方面都“令人惊讶”。据电谷歌旗下DeepMind公司7月21日颁布发表，