谷歌旗下“深层思维”公司的AI系统在国际数学奥林匹克竞赛中获得银牌水平的成绩。
继击败人类围棋大师和游戏玩家之后，谷歌旗下“深层思维”公司宣布，其人工智能（AI）系统在测试中成功解答了2024年国际数学奥林匹克竞赛的考题，最终得分达到本次比赛的银牌水平，但其解答多数考题的时间较长。
“深层思维”的AI系统解答了本月在英国举行的这一数学奥赛给出的6个数学难题中的4个。该AI系统生成了严谨的、逐步的答题证明。2位顶尖数学家为其答题评分。最终，这一AI系统获得28分（满分42分）—仅差一分就达到本次比赛的金牌水平。
证明数学定理是一项具有挑战性的工作，因此数学奥赛通常被认为是识别相关人才的方法，同时也是AI系统在数学和推理领域的试验场。
- Advertisement -
“深层思维”公司负责科学AI的副总裁科利说，这是该公司的AI系统首次达到奖牌级别的表现，是构建高级定理证明器历程中的一个关键里程碑。
根据英国《自然》杂志报道，研究团队训练了一个专门用于解答数学奥赛考题的AI系统，结合了解答数学推理问题的模型AlphaProof和升级版的解答几何问题的模型AlphaGeometry 2。AlphaGeometry 2在20秒内解决了一个几何问题，而AlphaProof花了3天时间解答了2个代数问题和一个数论问题。
- Advertisement -
“深层思维”公司说，研究团队正继续探索多种用于推进数学推理的AI方法。未来，数学研究者将与AI合作，验证假说，尝试大胆的新方法来解决长期未解决的数学难题，并迅速解决耗时的证明问题。
找工作， 就找这里!
› 立即申请
- Social Media Marketing Executive
- Advertising & Marketing
- Kuala Lumpur
-
MYR 6K /Month
› 立即申请
- PHP Software Developer
- Information Technology
- Wilayah Persekutuan
-
MYR 6K /Month
