OpenAI on Friday launched a new artificial intelligence (AI) "reasoning" model o3-mini. The company said the newest in the ...

近日，普林斯顿大学陈丹琦、Sanjeev Arora 和金驰领导的一个团队开源了一个用于自动定理证明的形式化推理模型 Goedel-Prover（哥德尔证明器），并且该模型在数学问题的自动形式化证明生成任务上达到了 SOTA。代码、模型还有在 ...

2月11日，浪潮信息正式推出元脑R1推理服务器，通过系统创新和软硬协同优化，单机即可部署运行DeepSeek R1 671B模型，帮助客户显著降低DeepSeek R1全参数模型的部署难度及成本，并提升推理服务性能，加速千行百业探索智能 ...

作者丨李广密编辑丨penny，Siqi来源丨海外独角兽（ID：unicornobserver）DeepSeek 超越 OpenAI 了吗？DeepSeek 超越了 Meta Llama 毫无疑问，但相比 OpenAI、Anthropic 和 ...

2025年2月12日，OpenAI在其最新的研究论文中公布了一系列令人瞩目的成果，涉及在全球知名的竞技编程平台——IOI（国际信息学奥林匹克竞赛）和CodeForces上表现卓越的推理模型。这篇论文题为《Competitive Programming ...

在人工智能领域，竞争编程正逐渐成为一项重要的研究方向。2025年2月12日，OpenAI正式发布了其最新论文《Competitive Programming with Large Reasoning ...

1. 始智AI wisemodel.cn开源社区于2025年2月11日发布RWKV-7-World-2.9B-V3模型，性能超越上一代RWKV-6-7B模型。 2. RWKV-7-2.9B模型基于RWKV World ...

微软表示，正在从硬件开发转型，但将继续为 HoloLens2 硬件和软件提供支持，直至 2027 年，微软后续将致力于 IVAS 项目（美国陆军的「综合视觉增强系统」），并将重点转向云和人工智能技术，这些技术将成为 IVAS 作为态势感知平台的基础。

DeepSeek作为当下热门的人工智能大模型，其强大的推理能力和高效的训练机制引发了广泛关注。然而，许多人对其背后的实现原理和技术创新知之甚少。这篇文章，我们看看作者的分享。 DeepSeek的火热仍在持续。 相信很多读者在使用DeepSeek的时候 ...

论文显示，在IOI 2024中，o3在严格规则下拿到395.64分，达成金牌成就，并且在CodeForces上的表现与人类精英选手相当。论文中特别提到，中国的DeepSeek-R1和Kimi ...

DeepSeek-V3和DeepSeek-R1的发布，正式宣告了AI应用进入低成本、高推理能力的新阶段。甄零科技，作为国内头部的合同管理系统厂商之一，近期正式宣布， 甄零一诺全生命周期合同管理AI旗舰版 ，现已引入DeepSeek系深度思考大模型！