MathNet是一个包含超过30,000道数学竞赛题目的数据集,来自47个国家,旨在为AI研究者和全球学生提供训练资源。该数据集涵盖17种语言和143个竞赛,提供高质量的专家解答,帮助学生备战国际数学奥林匹克(IMO),并提升数学思维,尤其是在不同文化背景下的问题解决能力。
星动纪元在Benjie’s Olympics中表现优异,获得三项全球冠军并打破多项纪录,超越美国公司PI。赛事考验机器人在真实环境中的操作能力,星动纪元凭借自研VLA模型展现出卓越的适应性和精准度,证明了技术的实用价值。
Harmonic的创始人Vlad Tenev和Tudor Achim讨论了他们的AI系统Aristotle,该系统在2025年国际数学奥林匹克中获得金牌。Aristotle结合大型变换模型和蒙特卡洛树搜索策略,采用可验证的方法生成数学证明,能够自动验证输出,并在数学推理中表现出色。他们认为数学是理解世界的工具,未来AI将推动科学理论的进步,解决复杂问题。
奥林匹克花样滑冰运动员在冰上完成复杂跳跃,Jerry Lu开发的光学追踪系统OOFSkate利用人工智能分析跳跃视频并提供改进建议。他与NBC体育合作,帮助观众理解评分系统。MIT的Anette Hosoi教授也在研究AI对花样滑冰艺术表现的评估,两人探讨了AI在体育中的应用及其对评判的影响。
上海人工智能实验室开发的P1系列开源物理推理模型在物理学研究中取得显著进展,特别是在国际奥林匹克物理竞赛中表现突出,P1-235B-A22B模型有望在2025年竞赛中获得金牌。
在国际数学奥林匹克组织的支持下,IMO 2025项目由多个团队合作完成,Thang Luong和Edward Lockhart负责协调。项目依赖于Deep Think团队的研究,专家们提供了数据和评估,最终确认提交的答案完整且正确。
OpenAI推出了ChatGPT Agent工具,能够帮助用户完成复杂任务,如会议安排和购物,并在执行不可逆操作前征求用户许可。Google DeepMind的AI在国际数学奥林匹克中获金牌,展示了AI在数学和科学领域的进步。美国国防部为AI开发授予四家公司高达2亿美元的合同,以推动AI能力的应用。
谷歌DeepMind的Gemini Deep Think在国际数学奥林匹克中表现出色,完美解决了六道题中的五道,获得35分,达到了金牌标准。这一成就展示了AI在数学推理能力上的重大进步,Gemini模型能够从自然语言问题中生成严谨的数学证明。
TCL与国际奥委会签署全球合作协议,成为奥林匹克合作伙伴,提供智能终端和技术支持,涵盖奥运会和残奥会的数字显示屏及智能设备,提升观众体验。
Google DeepMind的AlphaGeometry2(AG2)AI模型成功解决了84%的国际数学奥林匹克几何问题,超越了人类金牌选手的平均水平。AG2是AlphaGeometry(AG1)的升级版,采用了领域特定的形式语言和符号推理引擎。尽管表现优异,AG2仍有提升空间,尚未解决所有问题。
本文提出了逐步编码(SBSC)这一多回合数学推理框架,使大型语言模型能够生成一系列用于解决奥林匹克级别数学问题的程序。研究表明,SBSC方法在处理竞赛和奥林匹克级别的数学问题时,优于当前最先进的程序生成推理策略,表现出显著的性能提升。
国际奥委会宣布首届奥林匹克电子竞技运动会将于2027年在沙特阿拉伯举行,标志着电子竞技正式入奥。原定于2025年举办,但因筹备不足而延期。IOC与沙特合作,旨在将电子竞技纳入奥林匹克体系,强调符合奥林匹克价值观的项目。
本研究针对奥林匹克几何问题的解决能力,介绍了AlphaGeometry2,这一改进版本在解决难度更大的几何问题方面超越了平均金牌选手。独特的知识共享机制、改进的搜索过程和增强型符号引擎使得AlphaGeometry2的几何问题解决率提高至84%,显示出其在自动化几何问题解决系统中的潜力。
本研究针对现有数据集有限且容易受到污染的问题,提出了一种自动化管道,利用Art of Problem Solving论坛的丰富资源,创建了超过60万对高质量的问答对AoPS-Instruct。研究发现,通过对LLMs进行微调,能显著提高其推理能力,同时开发的LiveAoPSBench提供了抗污染的评估基准,揭示了模型性能随时间衰退的现象。
马尼拉城市大学于2025年1月11日至12日举办了为期两天的黑客马拉松,主题为“菲律宾治理与透明度数字工具”。GabAI团队获胜,获得现金奖励及其他奖品,活动促进了学生合作与创新。
本研究针对孟加拉语人工智能数学挑战提出了一种系统的方法,填补了大型语言模型(LLMs)在此领域的研究空白。通过评估不同LLM配置、使用特定数据集进行微调以及实施检索增强生成(RAG),我们发现在多语言环境中定制提示、数据集增强和迭代推理能够显著提高模型对于奥林匹克级数学问题的解决效率。
奥林匹克编程重视算法,但在实际工作中,产品编程更具实用价值。尽管奥林匹克编程有助于考试和面试,真实开发中产品编程经验更为重要。许多大学仍以奥林匹克方式教授算法,但产品编程技能更能提升就业竞争力。
中国首个仿生机器人竞赛在海淀区举行,吸引了101支队伍参赛。人形机器人“天工”速度达到每小时10公里,四足机器人BQR3表现出色。赛事展示了仿生技术的多样性和海淀区的创新能力,政策支持促进了产业发展,使海淀成为全球仿生机器人创新中心。
LLaMA-Berry是一种新模型,旨在解决高级数学问题,采用成对优化方法,提升大型语言模型的推理能力,接近人类专家水平。
国际数学奥林匹克(IMO)自1959年创办以来,已成为全球最具声望的数学竞赛之一。预计2025年将有150多个国家、约60万学生参与。IMO旨在培养学生的数学才能,促进国际友好竞争,比赛涵盖代数、几何等领域,参与者可获得技能提升和国际经验。
完成下面两步后,将自动完成登录并继续当前操作。