符号引擎推理是AlphaGeometry的核心组件，称为DDAR（Deductive Database Arithmetic Reasoning，演绎数据库算术推理）。

2 月 7 日，作为国内人形机器人第一股，优必选官方就表示公司正在人形机器人应用场景中验证 DeepSeek 技术的有效性，如多模态人机交互、复杂环境中的指令理解、工业场景中的任务分解与规划等， 「有望利用推理大模型的深度思考能力解决这些复杂任务中的挑战，让人形机器人更加接近人的思考和行为表现。」 ...

而Perplexity从去年11月官宣，最早将从美国上线广告。这些广告将以“推荐问题”的形式展示，同时广告将被放置在用户搜索答案的旁边并标注为“赞助”。这一措施也是为了弥补订阅收入不足的问题。

通过分析AI的错误答案，他们发现当前的推理大模型经常在思考早期就走上了正确的路线，但倾向于“浅尝辄止”，很快开始探索别的思路，导致后续生成的数千个tokens对解题毫无贡献。

1 月 22 日，OpenAI、软银、甲骨文三大巨头掌门人，Sam Altman、孙正义、拉里·埃里森宣布联合成立一家名为 Stargate 的新 AI 公司。未来四年将投资 5,000 亿美元，掀起了新一轮 AI 军备竞赛。

1 月 24 日，小米汽车在第 106 集《小米汽车答网友问》中发布公告，主动向国家市场监督管理总局备案小米 SU7 标准版召回计划。 公告显示，召回 2024 年 2 月 6 日至 2024 年 11 月 26 日生产的部分小米 SU7 标准版电动汽车，共计 30,931 台。其中，车辆型号 BJ7000MBEVR2 涉及车辆 18,410 台；车辆型号 XMA7000MBEVR2 涉及车辆 1 ...

In the hospital, where their family member lay gravely ill, the relatives gathered in the waiting room. Finally, the doctor ...

这次 AI 的重点，是 Galaxy AI 与 Google Gemini 联手达成的多模态感知能力，凭借这个能力，三星 Galaxy S25 系列的超拟人智能助理能像人类一样「看、听、理解」，可以更主动、更智能、更准确地参与日常任务中。

但是DeepSeek-R1-Zero这个孩子一直做试错练习的话，就会有可读性差和语言混合问题。于是团队研发推出了 DeepSeek-R1，这个模型在训练过程中引入了少量的冷启动数据，即cold-start data，并通过多阶段 RL ...

就在刚刚过去的 2024 年 12 月，马斯克的 AI 公司 xAI 宣布推出新版本的 Grok-2，新功能 draw me 作为与𝕏平台整合的一部分而推出。 此外，用户如果在𝕏上看到其他人发的“draw me”帖子，点击下方“Create your version with Grok”按钮也能实现自动跳转生成。