“骑2小时被收55美元”，中美网友都绷不住了……
在国人眼中，共享单车是一种既便宜又方便的出行选择。即便是后来推出的共享电动自行车，也仍然符合这一设定。可在美国，尤其是纽约，骑一次共享单车却可能吓得你连饭都不敢吃了。有美国网民最近就发帖表示，自己只是骑了不到2小时的车，却被收了近55美元！
70%大小，100%准确，完美压缩LLM性能0损失，推理速度最高飙升39倍
人人都想有一个自己的DeepSeek，但并不是人人都有「一打」96GB显存的H20。虽然量化可以极大地降低模型对于显存的需求，但它本质上是一种有损压缩技术。换句话说就是，量化模型的输出分布不可避免地会受到影响，进而降低LLM的准确性和可靠性。
模型能感知调整3D物体位姿吗？首个交互式投影对齐空间推理基准
认出一个物体之后，换个角度还能认出来，进一步想象它转动后的样子，这些都涉及空间感知。人类需要在头脑中表示物体的形状与方向，理解不同视角之间的关系，并从二维投影中推断三维几何。
RSI，递归的终点是资本
来源：未尽研究AI 叙事的核心，切换到了RSI（递归自我改进）；终点是智能爆炸，是超级智能。硅谷很擅长发明科技术语，其中最大的灵感来源，是科幻。数学家和计算科学家古德（I.J.
Claude团队又搞事：实测AI全自主复制进智能家电
两位顶尖安全研究员William Zhou和Daniel Freeman在一项最新的安全实验里，让GLM-5.2尝试把一个80亿参数的AI模型，自主扩散到隔离网络里的8台设备上。
AI推导出「外星数学」，38年无解混沌难题，被GPT-6联手Claude终结
你只需要知道两件事:第一，这是理论神经科学领域近四十年来最难啃的骨头，甚至被普遍认为是「解析上绝对无解」的死局。
数学大爆炸，OpenAI 一夜攻克722个数学难题，准黎曼猜想已被证明
里面是722 篇数学手稿，涵盖了 372 个此前悬而未决的顶级数学难题家族。其中，OpenAI 未发布的 AI 模型证明了拟黎曼猜想，并同步发布了 Lean 形式化验证。
中国人造出了那台“造AI的光刻机”吗？
（本文作者为 胡说成理，钛媒体经授权发布）文 | 胡说成理就在这两天，ForgeKernel，一个无人参与的Agent在无需参考DeepSeek原始实现的情况下，当着全网的面，把DeepSeek最新的核心算子写快了9.8%！
“阶段”的英文相关表达
“阶段”最常用的英文是 stage 和 phase，但它俩不是随便换的——选错会显得不专业。给你按实际场景拆开，一看就懂：---1. Stage vs. Phase（核心区别）Stage = 线性递进的“台阶”，强调顺序和升级（第1步→第2步→第3步），不可跳跃。
AI破解56年数学难题登Science，还是DeepMind讲究，成果交给同行评审
OpenAI前脚一口气甩出722份数学证明遭到数学圈集体抵制，后脚谷歌DeepMind的数学研究就登上了《Science》。