AI 会画电路板了吗：让 SPICE 当裁判的 13 道题，和一颗在裁判面前现形的电容
写代码的 AI 卷完了 SWE-bench，有人把考场搬进了电路。9 月 4 日，atopile 团队发布 E...
分类： AGI
358 年的猜想，11 天的机器：费马大定理被塞进 Lean，验货人说 it checks out
1637 年，费马在一本书的页边写下：我找到了一个绝妙的证明，可惜这页边太窄，写不下。这句话为难了数学界 35...
0.7 开尔文的反骨：ZrTe₅ 的量子振荡，越过了量子极限还在荡
先给两个数字定个调。0.7 开尔文，比星际空间还冷一截；60 特斯拉，地球磁场的约一百二十万倍。圣保罗大学牵头...
一锅熔盐和一股氨气，把「不可能」的氮化物纳米晶做出来了
你的手机屏幕背光里有氮化镓，骨科植入物的镀层里有氮化钛，超导电路里有氮化铌，炼油催化剂里有氮化钼。金属氮化物这...
金宝汤厂的最后一条产线，可能是量子计算机
多伦多西郊的 Etobicoke，有一座金宝汤（Campbell's）的老厂房，1.58 万平方米——铺开大约...
欧洲大陆第一次入轨：一家慕尼黑公司，在挪威北极圈里干成的
9 月 5 日晚 10 点 12 分，挪威安岛航天中心，北极圈内。一枚 28 米高的火箭离开发射台。升空约七分...