谷歌DeepMind捅破AI数学推理上限

微软新设的AI健康业务部门将专注于打造面向生成式AI用户的健康类应用程序，“挖来”的员工包括DeepMind前健康部门负责人Dominic King、临床研究科学家Christopher Kelly以及另外两名员工。

谷歌DeepMind最新AI系统在国际数学奥林匹克竞赛几何题目大规模测试中首次超越金牌得主水平，解决率达84%。研究团队认为，几何推理能力是构建通用人工智能的关键，这一突破为AI发展开辟新路径。

IMO被视为衡量人工智能系统高级数学推理能力的标杆，而谷歌DeepMind是第一个以银牌级别解决国际数学奥林匹克问题的人工智能。

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

据知情人士向媒体透露，最近几个月，谷歌多个团队在人工智能推理软件方面取得了进展，这类软件在解决数学和计算机编程等领域的多步骤问题时表现更加出色。与OpenAI一样，谷歌也在尝试使用一种称为“链式思维提示”（chain-of-thought prompting）的技术来模拟人类推理。同时，该公司也在开发AI实验室助手产品，希望帮助实验室提高科研效率。

对于「AI 危害」，每家公司都有不同的解决方案，但没有完美方案。

如题，AlphaProof

谷歌向 OpenAI 劲敌 Anthropic 追加投资 10 亿美元；谷歌母公司总裁：美国 AI 不会永远领先中国，甚至还可能略逊一筹；DeepMind CEO：AI 设计药物有望今年进入临床试验