搜索
近期，AI 在数学研究领域的进展引发广泛关注。OpenAI 等机构接连公布 AI 解决数学问题的新成果，也让数学界开始重新思考：当 AI 能够参与甚至独立完成复杂数学证明，数学家的价值将如何体现？数学研究的范式、人才培养方式又将发生哪些变化？
真是活久见！ 连Linux之父，都让Claude来写内核了。就在最近，一位开发者在刷新Linus的官方内核仓库时，赫然发现了一个极不寻常的新分支——noref-filemap-read-with-llm
机器人 RSI 时刻远远未到达，先看一个动作：机械臂把碗放到盘子上，再抓起杯子，放进刚刚移动过的碗里。
AI 可能快要学会一件有点可怕的事：自己复制自己。
DeepSeek又悄么声更新模型了！
AI 办公，最大的门槛反而不在 AI，在于一个认知错觉：你以为它都知道。
在Assembling 2026上，我们邀请了几位硅谷一线投资人，并且给他们出了一个他们天天质问创业者的题目： 为何OpenAI和Anthropic还没杀死创业公司。
九位同志，去俄斯特拉发，待上一年。
让Agent写周报、分析方案，已经是许多人的日常。但每次开始，用户还得翻找资料、交代背景，智能体也要经过查找、阅读、整理等多个步骤，才能真正开始任务。换个任务，这套流程又得重来。反复处理这些已有资料，既费时间，也增加token消耗。资料越多、步骤越长，还越容易遗漏信息或出现偏差，影响任务完成的准确率。
把杯子放进微波炉里，这一人类几乎不用思考的日常动作，机器人却可能在杯子放不稳、夹爪碰到门框这样的细节上频频出错。