「机器人学」共找到 1245 篇相关文章
GPT-6突破「素数间隔」纪录！这次是加入OpenAI的北大数院07级校友
OpenAI总裁宣布进入AGI时代，GPT - 6 Astra虽仅向少量组织开放，但引发大量讨论。北大数院校友苏炜杰宣布其将素数间隔上界从246推进至186，完成Lean验证。多家机构围绕此问题研究，AI或成数学研究伙伴。
特斯拉造出终结者之手！马斯克要挣1000000000000美元
特斯拉股东大会通过近万亿美元高管薪酬方案，马斯克若10年内让市值达8.5万亿美元等，可获奖励。会上展示人形机器人，其明年量产。此外，FSD技术优，还在研发AI芯片，虽有反对声，但股东多相信马斯克。
真·博士水平！GPT-5首次给出第四矩定理显式收敛率，数学教授只点拨了一下
在数学教授引导下，GPT - 5首次将定性的第四矩定理扩展为带有显式收敛率的定量形式，明确了收敛速率。研究人员还引导其将结果推广到泊松情形，作者起初想将其列为论文共同作者但被 arXiv 政策禁止。
“导演梦”不再遥远：Captain Cinema 让你用短片制作出电影
约翰·霍普金斯大学与字节Seed团队推出自动生成短片的Captain Cinema系统。它以剧情文字为输入，先规划关键帧，再补全画面动态合成短片。采用特殊训练法和模型，虽有局限，但为电影自动生成迈关键一步。
上线不到一年，收徒百万，首个真人级AI导师技术底牌首次曝光
2025年初，与爱为舞落地国内首个真人级AI一对一导师产品「爱学」，上线不到一年有超百万学员使用。它突破传统AI教育局限，自研全栈技术体系，从多方面打造优质AI导师，为AI Agent规模化落地定义范式。
估值7亿美元！OpenAI前高管杀进工厂，要给流水线装上AI大脑
2024年硅谷经历OpenAI高管离职潮，前首席研究官Bob McGrew联合创办Arda，将AI带入制造业工厂。Arda以7亿美元估值融资7000万，开发视频模型让机器人自主学习，统筹生产线的人与机器。不过，制造业引入AI面临挑战。
拥抱 AGI 时代的中间层⼒量：AI 中间件的机遇与挑战
文章指出大模型发展呈能力跃迁、生态开放趋势，推动AI应用从聊天机器人向组织级智能体演进。AI中间件可解决应用工程化挑战，但面临上下文管理、记忆更新等难题，短期助力应用规模化，长期或成组织智能“神经中枢”。
深圳的具身智能名片，快IPO了
4月8日，智平方完成股改，或准备IPO。当前硬科技公司上市窗口效应明显，具身智能公司IPO进程加速。深圳机器人产业发达，智平方拥有自研具身大模型，完成股改使其资本化占得先机，成为深圳具身智能名片。
陶哲轩在菲尔兹颁奖现场：数学迎来百年新危机
菲尔兹奖得主陶哲轩在ICM大会称数学迎来百年危机，上次危机是检查逻辑地基，这次是价值观地基。他以First Proof评测展示AI解数学题能力，提出“工作假设”分析数学研究目标及KPI变化和“证明过剩”问题，还给出应对之策。
一夜之间，核心决策权旁落：年入195亿的公司，未来走向何方？
近日，荷兰政府接管安世半导体，称其有治理缺陷。三名外籍高管联手让闻泰科技董事长张学政被暂停安世半导体职务。闻泰科技回应是过度干预，已启动法律与外交途径，安世在多领域有布局。