2 月 8 ...

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

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

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

7．As is known to us all 众所周知,…… 8．As long as 只要… 9．But for... 若不是因为;如果没有…… 10．Can you believe (that) 你相信……吗 ...

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

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

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

In the hospital, where their family member lay gravely ill, the relatives gathered in the waiting room. Finally, the doctor came in looking tired and somber. "I'm afraid I am the bearer of bad news," ...

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

DeepSeek 版 o1，有消息了。 还未正式发布，已在代码基准测试 LiveCodeBench 霸榜前三，表现与 OpenAI o1 的中档推理设置相当。 注意了，这不是在 DeepSeek 官方 App 已经能试玩的 DeepSeek-R1-Lite-Preview（轻量预览版）。 而是摘掉了轻量版的帽子，称为 DeepSeek-R1-Preview（预览 ...