美国数学奥林匹克竞赛（USAMO）是全球最具挑战性的中学生数学竞赛之一。首先，该赛事强调严格证明与逻辑严谨性，题目均为证明题，要求选手通过严密的逻辑推导和完整的数学语言呈现解答，而非仅给出数值答案（如 ...

【新智元导读】在数学推理中，大语言模型存在根本性局限：在美国数学奥赛，顶级AI模型得分不足5%！来自ETH Zurich等机构的MathArena团队，一下子推翻了AI会做数学题这个神话。

明敏 发自 凹非寺量子位 | 公众号 QbitAI AI市场最新创业团队，居然是联想？ 2025/26新财年誓师大会，联想集团董事长兼CEO杨元庆宣布： ...

在人工智能界掀起波澜的DeepSeek团队，于近日震撼发布了其最新力作——DeepSeek-R1模型。这款开源模型一经问世，便在Github平台上迅速积累了超过4000颗星的瞩目成绩，成为大模型领域的一颗璀璨新星。

近年来，生成式人工智能的发展如火如荼，推理模型作为其中的关键一环，吸引了大量关注。尤其是OpenAI推出的O1和O3-mini系列，显著推动了深度推理的技术革新。与传统的大语言模型有所不同，这些模型专注于通过内置推理链与结构化输出，实现复杂问题的深度 ...

进入2025年，人工智能领域竞争变得更加白热化，其中以阿里QWQ-32B 、DeepSeek R1 和 O1 Mini为代表的三大主力模型表现更加亮眼，这些模型以各自的优势突破了推理、编码和效率的极限，为AI应用开发带来新范式。 阿里QWQ-32B是一个拥有320亿参数的人工智能模型 ...

刚刚，7B的DeepSeek蒸馏Qwen模型超越o1又是怎么一回事？ 新方法LADDER，通过递归问题分解实现AI模型的自我改进，同时不需要人工标注数据。 使Deepseek-R1 ...

IT之家注：OpenAI 的 o3-mini 是他们最新、最具成本效益的模型。其整体智能与 OpenAI 的 o1 模型相当，o3-mini 提供更快的性能和更高的效率。OpenAI 向免费 ...

去年 10 月，微软宣布了一项新的 Copilot 功能 —— Think Deeper，适用于 Pro 计划用户，它使用 OpenAI 的 o1 推理模型来帮助用户解决棘手的问题，该功能今年已向用户免费无限制开放。 微软今日宣布加强 Copilot Think Deeper 深度思考功能，现在由 OpenAI 的 o3-mini-high 模型 ...