「可验证计算」共找到 5100 篇相关文章
卖Token也不是稳赚不赔！硅基流动招股书来了
硅基流动向港交所提交上市申请，剑指港股「AI Token工厂第一股」。它将异构算力等封装成Token供应服务，2025年营收增653.2%，但亏损也扩大，公有云业务成本压力明显，生意待市场检验。
清华发布智能体社会AgentSociety第二代：让社会科学研究真正「跑起来」
AgentSociety²是清华团队推出的社会科学研究新工具，让AI扮演研究助手和实验参与者角色。它打通研究断点，实现从「社会模拟」到「可执行社会科学」的转变，还构建工作流、创新实验环境和智能体设计。
用 LLM Wiki 给自己搭一个会越用越值钱的第二大脑
这是基于Andrej Karpathy的LLM Wiki模式构建的开源项目，能方便实现第二大脑。上传资源后Claude会主动提取实体、建立概念网络，知识会‘自己生长’，用得越久边际价值越高。还介绍了安装及使用方法。
突发！卡帕西宣布入职Anthropic
大神Karpathy宣布加入Anthropic，重回一线大厂。他曾多次在AI领域转换角色，此次将加入预训练团队，开展用Claude加速自身预训练研究。外界揣测其离开OpenAI原因，加入Anthropic能为研究提供更多资源。
王云鹤眼中的Harness：复杂优化问题，AGI灵魂争夺之战
王云鹤在知乎文章中探讨Harness Engineering，指出Agent=Model+Harness，多模型配合能提升Agent能力。还分析Harness存在的必要性，认为它是复杂优化问题，关乎AI“灵魂”之争。
小企业专属Claude来了！一键接入全套业务流，不用写代码AI自动算账催款
Anthropic推出Claude for Small Business，是全新连接器和工作流包，可嵌入小企业常用工具。操作简便，覆盖多领域，有安全保障，还配套培训课程和线下活动。
机械手成精了：能变形、能爬行、自己抓东西，全程无人操控
武汉大学高霄团队设计出可拆卸爬行机械手，能像普通机械手抓取物体，还能脱落爬行够取远处物品。其完成全套取物任务，未来有望用于工厂、救援、家庭等场景。
ThinkingAI硅谷首秀，发布企业级Agent平台Agentic Engine｜甲子光年
美国当地时间4月16日，ThinkingAI在硅谷举办发布会，宣布更名并发布企业级Agent平台Agentic Engine，还与Minimax达成合作。该平台有行动闭环、全域感知、私有化部署三项核心能力，能让系统替企业完成业务全流程。
The Batch: 942｜暗基因组揭秘
AlphaGenome 能解读人类和小鼠基因组中 98% 不编码蛋白质部分，识别多项特征。它经预训练和知识蒸馏，在多项评测超早期模型，API 等免费用于非商业，助研究基因组与生物过程联系。
首席工程师之路：培养领导力
Sophie Weston 在 QCon 伦敦大会演讲称，成为首席工程师不仅要技术能力，还需影响力等。工作外如体育运动等能提升领导潜力，还建议融入科技社区、公开演讲，这些效果会成倍增长。