「是石科技」共找到 4789 篇相关文章
独家对话Sharpa核心团队：如何把人类的“触觉”装进机器人的身体｜甲子光年
甲子光年对话Sharpa核心团队，该团队定位是以触觉AI驱动的全栈灵巧机器人公司。团队认为触觉是机器人灵巧操作关键，介绍CraftNet创新，还提及与英伟达合作及公司运营、商业计划等。
35天，版本之子变路人甲：AI榜单太残酷！
LMSYS榜单揭示大模型残酷现实，如Claude 3 Opus从榜首暴跌，大模型“霸主保质期”仅35天，这对应用层开发者是降维打击，未来生存要么做“游击队”，要么挖掘模型无法碾压之物。
OpenAI：人&AI对齐技术应该是一个动态、双向的循环
在NeurIPS 2025上，NYU&OpenAI就Human - AI Alignment发布Tutorial。指出当前对齐像打地鼠，根源是将其当成静态、单向的，提出HAA框架，强调多元目标、人类全链路话语权及社会 - 技术系统量化监督。
谷歌24亿美元买个壳？刚发布的“下一代AI IDE”被爆“复制”Windsurf，连Bug一起
谷歌发布号称“下一代agentic开发平台”的Antigravity IDE，体验不佳遭开发者吐槽。它被指是Windsurf专有分支，谷歌曾花24亿美元获其技术授权。其创始人有新设想，但产品问题多，安全性存疑。
惊人的star数,Github 65000+, 揭秘 Strapi一个让你立刻入坑的开源项目！！！
Strapi是领先的开源Headless CMS，有超65000个GitHub Stars。它基于JavaScript/TypeScript，可让开发者灵活构建、定制API，让内容编辑轻松管理和发布内容，能解决诸多内容管理痛点。
为什么 AI 搞不定体力活——对话清华大学刘嘉：这才是生物智能最难攻克的“万里长征” | 万有引力
本文是对清华大学刘嘉教授的访谈。他回顾 AI 研究经历，谈 AI 寒冬、研究错误及第一性原理，还分析学术界与工业界差异、AI 现状与挑战，指出大模型缺创造力，人应与 AI 共进化。
刚刚，AI大牛Karpathy又提新概念：像细菌一样写代码？
AI大牛Andrej Karpathy继Vibe Coding后提出「细菌式编码」，受细菌代码启发，有小而精简、模块化、自包含特点，其核心是让代码利于共享。它适合快速原型开发，也有局限，建议兼顾两者。
刚刚，Bengio官宣创业！急筹3000万专治AI欺骗人类，图灵三巨头全下场
图灵奖得主Yoshua Bengio官宣创办非营利机构LawZero，致力于研发「设计即安全」的AI系统，以应对AI军备竞赛风险。其研发的「Scientist AI」不具行动性，目标是理解世界，防止人类陷入AI风险。
陶哲轩转发！DeepMind开源「AI数学证明标准习题集」
DeepMind开源形式化数学猜想库，收录经典数学猜想，还提供代码函数方便形式化表述。此库可作测试基准提升AI数学推理能力，是AI+ATP范式关键前置步骤，团队邀更多人参与丰富内容。
三星谈判破裂！5万人或将罢工，芯片供应链告急
据路透社5月13日报道，三星电子与韩国工会薪资谈判破裂，超5万工人或罢工，扰乱AI及其他芯片生产。双方争端核心是绩效奖金分配，工会诉求未得到解决，若不满足将在5月21日开启18天罢工。