- 我的订阅
- 科技
我们正处于一个信息大暴发的时代，每天都能产生数以百万计的新闻资讯！
虽然有大数据推荐，但面对海量数据，通过我们的调研发现，在一个小时的时间里，您通常无法真正有效地获取您感兴趣的资讯！
头条新闻资讯订阅，旨在帮助您收集感兴趣的资讯内容，并且在第一时间通知到您。可以有效节约您获取资讯的时间，避免错过一些关键信息。
人工智能赢得国际奥数银牌
在刚刚结束国际数学奥林匹克竞赛中，谷歌旗下DeepMind派出了人工智能参赛，并取得了第二名银奖。
据了解，DeepMind的AI数学模型由数学推理模型AlphaProof 和几何求解模型AlphaGeometry （阿尔法几何）组成。此次奥数比赛共有六道题，涉及代数、组合学、几何和数论，AI解答了其中的四题，取得28分的成绩，与金牌选手仅差1分。
正式比赛中，人类选手会分两次提交答案，每次限时4.5小时，经过训练的AI只需几十秒就能给出正确答案。
对于两道没取得分数的题目，DeepMind的工程师经过评估认为AI模型需要花费数天的时间来计算。 所以，AI不是不会解答，而是需要更多的计算时间。
数学是通过证明创造出来的，这与通过实验和观察来检验假设的大多数自然科学学科都不相同，因此被称为是“科学的王冠”。迄今为止，解决或协助解决高等级数学难题，仍是AI领域一项极其复杂的多维度重大挑战。
最前沿的数学往往需要极为复杂的证明，比如日本的京都大学数学家望月新一在证明“abc猜想”时，其证明过程长达500页。即便在数学家中，能仔细阅读完该证明过程的就寥寥无几，要是发现其中的逻辑错误更是难上加难。因此，数学家认为AI可以提供帮助。AI不仅能快速检查证明步骤是否正确，还能帮助数学家编写证明。
在数学领域仍有许多难题尚未被解决，比如费马猜想、四色猜想和哥德巴赫猜想等，数学家希望有朝一日AI能够解决这些数学难题。计算机科学家预计，到2026年AI能够像人类最优秀的数学家一样完成数学推理，甚至做得更好。
以上内容为资讯信息快照，由td.fyun.cc爬虫进行采集并收录，本站未对信息做任何修改，信息内容不代表本站立场。
快照生成时间：2024-07-27 18:45:01
本站信息快照查询为非营利公共服务，如有侵权请联系我们进行删除。
信息原文地址：
