「工具人淘汰」共找到 2887 篇相关文章
押中 Figma、Scale AI 的 Thiel Fellowship， 今年下注哪些 AI 方向？
Thiel Fellowship 由 Peter Thiel 2011 年创办，为入选者提供资金与支持。2025 年入选者地域更广，项目聚焦 AI 等领域。热门方向有 AI Infra、金融 Infra、可编程生命系统，创始人年轻、跨界、实验性强。文中还介绍了多个亮点项目。
基于MCP协议的12306购票搜索服务器项目解析（附配置流程）！
文章介绍基于MCP协议的12306购票搜索服务器项目12306 - mcp，涵盖功能特点、技术架构、服务原理、数据流程、工具及安装配置，还给出GitHub地址，助开发者提升购票查询体验。
华为海思老兵上海创业，拿到亿元投资！
过去两年汽车行业竞争激烈，智能驾驶芯片成关键领域。近日，上海为旌科技完成A2轮融资首次交割，获君信资本1亿元。其创始人郑军是海思老兵，带领公司研发多款芯片，还提出诸多行业见解。
心得分享：凭借 Cursor，数周内完成产品上线月收入过万！
网友用Cursor数周开发垃圾邮件清理工具获利，月收入近1500美元。他分享七条使用心得，如提示“自顶向下”、测试先行等，还建议关注交付效率和质量，持续迭代。
炸裂！谷歌I/O大会王者归来：Gemini“世界模型” 初现，搜索“换脑”，一句话制作原声电影
谷歌I/O 2025大会发布大量技术，虽Gemini 2.5 Ultra未到，但Pro有革新。还推出新模型、代理工具，多模态能力提升，搜索重塑，加入AI眼镜开发，倾尽全力发展AI生态。
最新！OpenAI：GPT-5将实现大统一，Codex最佳实践是这样的
OpenAI Codex在Reddit AMA活动中，核心负责人围绕先推云端代理、GPT - 5与Operator整合等问题给出路线图。如Codex - 1预览情况、CLI设计、使用场景、安全模型、接入计费及API生态等方面都有说明。
StarRocks MCP Server 开源发布：为 AI 应用提供强大分析中枢
过去，开发者让大模型用数据库查询数据需开发插件等，费时费力且难复用。StarRocks MCP Server 提供通用接口，让 LLM 标准化访问 StarRocks，执行 SQL 查询。MCP 规范模型与上下文交互，其核心组件分工明确。
2025美国艺术与科学院院士出炉！中国物理巨匠王贻芳，ImageNet作者李凯当选
2025年美国艺术与科学院新科院士公布，近250名院士来自16个国家，涵盖31个专业领域。计算机科学领域有Kai Li、Dawn Song等；物理领域有王贻芳、Donna Sheng等；神经科学领域有Yang Dan、Kang Shen等，微软CEO纳德拉也在名单中。
超越千问和TRAE Work：这款还没“满月”的AI办公产品，凭何越过混战？
AIGCRank 8月AI办公智能体榜单出现新面孔库库AI，上线不到一个月跻身前列。文中对比它和豆包工作、WorkBuddy、千问办公的功能，指出无最好的工具，需按需选择。
Specula在67个开源系统中找到382个深层bug，数月形式化验证缩短到几小时
截至2026年8月19日，Specula已在67个开源系统找出382个bug。它让coding agent自动生成TLA + 模型和正确性不变量，运行检查并复现问题，将数月的形式化验证缩短到几小时，降低了形式化方法使用门槛。