作为在大城市从事互联网工作的“资深打工者”，笔者今年过年也经历了类似的场景。亲戚们对AI技术表现出浓厚的兴趣，而如何用通俗易懂的语言解释DeepSeek的核心优势，成为了笔者的一项“必修课”。经过一番“科普”，笔者的母亲甚至感慨道：“八成懂了！”这或 ...

【新智元导读】就在刚刚，AIME 2025 I数学竞赛的大模型参赛结果出炉，o3-mini取得78%的最好成绩，DeepSeek R1拿到了65%，取得第四名。然而一位教授却发现，某些1.5B小模型竟也能拿到50%，莫非真的存在数据集污染？

IT之家1 月 11 日消息，微软亚洲研究院旗下数学和人工智能研究团队昨日（1 月 10 日）发布博文，针对小语言模型，设计并开发了 rStar-Math 技术，专门用于解决数学问题。 和微软之前推出的 Phi-4 不同，rStar-Math 采用蒙特卡洛树搜索（Monte Carlo Tree Search）进行推理 ...

整机：整机厂在AIPC落地过程中起决定性的整合作用，完成技术收敛和产业缝合，交付完整的AIPC体验。有望受益AIPC渗透带来的换机需求。存储：AIPC渗透有望带动存储需求增长与性能升级。据美光，70B参数4位精度的Llama2模型完成1.4Token ...

1月16日，阿里云通义开源全新的数学推理过程奖励模型Qwen2.5-Math-PRM，72B及7B尺寸模型性能均大幅超越同类开源过程奖励模型；在识别推理错误步骤 ...

DeepSeek-R1 在多个基准测试中表现出色，AIME2024 数学竞赛成绩达 79.8%，与 OpenAI 的 o1-1217 相当；MATH-500 测试高分达 97.3%；Codeforces 上的 Elo 评级为 2029，超 96.3%人类参赛者。2025 年 2 月 5 日，A股市场主要指数走势分化，上证指数微跌 0.33%，科创综指涨幅扩至 2.65%。科创板人工智能指数中， 优 ...

观点网讯：2月6日，DeepSeek公司于日前宣布推出其最新的推理模型DeepSeek-R1。该模型在Codeforces、GPQA Diamond、MATH-500、MMLU、SWE-bench Verified等多个测试中的表现与o1正式版相当，甚至在某些测试中得分更高。这一进展使得DeepSeek-R1迅速获得了“开源”、“性价比”和“能力强”等标签，公众对工作效率和生活便利性的提升充满期待 ...

加利福尼亚大学伯克利分校教授亚历克斯·迪马基评价道，DeepSeek的技术路线揭示了一个残酷事实——达到顶尖性能未必需要天文数字投入，“这对硅谷的烧钱竞赛无异于釜底抽薪”。

我们提供了四种使用该项目的方法：命令行工具、便携式安装、图形交互界面和 容器化部署. pdf2zh的运行依赖于额外模型(wybxc ...

近日，国家超算互联网平台迎来重要进展，DeepSeek系列的多款AI模型，包括DeepSeek-R1、V3及Coder等，已相继在该平台上架。用户现已可通过平台访问DeepSeek-R1模型的多个版本，涵盖1.5B、7B、8B及14B参数规模，且预计 ...

快科技1月16日消息，今日，阿里云通义开源全新的数学推理过程奖励模型Qwen2.5-Math-PRM，72B及7B尺寸模型性能均大幅超越同类开源过程奖励模型。

去年12月20日，在为期12个工作日的线上新品发布活动最后一日，OpenAI宣布了“压轴大作”：o1的下一代模型o3，推出两个版本一个正式的o3，另一个相对较小的精简版o3-mini。当时，OpenAI只允许安全研究人员可以注册访问o3 和 ...