小红花·文摘
  • 首页
  • AI Tokens🪙
  • 排行榜🏆
  • 直播
  • FAQ
麻省理工学院科学家建立全球最大的奥林匹克级数学题库,并向所有人开放

MathNet是一个包含超过30,000道数学竞赛题目的数据集,来自47个国家,旨在为AI研究者和全球学生提供训练资源。该数据集涵盖17种语言和143个竞赛,提供高质量的专家解答,帮助学生备战国际数学奥林匹克(IMO),并提升数学思维,尤其是在不同文化背景下的问题解决能力。

麻省理工学院科学家建立全球最大的奥林匹克级数学题库,并向所有人开放

MIT News - Artificial intelligence MIT News - Artificial intelligence · 2026-04-24T17:00:00Z
击败PI!星动纪元登顶具身奥林匹克,狂揽三项全球冠军

星动纪元在Benjie’s Olympics中表现优异,获得三项全球冠军并打破多项纪录,超越美国公司PI。赛事考验机器人在真实环境中的操作能力,星动纪元凭借自研VLA模型展现出卓越的适应性和精准度,证明了技术的实用价值。

击败PI!星动纪元登顶具身奥林匹克,狂揽三项全球冠军

量子位 量子位 · 2026-04-10T10:32:05Z

Harmonic的创始人Vlad Tenev和Tudor Achim讨论了他们的AI系统Aristotle,该系统在2025年国际数学奥林匹克中获得金牌。Aristotle结合大型变换模型和蒙特卡洛树搜索策略,采用可验证的方法生成数学证明,能够自动验证输出,并在数学推理中表现出色。他们认为数学是理解世界的工具,未来AI将推动科学理论的进步,解决复杂问题。

数学超智能:Harmonic的Vlad和Tudor谈国际数学奥林匹克金牌与一切理论

Josherich的博客 Josherich的博客 · 2026-02-18T00:00:01Z
三个问题:利用人工智能帮助奥林匹克滑冰运动员完成五周跳

奥林匹克花样滑冰运动员在冰上完成复杂跳跃,Jerry Lu开发的光学追踪系统OOFSkate利用人工智能分析跳跃视频并提供改进建议。他与NBC体育合作,帮助观众理解评分系统。MIT的Anette Hosoi教授也在研究AI对花样滑冰艺术表现的评估,两人探讨了AI在体育中的应用及其对评判的影响。

三个问题:利用人工智能帮助奥林匹克滑冰运动员完成五周跳

MIT News - Artificial intelligence MIT News - Artificial intelligence · 2026-02-10T05:00:00Z
AI 论文周报丨通用Agent开发/目标检测/开源物理推理模型……一文了解 AI 前沿动态

上海人工智能实验室开发的P1系列开源物理推理模型在物理学研究中取得显著进展,特别是在国际奥林匹克物理竞赛中表现突出,P1-235B-A22B模型有望在2025年竞赛中获得金牌。

AI 论文周报丨通用Agent开发/目标检测/开源物理推理模型……一文了解 AI 前沿动态

HyperAI超神经 HyperAI超神经 · 2025-11-21T07:16:56Z

在国际数学奥林匹克组织的支持下,IMO 2025项目由多个团队合作完成,Thang Luong和Edward Lockhart负责协调。项目依赖于Deep Think团队的研究,专家们提供了数据和评估,最终确认提交的答案完整且正确。

深度思维的高级版双子星在国际数学奥林匹克上正式达到了金牌标准

Google DeepMind Blog Google DeepMind Blog · 2025-10-24T03:12:29Z
人工智能周报 #316 - ChatGPT Agent、国际数学奥林匹克金牌、美国国防部2亿美元合同

OpenAI推出了ChatGPT Agent工具,能够帮助用户完成复杂任务,如会议安排和购物,并在执行不可逆操作前征求用户许可。Google DeepMind的AI在国际数学奥林匹克中获金牌,展示了AI在数学和科学领域的进步。美国国防部为AI开发授予四家公司高达2亿美元的合同,以推动AI能力的应用。

人工智能周报 #316 - ChatGPT Agent、国际数学奥林匹克金牌、美国国防部2亿美元合同

Last Week in AI Last Week in AI · 2025-07-22T20:41:03Z

谷歌DeepMind的Gemini Deep Think在国际数学奥林匹克中表现出色,完美解决了六道题中的五道,获得35分,达到了金牌标准。这一成就展示了AI在数学推理能力上的重大进步,Gemini模型能够从自然语言问题中生成严谨的数学证明。

谷歌DeepMind的Gemini Deep Think高级版本在国际数学奥林匹克中正式达到了金牌标准

Google DeepMind Blog Google DeepMind Blog · 2025-07-21T16:30:00Z
TCL正式成为奥林匹克全球合作伙伴

TCL与国际奥委会签署全球合作协议,成为奥林匹克合作伙伴,提供智能终端和技术支持,涵盖奥运会和残奥会的数字显示屏及智能设备,提升观众体验。

TCL正式成为奥林匹克全球合作伙伴

全球TMT-美通国际 全球TMT-美通国际 · 2025-03-04T08:47:43Z
谷歌DeepMind的AlphaGeometry2 AI实现金牌数学奥林匹克表现

Google DeepMind的AlphaGeometry2(AG2)AI模型成功解决了84%的国际数学奥林匹克几何问题,超越了人类金牌选手的平均水平。AG2是AlphaGeometry(AG1)的升级版,采用了领域特定的形式语言和符号推理引擎。尽管表现优异,AG2仍有提升空间,尚未解决所有问题。

谷歌DeepMind的AlphaGeometry2 AI实现金牌数学奥林匹克表现

InfoQ InfoQ · 2025-02-25T14:00:00Z

