本源量子 PSE-CZ 破解超导「速度-保真度」矛盾:30 纳秒极短门长逼近硬件退相干极限
量子门的运行速度与保真度,是量子计算里一对天然的矛盾——跑得快,波形容易失真;想精准,就得把脉冲拉长。本源量子...
分类： AGI
MathCode 终端 AI 把数学证明提速 75 倍:30 秒压到 0.4 秒,数学家从此告别苦役
数学证明一直有两个老大难:Lean 4 编译动辄 30 秒起步,数学家要等;形式化定理难以复用,新证明要从头打...
清华 SIGS 开源 VeriLoopCoder-E1:32B 以内拿下 HF 三项第一,中国 AI 编程范式开始转向「做实验」
32B 以内的参数、HF 榜单三项核心指标断层第一、SE-AgentBench 仅次于某闭源商用旗舰——这是清...
编程模型的下半场:智谱 GLM-5.3 凭 84.5% CyberGym 跑出「能挖别人 bug」的开源编程模型
编程模型的下半场,不是「写更多代码」,而是「能发现别人写错的代码」。 智谱 8 月 14 日发布的 GLM-5...
40个 Haiku worker 喂给 Sonnet：纯代码 reducer 把多智能体成本砍掉 86%
一段不加任何 AI 的 Python 代码，把多智能体管道的单次成本从 **1.38 美元压到 0.19 美元...
【费曼解读】无懈可击的代码：AI能否成为永远不会犯错的程序员？
# Vero深度解读：当AI程序员开始写"数学证明" ## 文学化主标题 **《无懈可击的代码：AI能否成为永...