科技
首页
财经
食品
科技
教育
法制
健康
汽车
房产
旅游
军事
人形机器人可望不再“无从下手”
2026-09-14 09:46
从高空塔吊到北斗测量 服贸会上前沿技术集中亮相
2026-09-13 10:02
外滩大会追问具身智能：数据越多越聪明吗？
2026-09-12 10:36
我国高端数字化能力加速出海
“我们把运营商传统的‘带宽/时长/资源’计费，升级为AI原生按Token消耗计费。跳出传统单一通信产品输出模式，运营商搭建起“基础网络服务+AI算力增值服务”双增长曲线，显著提升出海业务附加值。
2026-09-11 09:44
数学证明进入机器验证时代？
数学家安德鲁·怀尔斯于1995年发表了费马大定理的证明。经过11天运转，Claude完成了整个形式化过程，证明了约3万个辅助定理，生成了约1300万行代码，规模相当于160部长篇小说。
2026-09-10 09:20
再赴外滩之约：清微智能以国产可重构算力解码互联网AI新经济
2026-09-10 17:57
人工智能行业亟需深度转型
2026-09-09 09:48
机器人进后厨绝非“机器替人”
2026-09-08 09:40
重磅预告｜“智”链创新，“转”动未来——2026科技嘉年华暨科金学联启新
2026-09-07 14:59
17亿块芯片的喜与忧
2026-09-07 09:42
