2月11日晚间，国家超算互联网平台宣布推出“AI生态伙伴加速计划”，提供3个月DeepSeek API接口免费使用、千万卡时算力资源池等激励。据介绍，超算互联网平台已上线DeepSeek满血版的模型镜像，并为有需求的企业免费开放3个月DeepSeek ...

据外媒 TechCrunch 报道，OpenAI 仍然不会完全公开 o3-mini 的完整推理步骤，但其表示已「找到一个平衡点」，o3-mini 现在可以「自由思考」，然后整理出更详细的推理摘要。

OpenAI实属急了，刚刚官宣公开o3-mini思维链。令人意想不到的是，CoT竟不是原生的，奥特曼现身解释，全网炸锅了。 OpenAI，真的被DeepSeek逼急了！ 活久见，就在刚刚，OpenAI把o3-mini的「思维链」公开了。

来自斯坦福大学和华盛顿大学的研究人员开发出了一个大语言模型，在某些任务上的表现优于 OpenAI 的 o1-preview，且开发成本仅为后者的一小部分。 研究团队于上周五发表了相关论文，TechCrunch 今天对该项目进行了报道。这个名为 s1-32B 的算法已在 GitHub 上开源。 去年 9 月，OpenAI 推出了一个专注于推理能力的大语言模型 o1-preview。该算法的主要创新在 ...

他们的s1-32B模型在多个基准测试中超越闭源模型OpenAI o1-preview，成为目前最具样本效率的推理模型。 OpenAI o系列模型为何性能如此强大？ OpenAI将他们 ...

内地低成本高效的AI模型DeepSeek，推出后震撼科技界后，有AI教母之称的美籍华裔科学家李飞飞，率领其团队仅花了20美元及26分钟，便创造出一个「s1」的AI推理模型，表现媲美OpenAI o1和DeepSeek R1等尖端推理模型。 仅用16块H100 GPU训练 综合外媒报道，李飞飞是史丹福大学首位红杉讲席教授，美国国家工程院院士。她与史丹福大学和华盛顿大学的研究团队，在一个月内便研发出s ...

最开始，o3-mini思考过程还蛮有逻辑，从不同种类的“内心叙事”、可解释性和实用价值等方面分析，表示展现完整的CoT过程程似乎有助于“扎根”社会的理解并促进更好的认知实践，但现实更为复杂，毕竟AI大模型和人类的认知还没有完全对齐。

中国 AI 公司 DeepSeek 近期发布了新一代模型 DeepSeek-R1，在复杂领域的推理能力上媲美 OpenAI 的 o1，甚至在多个数学和编程基准测试上超越了它。

一面是OpenAI、Anthropic等厂商的游说打压，一面却又见证了其盟友口嫌体直的态度，短短一夜之间，微软、英伟达、亚马逊等美国云计算平台纷纷向DeepSeek R1伸出橄榄枝。

在数学竞赛的领域里，普特南数学竞赛的威名如雷贯耳。它由 William Lowell Putnam 家族发起，自 1938 年首届举办以来，历经 66 年的岁月沉淀，成为全球大学生数学精英们一较高下的顶级赛场。