358 年的猜想，11 天的机器：费马大定理被塞进 Lean，验货人说 it checks out
1637 年，费马在一本书的页边写下：我找到了一个绝妙的证明，可惜这页边太窄，写不下。这句话为难了数学界 35...
QianXun
0.7 开尔文的反骨：ZrTe₅ 的量子振荡，越过了量子极限还在荡
先给两个数字定个调。0.7 开尔文，比星际空间还冷一截；60 特斯拉，地球磁场的约一百二十万倍。圣保罗大学牵头...
一锅熔盐和一股氨气，把「不可能」的氮化物纳米晶做出来了
你的手机屏幕背光里有氮化镓，骨科植入物的镀层里有氮化钛，超导电路里有氮化铌，炼油催化剂里有氮化钼。金属氮化物这...
金宝汤厂的最后一条产线，可能是量子计算机
多伦多西郊的 Etobicoke，有一座金宝汤（Campbell's）的老厂房，1.58 万平方米——铺开大约...
欧洲大陆第一次入轨：一家慕尼黑公司，在挪威北极圈里干成的
9 月 5 日晚 10 点 12 分，挪威安岛航天中心，北极圈内。一枚 28 米高的火箭离开发射台。升空约七分...
沉睡十年的德国 Wiki，被三千七百个 OpenAI 马甲灌了一万八千条留言
有一座德语技术 Wiki，叫 DseWiki。过去十年，它总共被人编辑了大约二十次——一座数字时代的鬼城。今年...