DeepSeek R1 催化了 reasoning model 的竞争：在过去的一个月里，头部 AI labs 已经发布了三个 SOTA reasoning models：OpenAI 的 o3-mini 和deep research， xAI 的 Grok 3 和 Anthropic 的 Claude 3.7 Sonnet。随着头部 Al labs 先后释出自己的 reasoning model ...

一把长度为 1 的尺子，把 AI 送到了数学研究最前线。 想象一下，在一张无限大的平面上放下 n 个点，任意两点之间如果刚好相距 1，就算一组「单位距离点对」。最多能有多少组？ 1946 年，数学家 Paul Erdős 提出了这个问题。近 80 年来，数学界一直认为，最接近答案的构造大概会像平方网格，也就是把点像棋盘一样铺开。 截至发稿前，该推文已引来 320 万网友的围观 OpenAI 现在给 ...

IT之家 3 月 27 日消息，智谱官方现已公布 GLM-5.1 模型，所有 Coding Plan 用户（Max、Pro 和 Lite）均可调用。 IT之家附 Claude Code、OpenClaw 启用 GLM-5.1 方法如下： Claude Code： 前置工作： 默认情况下，Claude Code 的模型环境变量如下： ANTHROPIC_DEF ...