- 从“解题”到“证明”——OpenAI 通用大模型如何摘取 IMO 2025 金牌 一、为什么是 IMO？——AI 推理的“登月考场”国际数学奥林匹克（IMO）被公认为创造性符号推理的巅峰：每题平均 100 分钟级深度思考，远超 GSM8K（0.1 min）、MATH（1 min）、AIME（10 min）；闭卷、禁用计算器/Lean，必须输出多页自然语言证明；评分由人类专家主观判定，无明确... 从“解题”到“证明”——OpenAI 通用大模型如何摘取 IMO 2025 金牌 一、为什么是 IMO？——AI 推理的“登月考场”国际数学奥林匹克（IMO）被公认为创造性符号推理的巅峰：每题平均 100 分钟级深度思考，远超 GSM8K（0.1 min）、MATH（1 min）、AIME（10 min）；闭卷、禁用计算器/Lean，必须输出多页自然语言证明；评分由人类专家主观判定，无明确...
- 该方法在继承 Transformer 模型强大建模能力的同时，结合古籍特有的稀疏结构与复杂布局特点，设计了多项创新机制。其核心目标是：在有限训练数据下，依旧能够实现对古籍逻辑结构（如段落、标题、注释）与物理结构（如文字块、插图、边框）的精准识别与定位。 该方法在继承 Transformer 模型强大建模能力的同时，结合古籍特有的稀疏结构与复杂布局特点，设计了多项创新机制。其核心目标是：在有限训练数据下，依旧能够实现对古籍逻辑结构（如段落、标题、注释）与物理结构（如文字块、插图、边框）的精准识别与定位。
- 在现代人工智能应用中，智能代理（AI Agents）扮演着至关重要的角色。智能代理能够感知环境，做出决策并执行相应的任务，其应用遍及自动驾驶、智能客服、机器人控制等领域。本文将详细解析智能代理的设计与实现，重点从感知、决策到执行等各个方面展开，并提供代码实战示例，帮助读者深入理解智能代理的工作原理。 在现代人工智能应用中，智能代理（AI Agents）扮演着至关重要的角色。智能代理能够感知环境，做出决策并执行相应的任务，其应用遍及自动驾驶、智能客服、机器人控制等领域。本文将详细解析智能代理的设计与实现，重点从感知、决策到执行等各个方面展开，并提供代码实战示例，帮助读者深入理解智能代理的工作原理。
- Phi-4 技术报告深度解读Abdin M, Aneja J, Behl H, et al. Phi-4 technical report[J]. arXiv preprint arXiv:2412.08905, 2024. 引言：小模型的强大潜能微软研究院在2024年12月发布的 phi-4 是一个仅有140亿参数的语言模型，却在多个推理任务上展现出与千亿参数级别模型相媲美的性能。这个成... Phi-4 技术报告深度解读Abdin M, Aneja J, Behl H, et al. Phi-4 technical report[J]. arXiv preprint arXiv:2412.08905, 2024. 引言：小模型的强大潜能微软研究院在2024年12月发布的 phi-4 是一个仅有140亿参数的语言模型，却在多个推理任务上展现出与千亿参数级别模型相媲美的性能。这个成...
- Phi-3 技术报告：手机本地运行的高能力语言模型Abdin M, Aneja J, Behl H, et al. Phi-4 technical report[J]. arXiv preprint arXiv:2412.08905, 2024. 1. 引言与背景人工智能在过去几年的惊人进步很大程度上归功于全球范围内对不断扩大模型和数据集规模的努力。大型语言模型(LLMs)的参数量从五年前... Phi-3 技术报告：手机本地运行的高能力语言模型Abdin M, Aneja J, Behl H, et al. Phi-4 technical report[J]. arXiv preprint arXiv:2412.08905, 2024. 1. 引言与背景人工智能在过去几年的惊人进步很大程度上归功于全球范围内对不断扩大模型和数据集规模的努力。大型语言模型(LLMs)的参数量从五年前...
- Phi-3 技术报告：手机本地运行的高能力语言模型Abdin M, Aneja J, Behl H, et al. Phi-4 technical report[J]. arXiv preprint arXiv:2412.08905, 2024. 1. 引言与背景人工智能在过去几年的惊人进步很大程度上归功于全球范围内对不断扩大模型和数据集规模的努力。大型语言模型(LLMs)的参数量从五年前... Phi-3 技术报告：手机本地运行的高能力语言模型Abdin M, Aneja J, Behl H, et al. Phi-4 technical report[J]. arXiv preprint arXiv:2412.08905, 2024. 1. 引言与背景人工智能在过去几年的惊人进步很大程度上归功于全球范围内对不断扩大模型和数据集规模的努力。大型语言模型(LLMs)的参数量从五年前...
- 边缘AI优化：数据、模型与系统策略的综合调研——论文阅读Wang X, Jia W. Optimizing edge AI: a comprehensive survey on data, model, and system strategies[J]. arXiv preprint arXiv:2501.03265, 2025. 第一章 引言与研究背景 1.1 研究动机与挑战人工智能技术... 边缘AI优化：数据、模型与系统策略的综合调研——论文阅读Wang X, Jia W. Optimizing edge AI: a comprehensive survey on data, model, and system strategies[J]. arXiv preprint arXiv:2501.03265, 2025. 第一章 引言与研究背景 1.1 研究动机与挑战人工智能技术...
- AI 在体育训练动作分析中的深度实践：从数据采集到实时优化 一、引言：当 AI 成为“隐形教练”2025 年巴黎奥运会备战周期里，中国田径队短跑组把“起跑反应时间”缩短了 0.03 s，同时将损伤率降低 20%，幕后功臣不是外教，而是一套基于深度强化学习的 AI 动作分析系统。动作分析之所以能被 AI 颠覆，核心在于三条技术曲线交汇：计算机视觉：AlphaPose、YOLOv8-pose ... AI 在体育训练动作分析中的深度实践：从数据采集到实时优化 一、引言：当 AI 成为“隐形教练”2025 年巴黎奥运会备战周期里，中国田径队短跑组把“起跑反应时间”缩短了 0.03 s，同时将损伤率降低 20%，幕后功臣不是外教，而是一套基于深度强化学习的 AI 动作分析系统。动作分析之所以能被 AI 颠覆，核心在于三条技术曲线交汇：计算机视觉：AlphaPose、YOLOv8-pose ...
- ABoVE: CO2 and CH4 Fluxes and Meteorology at Flux Tower Sites, Alaska, 2015-2017简介该数据集提供阿拉斯加州巴罗（三个站点）、阿特卡苏克（ATQ）和伊沃图克（IVO）五个涡旋协方差 (EC) 塔站的二氧化碳 (CO2) 和甲烷 (CH4) 通量及气象参数。这些站点构成了一条横跨阿拉斯加北坡 300 公里的南北横断... ABoVE: CO2 and CH4 Fluxes and Meteorology at Flux Tower Sites, Alaska, 2015-2017简介该数据集提供阿拉斯加州巴罗（三个站点）、阿特卡苏克（ATQ）和伊沃图克（IVO）五个涡旋协方差 (EC) 塔站的二氧化碳 (CO2) 和甲烷 (CH4) 通量及气象参数。这些站点构成了一条横跨阿拉斯加北坡 300 公里的南北横断...
- 去中心化不只是区块链：智能设备的“分布式大脑” 去中心化不只是区块链：智能设备的“分布式大脑”
- 数据是新药研发的“秘密武器”？聊聊背后的那些门道 数据是新药研发的“秘密武器”？聊聊背后的那些门道
- /Aqua Granule map product V005 (AIRXAMAP) at GES DISC简介大气红外探测器 (AIRS) 是安装在第二个地球观测系统 (EOS) 极地轨道平台 EOS Aqua 上的一台光栅光谱仪 (R = 1200)。AIRS 与先进微波探测装置 (AMSU) 和巴西湿度探测器 (HSB) 结合，构成了一个由可见光、红外和微波传感器组成的创新型大气探测组... /Aqua Granule map product V005 (AIRXAMAP) at GES DISC简介大气红外探测器 (AIRS) 是安装在第二个地球观测系统 (EOS) 极地轨道平台 EOS Aqua 上的一台光栅光谱仪 (R = 1200)。AIRS 与先进微波探测装置 (AMSU) 和巴西湿度探测器 (HSB) 结合，构成了一个由可见光、红外和微波传感器组成的创新型大气探测组...
- 课程背景与解决的问题你是否也有这样的困扰？每天被大量重复劳动占据时间？报表、PPT、文案写得慢，效率低？想用 AI 提高效率，却不知道从哪入手？想做副业/创业，但缺乏技术与工具？👉 这门训练营，将带你从零开始，学会用 AI 自动化处理工作与运营事务，提升效率，创造新的增长机会。你能收获什么？🎯 掌握主流大模型应用ChatGPT、DeepSeek、文心一言、通义千问等，学会在不同场景灵活使... 课程背景与解决的问题你是否也有这样的困扰？每天被大量重复劳动占据时间？报表、PPT、文案写得慢，效率低？想用 AI 提高效率，却不知道从哪入手？想做副业/创业，但缺乏技术与工具？👉 这门训练营，将带你从零开始，学会用 AI 自动化处理工作与运营事务，提升效率，创造新的增长机会。你能收获什么？🎯 掌握主流大模型应用ChatGPT、DeepSeek、文心一言、通义千问等，学会在不同场景灵活使...
- SAFARI 2000 Vegetation and Soils, 1-Deg (Wilson and Henderson-Sellers)简介该数据集包含威尔逊和亨德森-塞勒斯全球植被与土壤 1 度数据的南部非洲子集。该数据集提供 ASCII 网格和二进制图像文件格式。威尔逊、亨德森-塞勒斯全球植被与土壤数据集是一个用于大气环流模型（GCM）的土壤类型和土地覆盖数据档案。数据整理自自然植... SAFARI 2000 Vegetation and Soils, 1-Deg (Wilson and Henderson-Sellers)简介该数据集包含威尔逊和亨德森-塞勒斯全球植被与土壤 1 度数据的南部非洲子集。该数据集提供 ASCII 网格和二进制图像文件格式。威尔逊、亨德森-塞勒斯全球植被与土壤数据集是一个用于大气环流模型（GCM）的土壤类型和土地覆盖数据档案。数据整理自自然植...
- AIGC 生图技术作为一颗璀璨的明星，正逐渐改变着我们对于图像创作与生成的传统认知。从艺术设计到商业广告，从影视特效到游戏开发，AIGC 生图技术都展现出了其独特的魅力与巨大的潜力。 AIGC 生图技术作为一颗璀璨的明星，正逐渐改变着我们对于图像创作与生成的传统认知。从艺术设计到商业广告，从影视特效到游戏开发，AIGC 生图技术都展现出了其独特的魅力与巨大的潜力。
上滑加载中
推荐直播
-
华为云码道 × 仓颉编程：工程化AI编码探索2026/05/27 周三 19:00-21:00
刘俊杰-华为云仓颉语言专家/李炎-华为云码道技术专家/王智鹏-OpenCangjie开源社区发起人
本场直播围绕华为云仓颉语言与华为云码道的深度结合，展示华为云智能编程从零基础到高效落地的完整生态能力。以华为云码道为引擎，仓颉语言为载体，带给大家日常提效、趣味创新到极速量产的开发体验。
回顾中
热门标签