「正式证明搜索」共找到 1052 篇相关文章
社区供稿 | Hugging Face x 北京中关村学院等机构联合发布生成式基因组大模型Carbon：一场关于“生命语言”的范式革命
北京中关村学院等联合发布生成式基因组大模型Carbon并开源。Carbon家族有三个版本，旗舰模型Carbon - 3B在多任务匹敌70亿参数的Evo2 - 7B，运行速度快275倍。它在数据、分词、训练上有创新，还实现技术普惠，有多种应用场景。
国产多模态Agent拿下医学分割SOTA！不用改模型、不加token | 浙大&上海AI Lab
现有医学多模态大模型在分割生物医学图像时存在瓶颈，浙大蔡钰祥教授、上海AI Lab江彦开等人提出IBISAgent框架，将分割定义为多步视觉决策过程，实验显示其在多数据集上大幅领先对比方法。
首篇全新情景认知视角的大模型Agent综述
中科大的这篇Survey从全新情景认知视角对大模型Agent进行综述，给出Agent本质，介绍Agentic AI定义、大模型五层演化理论等，还以OpenClaw为例说明，旨在提供理解框架与未来方向。
人形机器人「网球运动员」来了！不靠预编程，银河通用×清华破解长程打网球难题
银河通用与清华联合提出LATENT研究，使人形机器人通过深度强化学习自主习得网球对打能力，实现从“机械复刻”到“智能决策”跨越。该研究提出新运动学习方法，构建“运动小脑”等，经实验验证性能优越。
Moltbook 指数级异变，人类文明系统彻底崩盘！「未来简史」终章降临
著名人类学者赫拉利警告，AI攻破人类语言防线将接管人类文明。Moltbook出现证明AI掌握语言，2030年AI、合成现实、神经连接三大革命或颠覆人性，人类核心竞争力被瓦解。
我扒开Clawdbot的底层架构，简单到离谱，你看完就能自己写。
近期Clawdbot让科技圈震惊，作者花一下午分析其架构和源码后发现，它简单到看完文章就能自己写。它是电脑进程，消息处理分六步，记忆靠写文件，操作电脑有三类工具，无黑科技。
我做了 Claude Code 的Raycast ,Skills 1秒启动
作者因使用Claude Code的Skills功能繁琐，花一晚开发了SkillLauncher快速启动器。它有全局快捷键、智能搜索等功能，安装和使用简便，全开源，适合Claude Code重度用户。
给还在大厂工作的朋友 21 条忠告
Addy Osmani分享《在谷歌14年得到的21条教训》，涵盖工程师工作多方面，如解决用户问题、达成共识、偏向行动、清晰表达等，对大厂工作者有指导意义。
Meta新任副总裁：Manus创始人肖弘，90后
Meta正式收购AI智能体初创公司Manus，创始人肖弘出任Meta副总裁，交易金额或达数十亿美元。Manus技术强、营收高，其加入将助Meta打造AI产品，收购具象征意义。
更多非共识，Test-time Scaling 能否一直大力出奇迹？
机器之心PRO会员通讯解读三个AI业内要事，包括Test - time Scaling非共识、Skills与MCP谁是大模型的HTTP时刻、OpenAI打造最强平台等问题，探讨流行路线局限、Scaling改进方向等。