搜索
近期，AI 在数学研究领域的进展引发广泛关注。OpenAI 等机构接连公布 AI 解决数学问题的新成果，也让数学界开始重新思考：当 AI 能够参与甚至独立完成复杂数学证明，数学家的价值将如何体现？数学研究的范式、人才培养方式又将发生哪些变化？
不er，印象中非常吃算力的「游戏世界模型」，居然就这样被塞进一张RTX 5090里了？！
开源Skill Anatomy可将抽象原理转化为可交互、可拆解的机械动画，并借助Opus 5.5制作带配音和音效的科普视频，但专业细节仍需核对。
真是活久见！ 连Linux之父，都让Claude来写内核了。就在最近，一位开发者在刷新Linus的官方内核仓库时，赫然发现了一个极不寻常的新分支——noref-filemap-read-with-llm
神了。 中国版「野兽先生」MrBeast，竟然被一个AI综艺账号给整出来了？？
好嘛，咱姐夫（Jeff Dean）投资的AI初创公司hillclimb，搞的RSI新基准终于出成绩了！
某乎上有篇热帖，如何看待由 Opus 5.5 生成的各类科普视频爆火？
把 Claude Code 和 Codex 搬进豆包工作，只需点一下。
在 AI 圈，几乎所有人都在讨论 AI 什么取代我，取代数学家、设计师、经济学家，但被「杀死」最多次的一定是程序员。
十年前，我们用 Soul、陌陌这类 App 认识陌生人，单身交友，不敢明目张胆发挥荷尔蒙。