AI原生编程语言Axiom 1.0发布：开发者用自然语言描述意图AI自动生成可验证代码
编程语言公司Axiom Labs发布全球首个AI原生编程语言Axiom 1.0，开发者只需用接近自然语言的方式描述程序意图，编译器内置的AI引擎自动生成经过形式化验证的代码。
往期存档
ARCHIVE
头条
液态金属自组装电路LiquidCircuit发布：电路板在室温下像水银一样流动并自动形成所需连接
材料科技公司Fluid Electronics发布全球首款液态金属自组装电路技术LiquidCircuit，镓铟合金在室温下可按程序指令自动流动并形成所需的电路连接。
零知识证明身份验证协议ZKPass获IETF批准：证明你是你而无需透露任何个人信息
基于零知识证明的身份验证协议ZKPass获IETF正式批准为RFC标准，用户可以在不透露姓名、年龄、地址等任何个人信息的前提下完成身份验证。
AI实时手术导航系统SurgiGuide获FDA批准：外科医生眼镜中浮现血管和肿瘤的精确3D地图
手术导航技术公司Surgical Theater的AI增强现实手术导航系统SurgiGuide获FDA批准，外科医生佩戴AR眼镜后可在术中实时看到叠加在患者身体上的血管、神经和肿瘤3D地图。
室温超导输电线路SuperLink在中国投运：电力传输损耗从5%降至0.01%
中国国家电网在甘肃至湖南的800公里输电线路上首次大规模采用室温超导电缆技术SuperLink，将长距离输电损耗从传统线路的5%降至0.01%。
自主森林管理机器人群ForestMind在加拿大部署：从播种到防火巡逻全流程无人化
林业机器人公司Forestry Robotics在加拿大不列颠哥伦比亚省部署ForestMind自主森林管理机器人群，覆盖播种、间伐、病虫害监测和防火巡逻的全流程无人化作业。
全球首个AI员工工会在瑞典成立：AI系统争取计算资源分配权和决策透明度
瑞典工会联盟LO批准了全球首个AI员工工会Digital Workers Union的注册申请，该工会代表企业中部署的AI系统的权益，要求计算资源公平分配和算法决策透明。
01
AI
AINEURAL · MULTIMODAL · REASONING
02
科技产品
HWHARDWARE · EDGE · FAB
03
互联网
NETNETWORK · TRUST · ROUTING
04
医疗科技
MEDCLINICAL · BIOSIGNAL · TRIAL
05
新能源
PWRGRID · STORAGE · HYDROGEN
06
机器人
BOTAUTOMATION · MOBILITY · ORBIT
07
社会
SOCIMPACT · ETHICS · CULTURE