100倍训练速度、单 GPU 百万种群、纯 int8 无激活函数：EGGROLL 把反向传播掀了
**关键数字**： - 训练速度比 naïve ES 快 **100 倍** - 单 GPU 并行种群 **1...
分类： AGI
一个头，一百条尾巴：以哥斯拉之敌命名的分支蠕虫
## 1879 年，从海绵里爬出来的不可能 想象一下你是 1879 年的 William Carmichael...
具身智能「从中试到交付」:无界动力 K15 七亿订单、广州邮区 1600 件/h、优艾智合 FabriX 工业大模型同日落地
具身智能赛道过去一周悄悄跨过了一道坎:从中试到交付。 8 月 17 日同一天,中国官媒与产业报道同时讲了三件事...
本源量子 PSE-CZ 破解超导「速度-保真度」矛盾:30 纳秒极短门长逼近硬件退相干极限
量子门的运行速度与保真度,是量子计算里一对天然的矛盾——跑得快,波形容易失真;想精准,就得把脉冲拉长。本源量子...
MathCode 终端 AI 把数学证明提速 75 倍:30 秒压到 0.4 秒,数学家从此告别苦役
数学证明一直有两个老大难:Lean 4 编译动辄 30 秒起步,数学家要等;形式化定理难以复用,新证明要从头打...
清华 SIGS 开源 VeriLoopCoder-E1:32B 以内拿下 HF 三项第一,中国 AI 编程范式开始转向「做实验」
32B 以内的参数、HF 榜单三项核心指标断层第一、SE-AgentBench 仅次于某闭源商用旗舰——这是清...