「工业验证」共找到 1069 篇相关文章
国民技术：覆盖机器人多模块，提供MCU+安全+蓝牙全栈芯片解决方案
国民技术是MCU及安全芯片领先企业，其N32H7/4系列MCU为荣耀“元气仔”、越疆Rover X1等机器人提供关键支撑，还广泛应用于工业机器人。此外，公司构建了MCU + 安全 + 无线射频的完整产品矩阵。
陶哲轩用GPT-5解决数学难题：仅29行Python代码
陶哲轩最新发帖称，GPT - 5帮他解决MathOverflow上的问题，证明序列lcm(1,2,…,n)并非高度丰数的子集。他与GPT - 5沟通生成参数，并用其生成的29行Python脚本验证，且未遇AI幻觉问题。这不是他首次用AI解题。
MiniMax-M1：全球首个开源超长上下文大模型，超越DeepSeek-R1，推理成本仅1/4
MiniMax-M1是全球首个开源超长上下文大模型，刷新三项记录。它采用混合专家架构，闪电注意力让推理复杂度近乎线性增长。CISPO算法加速训练，成本低。在工业级任务测试表现佳，已开源且方便开发者接入。
64小时搞定，Claude自主设计出威胁120万人致命蝎毒结合蛋白，湿实验已测通
Anthropic利用Claude大模型，仅耗时64小时就自主设计出可结合致命蝎毒的蛋白质，人类仅提供初始提示，后续全由模型自主推进，最终湿实验验证17个设计成功达标，相关数据已全部开源，为解决热带地区蝎毒致死问题提供了新的AI路径。
扎克伯格秘密在中国“造人”
Meta 与中国傅利叶智能合作，用约三个月开发出人形机器人原型机 Max，身高 1.5 米、重 48 公斤，第二代已在研发中，Meta 意在验证软件并打造机器人操作系统。
GPT-6突破「素数间隔」纪录！这次是加入OpenAI的北大数院07级校友
OpenAI总裁宣布进入AGI时代，GPT - 6 Astra虽仅向少量组织开放，但引发大量讨论。北大数院校友苏炜杰宣布其将素数间隔上界从246推进至186，完成Lean验证。多家机构围绕此问题研究，AI或成数学研究伙伴。
具身智能迎来“安卓时刻”，一位清华博士决定给机器人换脑｜甲子光年
千诀科技CEO高海川讲述其打造的具身智能系统，可脱离特定硬件载体，安装到不同机器人。公司跳出端到端VLA束缚，选分区预测式世界模型，目标是打造“机器人领域的安卓系统”，还认为家庭场景比工业场景易落地。
PPO-Clip的「盲点」被补齐了？快手提出熵比裁剪方法，从局部约束到全局稳定的关键一跃
快手科技语言大模型团队提出熵比裁剪（ERC）方法，应对强化学习中信任域偏离问题。该方法从全局视角稳定策略分布，在多个数学推理基准实验中提升了模型性能，还与多种方法对比验证了泛化能力。
银河通用完成25亿元新一轮融资，具身智能“头号玩家”现身｜甲子光年
2026年初具身智能公司融资热起，银河通用完成25亿元新一轮融资，估值超200亿。其自主研发具身智能数据体系与大模型，春晚亮相后产品畅销，在工业和服务端均有成果，具身智能迈向产业化。
vivo AI Lab提出自我进化的移动GUI智能体，UI-Genie无需人工标注实现性能持续提升
香港中文大学MMLab和vivo AI Lab团队提出自我进化框架UI - Genie，构建奖励模型UI - Genie - RM解决轨迹验证难题，通过数据生成和模型迭代闭环实现智能体与奖励模型双向增强，在多基准测试中表现出色，打破人工标注瓶颈。