DeepSeek 发布 Prover-V2 模型，参数量达 6710 亿
DeepSeek 于 AI 开源社区Hugging Face 上发布了一个名为 DeepSeek-Prover-V2-671B 的新模型。 据悉，DeepSeek-Prover-V2-671B 使用了更高效的 safetensors 文件格式，并支持多种计算精度，方便模型更快、更省资源地训练和部署，参数达 6710 亿，或为去年发布的 Prover-V1.5 数学模型升级版本。在模型架构上，该模型......
亚马逊高管解读Q1财报：平台卖家面临关税并不会采取“步调一致”的策略
亚马逊发布第一季度财报：净销售额为1556.67亿美元，同比增长9%，不计入汇率变动的影响为同比增长10%；净利润为171.27亿美元，同比增长64%；每股摊薄收益为1.59美元，与上年同期的0.98美元相比实现增长。亚马逊第一季度每股摊薄收益超出华尔街分析师预期，但营收则未能达到预期，对第二季度营收作出的展望也未能达到预期。 详见：亚马逊第一季度营收1556.67亿美元 净利润同比增长64%......
劳动者之歌｜孙宁：把特种机器人变成“全能战士”
把特种机器人变成“全能战士”——记“燕赵楷模”、中信重工开诚智能装备有限公司机器人研发部经理孙宁 4月30日，中信重工开诚智能装备有限公司，孙宁在检查机器人产品。河北日报记者 赵 杰摄 “特种机器人是被赋予服务人民生产生活使命的数字生命体。”4月29日，刚被授予“燕赵楷模”称号的中......
怒砸100亿，饿了么向友商开了一枪
来源：电商天下 饿了么终于亮剑，加入战场 饿了么终于亮剑，加入战场怒砸超一百亿，坐山观虎斗的饿了么终于下场了。当所有人以为京东与美团的“补贴拉锯战”已进入白热化......
行业首个《智慧社区实践报告》出炉 万科物业推出24小时“AI大脑”
5秒锁定走失儿童！67岁的赵奶奶发现孙女苗苗走失，正心急如焚时，武汉唐樾小区的AI摄像头已经“抢先一步”发现独自乱跑的苗苗，仅仅5秒，预警信息就传到了指挥中心，安全员迅速找到孩子并安置好。看到孙女安然无恙，老人悬着的心终于放下了。相比传统人工搜寻至少30分钟，AI的高效让人惊叹。除了摄像头，该小区还有出入通行、消防传感器等多种智能设备，它们背后是一台名为“灵石”的服务器在默默运作，如同24小时在线......
AI泡沫要破？微软和Meta的股价不同意
微软和Meta在同一天公布了最新季度财报，尽管宏观经济前景不明，两家科技巨头的财报数据均给出了超出分析师预期的营收和利润，带动各自股价乃至AI股在盘后交易中上涨。Meta盘后涨超6%，微软则一度上涨近9%，显示出市场对两家公司业绩的积极反应。这些财报数据不仅反映了它们核心业务的当前状况，也为外界观察其在人工智能领域的投入和进展提供了新的窗口。硅星人分别梳理了两家公司的财报要点，关注其关键业务表现，......
AI进职校，如何从技术可用到教学好用
24小时在线的AI助教老师，数字人教师与学生面对面交流，在人工智能技术加持下具有针对性的交互实训……近两年，以ChatGPT、Sora、DeepSeek等为代表的AI大模型生态雏形正加速显现，职业教育也受到AI大模型等技术的深层次影响。记者了解到，这些影响主要体现在课堂教学形式、赋能虚拟仿真实训，以及学校数智治理等多个方面，如湖南汽车工程职业大学探索数字技术与教育教学深度融合有效路径、北京市自动化......
淘宝宣布：“淘宝闪购”提前上线！“即时零售大战”或将开启
5月2日上午，淘宝官方微博发布消息称，“淘宝闪购”提前全国全量上线。今日起，全国用户可在“淘宝闪购”中领取大额红包点外卖。 4月30日，淘宝旗下即时零售业务“小时达”正式升级为“淘宝闪购”，并在淘宝App首页以“闪购”的一级入口形式展示，首日在50个城市上线，原定于5月6日推广至......
免费Wi-Fi别乱连 低价票勿轻信！“五一”防骗指南来了
“五一”小假期已至 网警递上指南 伴您度过安全又愉快的“五一” 莫蹭“免费Wi-Fi” 假期出行，蹭一蹭免费Wi-Fi把照片分享出去也是不可或缺。而不法分子利用这点，通过伪造免费公共Wi-Fi热点用来“钓鱼”，以窃取个人信息、登录凭据来进行其他恶意活动。 防骗提醒 在连接到公......