人工智能究竟是在“真正”进行推理，还是仅仅模仿它们所接受训练的人类推理模式？
随着 GPT-4、o1、DeepSeek-R1、AlphaReasoner 等“推理模型”不断展现出数学证明、
排序
AI科学家来了，人机协同科研时代来了
AI 大潮涌动，正在重塑千行百业。包括我们的学习和教学，也包括我们的科学研究。
最强编程“大脑”：OpenAI 开放 GPT-5.2-Codex API，实战连续一周狂写 300+ 万行代码
OpenAI 公司昨日（1 月 15 日）在 X 平台发布推文，宣布通过 Responses API 方式，向开发者开放其最强代码模型 GPT-5.2-Codex。
谷歌最强 AI 开放翻译模型：TranslateGemma 登场，手机也能跑
谷歌昨日（1 月 15 日）发布博文，基于 Gemma 3 架构，推出 TranslateGemma 开放翻译模型系列，共有 4B、12B 和 27B 三种参数规模，支持 55 种核心语言及多模态图像...
京东物流推出行业首个“AI 年货地图”，向所有商家免费开放
据京东物流黑板报公众号消息，为保障年货顺利送达，京东物流正式推出行业首个“AI 年货地图”系统，并向京东平台所有商家免费开放。#京东物流# #AI年货地图#
期末复习别只拼最后的分数，拼“可验证的进步”——把这次期末，当成孩子的“新尺子训练营”（附详细步骤版）
让孩子不再靠外界的尺子（排名、分数、评价）来决定自己的价值；而是靠内在的尺子（证据、复盘、迭代）来建立安全感。
石头 G30S Pro 扫地机器人 1 月 20 日上市，越障高度突破 8.8cm
石头科技宣布G30S Pro扫地机器人将于1月20日上市。新品支持底盘升降3.0和创新AI轮足系统，越障高度突破8.8cm，能轻松应对滑轨、台阶等复杂地形。作为对比，现款G30支持三线结构光避障和行业...
英伟达投资初创公司 Harmonic，后者专注开发解决数学问题的 AI 系统
英伟达参与投资了专注解决数学问题的AI初创公司Harmonic的C轮融资，本轮融资1.2亿美元，公司估值达14.5亿美元。其“亚里士多德”模型不仅能解题，还能提供可验证的完整推理过程，在代码和芯片设计...
又一国家出手：菲律宾封杀马斯克的 Grok AI 聊天机器人
因担忧AI聊天机器人Grok生成色情图片，菲律宾宣布加入印度尼西亚、马来西亚的行列，封禁该应用。菲官员表示，所有互联网服务提供商均须启动封禁程序，以保护民众免受虚假色情内容侵害。xAI公司已宣布禁用G...
谷歌 Gemini 3 调整：Thinking 与 Pro 模型使用限额相互独立
谷歌Gemini 3系列模型重大更新！Thinking与Pro模型现已取消共享使用限额，并大幅提升调用次数。AI Pro用户每日可调用Thinking模型300次，Pro模型100次；AI Ultra...