「MCP工具链」共找到 2369 篇相关文章
突破125年世纪难题！北大校友联手科大少年班才子破解希尔伯特第六问题
1900年希尔伯特提出23个数学难题，其中第六个‘物理学的公理化’被称为数学物理的终极挑战。125年后，北大校友邓煜、中科大少年班马骁与陶哲轩高徒扎赫尔・哈尼在该问题上取得重大突破，填补了牛顿力学与玻尔兹曼方程间的逻辑鸿沟。
WWDC 2025 让大家“失望”了？no！苹果在下一盘AI大棋
苹果WWDC 2025未推出预期AI应用矩阵，股价下跌引失望。但实则是深思熟虑之举，它开放端侧模型及工具，让开发者创新，规避风险，待AI成熟凭借优势“后发先至”。
1万4颗星！机械臂可以接大模型了！面向真实世界机器人的尖端人工智能LeRobot
LeRobot 为 PyTorch 中真实世界机器人提供模型、数据集和工具，降低入门门槛。包含尖端方法，已提供预训练模型等，未来将增加真实机器人支持，文中还介绍其安装、使用等内容。
Cursor这波1.0升级，真的要把程序员饭碗摔碎了~
今天Cursor 1.0硬核发布，跨越多个版本。它集成主流MCP、Memory、Agent技术，有BugBot自动代码审查等功能，支持Jupyter Notebook集成，聊天界面体验也更丰富，大幅提升开发生产力。
Meta 开源 Pyrefly，Rust 中的高性能 Python 类型检查器
Meta 开源处于 alpha 阶段的 Pyrefly，它是用 Rust 编写的高性能 Python 类型检查器，灵感源于 Pyre 等工具，旨在取代 Instagram 代码库的 Pyre。它性能出色，还计划今年夏天进 beta 阶段。
快速理解热门LLM大语言模型
本文用通俗易懂方式帮读者理解LLM、Transformer、Prompt等基本概念，介绍大模型API使用，如温度参数、角色设定等，还提及Function Calling、Agent、MCP等内容，并对AI未来发展作出假想。
文旅新玩法！藏师傅教你做食物微缩景观宣传海报&视频
作者玩 Gpt - 4o 图片生成时，用食品做键盘图，又结合食物与城市做微缩场景海报，还用 Veo3 做微缩景观生长动画，给出各工具提示词，鼓励大家尝试。
Arc浏览器创始人复盘：为何放弃百万用户及产品，押注AI浏览器？
Arc浏览器曾是新星，有上百万高粘性用户。2024年10月创始人透露将开发新AI-Native浏览器Dia，Arc进入维护状态。创始人复盘Arc错误，阐述转型原因，认为传统浏览器将消亡，Dia有机会成桌面端主流AI界面。
阿里发布新版 Qoder：做每个人的编程智能体工作台，一手实测！
本文是对阿里新版Qoder的一手实测，新版Qoder从面向专业开发者的AI IDE，转型为面向全岗位的编程智能体工作台，支持自定义模型，探讨了AI Agent下半场的竞争方向。
Claude骂声中启动「隐形水印」：新模型全量嵌入，标记所有文字
Anthropic宣布新款Claude将在生成文本中嵌入隐形水印，还会给特定文件附加数字签名元数据，全球统一施行。此前A社就用Unicode贴暗标，虽称不影响生成质量，但遭质疑。