「科研工具」共找到 2203 篇相关文章
76%程序员依赖AI？代码安全挑战解析
GitHub报告显示76%程序员用AI编程，代码安全成挑战。腾讯等团队建A.S.E评测框架，有项目级代码生成等优势，能评估代码安全、质量与稳定性，未来将扩充功能，邀开发者参与。
刚刚，斯坦福宣布发起首个AI 主导学术会议
斯坦福大学James Zou教授宣布Agents4Science 2025会议，这是首个要求AI作主要作者和审稿人的学术会议。会议玩法独特，有三大目标，顾问委员会豪华，引发网友热议，将于2025年10月22日虚拟举行。
LLM提示三剑客：解密CoT、ReAct、DSP如何提升AI准确率？
LLM提示分思维链（CoT）、ReAct和声明式自我提示（DSP）三类。CoT鼓励模型推理，适合多步骤复杂问题；ReAct结合推理与动作，是代理基础；DSP让模型声明计划，用于模块化任务。还给出使用场景与对比。
从输入指令到代码落地：Cline AI 源码浅析
文章从源码角度剖析 Cline AI 将自然语言指令转化为编程任务的过程，包括启动调试、前端输入、主进程处理、任务初始化、构建提示、模型请求等环节，指出核心是 prompt 组装和 tools 调用。
恐怖的 361k+ star！这应该是我见过最给力的宝藏项目，全网最全！
介绍GitHub上的开源项目`free-programming-books`，它汇集海量免费编程学习资源，涵盖编程语言、框架、工具等多方面，有361k+ star。资源广、更新快、结构清、支持多语言，使用简单。
WWDC 2025 让大家“失望”了？no！苹果在下一盘AI大棋
苹果WWDC 2025未推出预期AI应用矩阵，股价下跌引失望。但实则是深思熟虑之举，它开放端侧模型及工具，让开发者创新，规避风险，待AI成熟凭借优势“后发先至”。
1万4颗星！机械臂可以接大模型了！面向真实世界机器人的尖端人工智能LeRobot
LeRobot 为 PyTorch 中真实世界机器人提供模型、数据集和工具，降低入门门槛。包含尖端方法，已提供预训练模型等，未来将增加真实机器人支持，文中还介绍其安装、使用等内容。
图灵奖得主Bengio再创业：启动资金就筹集了3000万美元
图灵奖得主Yoshua Bengio官宣再创业，成立非营利组织LawZero构建下一代AI系统，不做Agent。已筹3000万美元启动资金，要做“设计即安全”的AI，以监督Agent，将安全性置于商业利益之上。
Meta 开源 Pyrefly，Rust 中的高性能 Python 类型检查器
Meta 开源处于 alpha 阶段的 Pyrefly，它是用 Rust 编写的高性能 Python 类型检查器，灵感源于 Pyre 等工具，旨在取代 Instagram 代码库的 Pyre。它性能出色，还计划今年夏天进 beta 阶段。
文旅新玩法！藏师傅教你做食物微缩景观宣传海报&视频
作者玩 Gpt - 4o 图片生成时，用食品做键盘图，又结合食物与城市做微缩场景海报，还用 Veo3 做微缩景观生长动画，给出各工具提示词，鼓励大家尝试。