机器之心报道编辑：陈陈、小舟AI 辅助编程工具这条赛道越来越卷了。新晋 AI 编程神器 Cursor，终于迎来了一次备受关注的版本更新，Cursor 0.43 来了。新版本最大亮点之一是推出了 Composer Agent 功能，其具有完整的项目理解 ...

采用”数学家+AI（包括自动定理证明系统和大模型）+证明辅助语言Lean”这样的协作方式，构建一个展示 4694个 magma等式 （最多四次使用magma操作） 之间所有蕴含关系的 “蕴含图”。

Cursor出圈的的一个重要原因是有Claude 3.5 Sonnet的加持，让AI辅助编程进入到了一个全新阶段，这也导致很多人开始弃用GitHub Copilot，Github因此感受到了 ...

第十届GitHub开发者大会上，微软官宣GitHub Copilot同时接入Claude 3.5 Sonnet和Gemini 1.5 Pro两大模型。同时，还发布了0代码开发应用的「魔法」平台。

在2024年的GitHub Universe大会上，GitHub推出了一系列激动人心的AI创新，旨在提升开发者的自主性并强化其使用人工智能的能力。这些新工具与功能定位于帮助开发者（尤其是初学者）在编程领域中更有效地运用AI，从而推进编码的民主化。

总之，GitHub Universe 2024展示了一个基于AI的新编程生态，通过不断创新和探索，GitHub希望能为每一位开发者提供更有力的工具，让他们在这个AI驱动的时代中，实现更多的可能性。在这个过程中，简单AI作为一个强大的辅助工具，将成为每一个开发者打开创作之门的有效助手。 返回搜狐，查看更多 ...

未来几周内，Anthropic 的 Claude 3.5 Sonnet 将率先集成到 Copilot Chat 的 Web 和 VS Code 界面中，随后谷歌的 Gemini 1.5 Pro 也将加入。此外，GitHub 还将支持更多 OpenAI 模型，包括 GPT o1-preview 和 o1-mini，这些模型在高级推理方面比 GPT-4 更强大。

首先，GitHub Copilot 将登陆 Windows Terminal。通过与 Windows Terminal Canary 版本中的终端聊天功能结合，开发者可以直接在终端内获得来自 Copilot 的命令建议和解释。此功能适用于所有 Copilot 个人版、商业版和企业版用户。

编辑：编辑部 LHYj 【新智元导读】OpenAI再也不是微软的唯一解。第十届GitHub开发者大会上，微软官宣GitHub Copilot同时接入Claude 3.5 Sonnet和Gemini 1.5 Pro两大模型。同时，还发布了0代 ...

GitHub本周发布了其年度“Octoverse现状”报告。报告中指出，尽管像Rust这样的系统编程语言也在崛起，但Python、JavaScript、TypeScript和Java仍然是GitHub上使用最广泛的语言。事实上，2024年Python ...

微软Copilot 荣获2024世界互联网大会领先科技奖,科技奖,微软,互联网大会,博士,copilot,区总裁 ...