打破破产谣言！具身智能机器人研发商「优理奇UnixAI」完成天使+轮融资
优理奇 UnixAI 完成数亿元天使+轮融资，聚焦具身智能研发。公司致力于构建高效率的多模态感知模型和低成本本体模块，推动机器人服务普及。
谷歌DeepMind推出最强AI手语翻译模型SignGemma了
无声者的AI翻译工具SignGemma改变了手语识别和翻译技术，使聋人群体能够直接通过手势操控设备，推动了原生手语交互界面、聋人文化数字新大陆以及多元人机交互革命的发展。
Redis 之父：哪怕被喷我也得说，AI 远远落后于人类程序员！开发者跟评：用大模型气得我自己写代码都有劲儿了
tore Sanfilippo 近日分享了自己的一次研发经历并直接表达了自己的观点：人类程序员仍比大
阿里通义开源「推理+搜索」预训练新框架：小模型媲美大模型，多个开放域问答数据集表现显著提升
阿里通义实验室发布MaskSearch预训练框架，提升大模型推理搜索能力，在多个开放域问答数据集上显著性能提升。该框架结合检索增强型掩码预测任务与监督微调、强化学习两种训练方法。
机器人企业「乐动机器人」在港交所提交上市申请
乐动机器人于5月30日向港交所提交上市申请，拟筹资用于技术研发与市场拓展。该公司专注于智能机器人研发，已获多家知名机构投资，并推出多款产品，如智能割草机器人，2024年实现量产1万台。
陶哲轩转发！DeepMind开源「AI数学证明标准习题集」
DeepMind发布形式化数学猜想库，收录多种形式化的数学猜想。该资源库旨在帮助AI提升数学推理及证明能力，并有望成为自动定理证明或形式化工具的测试基准。