本文提出了逐步编码(SBSC)这一多回合数学推理框架,使大型语言模型能够生成一系列用于解决奥林匹克级别数学问题的程序。研究表明,SBSC方法在处理竞赛和奥林匹克级别的数学问题时,优于当前最先进的程序生成推理策略,表现出显著的性能提升。

逐步编码:提升数学奥林匹克成绩的全新方法

BriefGPT - AI 论文速递 BriefGPT - AI 论文速递 · 2025-02-23T00:00:00Z
首届电竞奥运会宣布2027年正式举办,但更多细节还是未知数

国际奥委会宣布首届奥林匹克电子竞技运动会将于2027年在沙特阿拉伯举行,标志着电子竞技正式入奥。原定于2025年举办,但因筹备不足而延期。IOC与沙特合作,旨在将电子竞技纳入奥林匹克体系,强调符合奥林匹克价值观的项目。

首届电竞奥运会宣布2027年正式举办,但更多细节还是未知数

游戏研究社 游戏研究社 · 2025-02-12T05:00:00Z

本研究针对奥林匹克几何问题的解决能力,介绍了AlphaGeometry2,这一改进版本在解决难度更大的几何问题方面超越了平均金牌选手。独特的知识共享机制、改进的搜索过程和增强型符号引擎使得AlphaGeometry2的几何问题解决率提高至84%,显示出其在自动化几何问题解决系统中的潜力。

使用AlphaGeometry2解决奥林匹克几何问题的金牌选手表现

BriefGPT - AI 论文速递 BriefGPT - AI 论文速递 · 2025-02-05T00:00:00Z

本研究针对现有数据集有限且容易受到污染的问题,提出了一种自动化管道,利用Art of Problem Solving论坛的丰富资源,创建了超过60万对高质量的问答对AoPS-Instruct。研究发现,通过对LLMs进行微调,能显著提高其推理能力,同时开发的LiveAoPSBench提供了抗污染的评估基准,揭示了模型性能随时间衰退的现象。

利用在线奥林匹克级数学问题进行大语言模型训练及抗污染评估

BriefGPT - AI 论文速递 BriefGPT - AI 论文速递 · 2025-01-24T00:00:00Z
重温2025年创新奥林匹克精神

马尼拉城市大学于2025年1月11日至12日举办了为期两天的黑客马拉松,主题为“菲律宾治理与透明度数字工具”。GabAI团队获胜,获得现金奖励及其他奖品,活动促进了学生合作与创新。

重温2025年创新奥林匹克精神

DEV Community DEV Community · 2025-01-20T13:48:57Z

本研究针对孟加拉语人工智能数学挑战提出了一种系统的方法,填补了大型语言模型(LLMs)在此领域的研究空白。通过评估不同LLM配置、使用特定数据集进行微调以及实施检索增强生成(RAG),我们发现在多语言环境中定制提示、数据集增强和迭代推理能够显著提高模型对于奥林匹克级数学问题的解决效率。

端到端孟加拉语人工智能解决数学奥林匹克问题基准:利用集成方法增强大型语言模型

BriefGPT - AI 论文速递 BriefGPT - AI 论文速递 · 2025-01-08T00:00:00Z
产品编程与奥林匹克编程

奥林匹克编程重视算法,但在实际工作中,产品编程更具实用价值。尽管奥林匹克编程有助于考试和面试,真实开发中产品编程经验更为重要。许多大学仍以奥林匹克方式教授算法,但产品编程技能更能提升就业竞争力。

产品编程与奥林匹克编程

DEV Community DEV Community · 2024-12-18T20:55:29Z
​中国仿生机器人的“奥林匹克”,北京海淀为何能成“最强战场”?

中国首个仿生机器人竞赛在海淀区举行,吸引了101支队伍参赛。人形机器人“天工”速度达到每小时10公里,四足机器人BQR3表现出色。赛事展示了仿生技术的多样性和海淀区的创新能力,政策支持促进了产业发展,使海淀成为全球仿生机器人创新中心。

​中国仿生机器人的“奥林匹克”,北京海淀为何能成“最强战场”?

机器之心 机器之心 · 2024-12-05T14:34:12Z
人工智能模型像人类专家一样解决数学奥林匹克问题

LLaMA-Berry是一种新模型,旨在解决高级数学问题,采用成对优化方法,提升大型语言模型的推理能力,接近人类专家水平。

人工智能模型像人类专家一样解决数学奥林匹克问题

DEV Community DEV Community · 2024-11-22T09:23:50Z
国际数学奥林匹克的发展:历史视角

国际数学奥林匹克(IMO)自1959年创办以来,已成为全球最具声望的数学竞赛之一。预计2025年将有150多个国家、约60万学生参与。IMO旨在培养学生的数学才能,促进国际友好竞争,比赛涵盖代数、几何等领域,参与者可获得技能提升和国际经验。

国际数学奥林匹克的发展:历史视角

DEV Community DEV Community · 2024-11-22T08:19:36Z
  • <<
  • <
  • 1 (current)
  • 2
  • >
  • >>
👤 个人中心
在公众号发送验证码完成验证
登录验证
在本设备完成一次验证即可继续使用

完成下面两步后,将自动完成登录并继续当前操作。

1 关注公众号
小红花技术领袖公众号二维码
小红花技术领袖
如果当前 App 无法识别二维码,请在微信搜索并关注该公众号
2 发送验证码
在公众号对话中发送下面 4 位验证码
小红花技术领袖俱乐部
小红花·文摘:汇聚分发优质内容
小红花技术领袖俱乐部
Copyright © 2021-
粤ICP备2022094092号-1
公众号 小红花技术领袖俱乐部公众号二维码
视频号 小红花技术领袖俱乐部视频号二维码