AI奥林匹克数学奖推出 奖金高达500万美元
要点:
陶哲轩支持的AI奥林匹克数学奖推出,奖金高达500万美元,旨在寻找能够在IMO竞赛中获得金牌的大型AI模型。
AI-MO大赛要求参赛AI模型具备与人类相同的数学解题格式和生成可读答案的能力,由IMO标准评分,金牌水平的AI将获得500万美元大奖。
XTX Markets发起的AI-MO比赛将于2024年初开放,吸引了关注。竞赛规则尚在商议中,最终结果将于明年7月在英国巴斯的第65届IMO大会揭晓。
近日,陶哲轩支持的AI奥林匹克数学奖推出,奖金高达500万美元,旨在寻找能够在IMO竞赛中获得金牌的大型AI模型。这项名为AI-MO的比赛由XTX Markets发起,其初衷是推动大语言模型的数学推理能力,鼓励开发能够匹配人类数学最高水平的新AI模型。
AI-MO大赛要求参赛AI模型具备与人类相同的数学解题格式和生成可读答案的能力。比赛的初步规定是,AI模型必须在IMO标准下接受评分,而最终结果将于明年7月在英国巴斯的第65届IMO大会一同揭晓。达到金牌水平的AI将获得500万美元的大奖,而其他“实现了关键里程碑”的AI模型也将分享剩下的进步奖,总金额同样为500万美元。
值得注意的是,为了拿到获奖资格,参赛者必须遵守AI-MO公共共享协议,即获奖模型必须开源。虽然比赛规则尚在商议中,组委会正在招募顾问委员会成员和比赛总监,但这一竞赛已引起广泛关注,成为科技圈热议的焦点之一。
尽管AI-MO并非IMO官方发起的比赛,而是由XTX Markets发起,但它在业界掀起了不少波澜。此前的IMO Grand Challenge虽然未有人成功,但这次的AI-MO奖金规模更大,引发了更多关注。业内人士对哪家的AI最有可能率先拔得头筹产生了浓厚兴趣。在金钱的驱动下,是否会出现一个能解困难数学题的AI并超越人类夺得IMO金牌,成为业界关注的焦点之一。
吴恩达加入图灵奖得主讨论:「AI灭绝论」弊大于利
现在双方2:2了。关于「AI灭绝论」引发的一系列争论,各路大佬们又吵起来了。这次加入争吵的是著名人工智能学者、斯坦福大学计算机科学系教授吴恩达。站长网2023-11-01 14:04:280000Sora给你带来的真实变化
距离Sora的发布已经有一段时间,但对它的讨论还在持续。讨论话题已经从Sora会不会取代人类、现实会不会不存在、中国能不能做出来类似模型,变成了“将来如何用Sora搞钱”“AIGC赛道有没有机会创业”。所以,在继《Sora给中国AI带来的真实变化》后,我们想要多聊一个话题,就是Sora代表的新算法、新能力,将给对AI有好奇,也有一些忐忑的你,带来什么变化。站长网2024-03-19 12:18:430000谷歌计划通过 Magi AI 聊天和短视频让搜索更加「个性化」
WSJ周六援引文件报道,谷歌正计划使其搜索引擎更加「直观、方便、个性化和人性化」,重点是为全球年轻人提供服务。这一举措是在人工智能(AI)应用程序如ChatGPT迅速流行的背景下推出的,这凸显了一种可能颠覆企业和社会运作方式的技术。据报道,谷歌在下周举行的年度I/O开发者大会上,预计将首次推出新功能,允许用户与一个AI程序对话。该项目代号为「Magi」。站长网2023-05-06 15:44:15000012秒内AI在手机上完成作画!谷歌提出扩散模型推理加速新方法
只需12秒,只凭手机自己的算力,就能拿StableDiffusion生成一张图像。而且是完成了20次迭代的那种。要知道,现在的扩散模型基本都超过了10亿参数,想要快速生成一张图片,要么基于云计算,要么就是要本地硬件够强大了。而随着大模型应用逐渐普及开来,在个人电脑、手机上跑大模型很可能是未来的新趋势。站长网2023-05-12 20:24:430000苹果Vision Pro头显AI助手来了 会调酒还会打麻将
上周苹果推出的VisionPro头戴显示器引起了很多人的兴趣。你能想象一下如果加上人工智能的话,会是什么样的体验吗?最近,新加坡南洋理工大学和微软雷蒙研究所推出了一个多模态的人工智能助手——Otter(水獭)。它能够以视频作为输入,完成多模态的感知、推理和上下文学习,并经过专门的指令遵守训练。站长网2023-06-12 17:12:550000