揭秘华为“智慧科研”,AI能治多少疑难杂症?

揭秘华为“智慧科研”,AI能治多少疑难杂症?
摘要: “聚焦生命科学与信息科学等重点科研方向,探索AI与科研的深度融合。” 凤凰网科技 出品 作者|董雨晴 华为2025年年报里,“人工智能”被提及了421次。公司内部把它看作“未来十年、甚至更长周期里最具确定性的战略机遇”。但这一波AI到底该怎么落地到最艰深、最慢的科学研究领域里去,外界其实一直在摸索实践。 随着...
2026年07月06日,18时31分 科技新知 阅读 25 views 次

大厂AI,转入“基因驱动”

大厂AI,转入“基因驱动”
大厂应该怎么做AI? 以前,字节、阿里和腾讯倾向于对硅谷巨头亦步亦趋。如今,三巨头正集体转向“基因驱动”,试图回到成就过往辉煌的熟悉轨道上。 字节正在迎回“大力出奇迹”。 6月底,字节CEO梁汝波在一场活动上发声,要求公司“全力深耕AI”,重申“攀登AI高峰”,收缩业务宽度,把精力重点聚焦到AI,在AI里聚焦到提升模型...
2026年07月06日,18时28分 科技新知 阅读 33 views 次

AI限额200美元,马斯克不养Boris

AI限额200美元,马斯克不养Boris
据The Information报道,特斯拉上个月在内部备忘录中告知员工,从7月6日起,公司将对员工AI工具支出设置每人每周200美元上限。 这件事多少有点反差,毕竟特斯拉还在强化自己的AI叙事:据路透社报道,特斯拉已经在6月于奥斯汀推出小范围Robotaxi服务,接下来还要继续扩张;为了支撑自动驾驶、无人出租车、机器人和相关...
2026年07月06日,18时44分 科技新知 阅读 31 views 次

六年六轮审理建工案引学界研讨:铜川复杂建工纠纷案暴露行业审判三大共性短板

六年六轮审理建工案引学界研讨:铜川复杂建工纠纷案暴露行业审判三大共性短板
原标题:以案释法聚焦建工纠纷治理 专家研讨共议司法质效提升路径 来源:指尖新闻客户端 近日,指尖新闻法治研究院举办建设工程纠纷司法实务研讨会,本次研讨会邀请中国政法大学法律硕士学院副院长刘智慧教授,中国政法大学证据学教授房保国,前检察官、北京中盾律师事务所律师魏景峰及十余家媒体记者参与研讨。 以陕西...
2026年07月06日,18时45分 国内动态 阅读 32 views 次

王兴兴和马斯克,必有一战

A股“人形机器人第一股”,要来了。7月2日,中国证监会正式批复宇树科技科创板IPO注册。宇树科技距离挂牌...

全球第一!海康威视第20万台移动机器人正式下线

全球第一!海康威视第20万台移动机器人正式下线
快科技7月6日消息,海康机器人官方发布消息,今天,品牌第20万台移动机器人完成下线,是一台F4叉取机器人。 对比此前数据,两个月前品牌累计下线量才到18万台,短短两个月又产出2万台,能看出市场需求和工厂产能都在快速提升。 如今,在国内市场每3台移动机器人,就有1台来自海康机器人,2025年,实现全球市占率第一。 ...
2026年07月06日,17时08分 科技新知 阅读 29 views 次

一家对标特斯拉的电动重卡初创企业:员工薪资拖欠

一家对标特斯拉的电动重卡初创企业:员工薪资拖欠
内容速览 电动重卡初创企业苇渡科技如今内部混乱、拖欠大量款项、深陷联邦诉讼,一台价值 28.5 万美元的重卡下落不明。 今年年初,苇渡科技一度被视作颠覆全球货运卡车行业的新星:公司完成 4 亿美元融资,打造前沿电动重卡,正面对标特斯拉 Semi 电动卡车。 但到今年 3 月,公司内部已是一团乱麻,首席执行官韩文甚至...
2026年07月06日,17时39分 美国动态 阅读 38 views 次

面向数学形式化证明:Mistral推Leanstral 1.5低使用成本模型

面向数学形式化证明:Mistral推Leanstral 1.5低使用成本模型
IT之家 7 月 6 日消息,欧洲人工智能企业 Mistral AI 当地时间本月 2 日宣布推出面向数学形式化证明程序语言 Lean 4 的 Leanstral 1.5 模型。该模型总共拥有 119B 参数,激活 6B 参数,以 Apache-2.0 许可开源。 Mistral AI 表示,Leanstral 1.5 模型在 miniF2F 形式数学基准测试的验证集和测试集上均实现了 100% 的完...
2026年07月06日,17时43分 科技新知 阅读 25 views 次


用户登录