科技
首页
财经
食品
科技
教育
法制
健康
汽车
房产
旅游
军事
我国高端数字化能力加速出海
“我们把运营商传统的‘带宽/时长/资源’计费，升级为AI原生按Token消耗计费。跳出传统单一通信产品输出模式，运营商搭建起“基础网络服务+AI算力增值服务”双增长曲线，显著提升出海业务附加值。
2026-09-11 09:44
数学证明进入机器验证时代？
数学家安德鲁·怀尔斯于1995年发表了费马大定理的证明。经过11天运转，Claude完成了整个形式化过程，证明了约3万个辅助定理，生成了约1300万行代码，规模相当于160部长篇小说。
2026-09-10 09:20
人工智能行业亟需深度转型
2026-09-09 09:48
机器人进后厨绝非“机器替人”
2026-09-08 09:40
再赴外滩之约：清微智能以国产可重构算力解码互联网AI新经济
2026-09-10 17:57
重磅预告｜“智”链创新，“转”动未来——2026科技嘉年华暨科金学联启新
2026-09-07 14:59
17亿块芯片的喜与忧
2026-09-07 09:42
AI催生“黑客松”热 “编程马拉松”变成创新试验场
2026-09-06 10:07
工业和信息化部曝光一批汽车产品典型案例
2026-09-05 10:09
太原理工大学自研四足机器人通过全地形越野验证
2026-09-04 09:45
