首页 > 业界 > 关键词  > AI最新资讯  > 正文

AI奥林匹克数学奖推出 奖金高达500万美元

2023-11-28 16:28 · 稿源:站长之家

要点:

  • 陶哲轩支持的AI奥林匹克数学奖推出,奖金高达500万美元,旨在寻找能够在IMO竞赛中获得金牌的大型AI模型。

  • AI-MO大赛要求参赛AI模型具备与人类相同的数学解题格式和生成可读答案的能力,由IMO标准评分,金牌水平的AI将获得500万美元大奖。

  • XTX Markets发起的AI-MO比赛将于2024年初开放,吸引了关注。竞赛规则尚在商议中,最终结果将于明年7月在英国巴斯的第65届IMO大会揭晓。

站长之家(ChinaZ.com)11月28日 消息:近日,陶哲轩支持的AI奥林匹克数学奖推出,奖金高达500万美元,旨在寻找能够在IMO竞赛中获得金牌的大型AI模型。这项名为AI-MO的比赛由XTX Markets发起,其初衷是推动大语言模型的数学推理能力,鼓励开发能够匹配人类数学最高水平的新AI模型。

image.png

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还有一张暗牌

    腾讯AI刚打完一手明牌。元宝、龙虾特工队、养虾全景图,产品矩阵铺到桌面上,生态布局画得清清楚楚。 但明牌底下还压着一张暗牌。 3月27日,腾讯云上海峰会。MiniMax的Agent首席架构师阿岛讲了一个训练困境——大模型的强化学习撞上了沙箱瓶颈,十万级并发环境在K8S上根本跑不动。同一场峰会,汤道生丢出一句判断:「AI落地不只是一道算法题,更是一道工程题。」 一�

  • 智谱,大力出AI

    智谱和MiniMax的两份财报共同说明了一个问题:国产大模型上市是起点,而非终点。 一向以对标OpenAI为荣的智谱,在昨晚业绩会上180度大转弯,重新给自己贴上了标签——“中国的Anthropic”。 原因无他,一张资产报表揭露了智谱上市的真相。截至2025年末,智谱负债净额高达81.1亿元,已经陷入了资不抵债的境况,若无上市注资,生存都可能成为问题。从这个意义上来说,年初的

  • AI日报:即梦AI发布协作型叙事工具Octo;公众号打击AI自动化写作;MiniMax 发布 MMX-CLI

    本期AI日报聚焦多领域动态:即梦AI发布协作叙事工具“小章鱼”Octo,推动AI创作向同屏共创演进;微信打击非真人自动化写作,维护内容原创性;MiniMax推出MMX-CLI工具,提升AI Agent在复杂环境的能力;Meta发布千亿级AI模型Muse Spark,加速超级智能布局;淘宝上线AI语音搜索,实现“一问即办”;Anthropic推出Claude Managed Agents公测版,一站式解决AI代理部署;腾讯云宣布上调AI算力及容器服务价格,涨幅达5%;字节跳动发布全双工语音大模型Seeduplex,实现更自然的实时语音交互。

  • B.AI 正式上线:构建 AI Agent 金融底层基座,驱动AGI时代商业底层逻辑

    B.AI 于4月9日正式上线,旨在构建面向AI Agent时代的全球化金融基础设施。它通过整合区块链技术,打造了从AI服务入口到金融底座的完整服务链。核心能力包括:一站式的无许可LLM统一入口,聚合全球顶尖AI模型并提供标准化API服务;基于8004协议的链上身份体系,为AI Agent提供去中心化身份注册与可信验证服务,解决Agent间(A2A)的信任问题;以及基于x402支付标准的自主交易通�

  • 滴滴AI:替你多做一步,打车不折腾

    “生活就像一盒巧克力,你永远不知道下一颗是什么味道。” 《阿甘正传》的这句台词,放在网约车场景里偶尔的“开盲盒”情况,也格外贴切。下单的用户知道自己的起点和终点,却不知道系统最终会派来一辆怎样的车。虽然大部分时候都还算安心、靠谱,但“开盲盒”的不确定感,还是会隐隐带来一些不爽。 为了快速到达确定的目的地,用户或许可以暂时容忍这种不确�

  • 拍短剧的山海星辰要用NOVA AI打造「一人剧组」

    一部短剧从剧本到上线意味着什么? 2024年,山海星辰按照传统方式制作一部短剧,意味着需要数十人的团队协作,要有编剧负责剧本打磨,由导演和摄制团队完成拍摄,然后交给后期团队完成剪辑、调色、合成。整个制作流程会耗费数周时间。 2026年,山海星辰制作AI短剧《安静签到一万年,圣女跪求我出山》《I’m Done Being A Yes Girl》《龙的新娘》时,意味着整个流程都跑在�

  • AI日报:AI视频神秘黑马Happy Horse亮相;爱诗科技 PixVerse C1 发布;360 打造“虾书”APP

    本期AI日报聚焦多领域技术突破:视频生成领域,Happy Horse模型全面超越Seedance 2.0,引发行业热议;爱诗科技发布影音级大模型PixVerse C1,支持15秒1080P高清视频生成。腾讯推出国内首个支持主流大模型API自由配置的AI浏览器“龙虾”,打破单一模型绑定。360推出以AI智能体为核心的社交应用“虾书”。DeepSeek V4开启灰度测试,支持国产芯片适配。此外,Anthropic推出强大编程推理模型Mythos,智谱发布性能领先的GLM-5.1,上汽通用则将豆包大模型应用于别克汽车智能座舱。

  • 腾讯AI开始打明牌

    是的,腾讯AI开始打明牌了。 从马年春节元宝旧牌新发,到3月份一个月时间集齐「龙虾特工队」,腾讯在AI应用侧的步伐和节奏明显加快,牌局也日渐明朗。 如果说Chatbot战役是腾讯寻求后发之势,Agent这波则明显是希望抢占先机。 因为龙虾引发的Agent浪潮,本质是生态布局。若论AI应用的单项能力,很有可能是零和博弈;构建生态体系,就回到了腾讯熟悉的语境。至少目前,�

  • 红果下架千部AI短剧,但治理侵权这事儿不能只靠红果

    不久前有博主指出,自己的形象被AI短剧《桃花簪》擅自使用,其中一位还被设定成反派角色。 这让很多人气愤。AI短剧侵权有了扩大化的迹象,普通人也难逃一劫。在这种形势下,有必要仔细审视AI短剧侵权的问题了。 事实上,平台方已经迅速做出应对。红果短剧最近连续发布两则公告,其中之一便是针对短剧《桃花簪》的处理结果:72小时审核期内,出品方未能提供素材合�

  • “酱板鸭复仇”引发AI短剧借梗狂欢,谁接下了泼天流量?

    ​品牌营销又有了新玩法。 近日,整个互联网掀起一场“复仇酱板鸭”带来的AI短剧玩梗狂欢,官号、品牌接连下场整活。其中,有品牌斩获千万曝光,让AI短剧的营销潜力被彻底激活。 今年以来,AI短剧无疑是最亮的星,但品牌该如何入场? 品牌“白捡”千万曝光 “你可曾在雪山救过一只狐狸?” “你是那只狐狸?” “不,我是那只被你抛弃的酱板鸭。” 没人想到,上述

今日大家都在搜的词: