行业资讯

相比上一代模型，Seed Prover 1.5 在 16.5 小时内，针对 IMO 2025 的前 5 道题目生成了完整可编译验证的 Lean 证明代码，换算成绩为 35/42，达到此前 IMO 评分...

特斯拉Optimus机器人最新视频展示其平稳奔跑和自主充电能力，动作自然稳定。Optimus V2.5在NeurIPS大会上亮相，拟人化双手灵活逼真。特斯拉计划2026年量产，年产百万台，成本降至2万...

近年来，科大讯飞持续在工业领域深耕，发挥让机器从“能听会说”到“能理解会思考”的AI源头技术优势，打造一系列工业六感智能硬件产品，让工业生产过程具备听觉……"> img:is([sizes="aut...

谷歌正研发自有品牌无屏幕健身手环，预计今年晚些时候发布。设备基础功能免费，进阶功能需付费订阅，与 Fitbit AI 健康管家深度联动。NBA 球星库里已提前体验并预热。此举将丰富谷歌穿戴设备产品线...

随着 AI 从聊天机器人发展到能够执行操作的系统，Linux 基金会正在启动一个新的组织，致力于防止 AI 智能体分裂成一堆不兼容、封闭的产品。

噫吁嚱！ 那个昔日叱咤风云的开源框架——TensorFlow，已然是行将就木了。 如此断言并非空穴来风，而是根据一份冷静的数据洞察所得出的结论。 一个十年的时间，TensorFlow的社区活跃度，有过...

阿里千问在 2 月 6 日正式上线“春节 30 亿免单”，每人可领一张 25 元奶茶免单卡。据支付宝官方今日分享，千问 App 已全面接入「支付宝 AI 付」，用于实现一句话点外卖。

近日，网传一幅AI生成图在华住会“艺术MaxX・城市记忆摄影大赛”中夺冠，引发广泛关注。华住会客服回应称，经核查该作品不符合原创性规则，已与投稿人沟通并取消成绩。原第二名作品《陆家嘴》递补为第一。#A...

IT 时代网讯：10 月 2 日消息，三星、SK 集团与 OpenAI 宣布建立新的战略合作伙伴关系，加入 OpenAI 的 “星门计划”。该计划是 OpenAI 推出的综合性人工智能基……"> im...

本文旨在深入解析ECgMLP模型本身的技术架构与创新点，并探讨生物医学数据与深度学习融合的未来方向与挑战。"> AI医疗革命：癌症检测准确率突破99%的背后技术——ECgMLP模型深度解析- · 科普...