GitHub Copilot
GitHub Copilot 推出视觉功能：图片可秒变代码
GitHub 宣布了其 AI 编程助手 Copilot 的一系列重大更新，此次更新中最引人注目的功能之一是 Copilot 的“Vision”功能。该功能允许用户在聊天中上传截图、照片或图表，Copilot 将基于这些图像生成相应的界面、代码以及替代文本（alt text），从而将用户的视觉想法转化为实际的编程成果。
更新了！带Agent的Cursor太疯狂了
AI 辅助编程工具这条赛道越来越卷了。 新晋 AI 编程神器 Cursor，终于迎来了一次备受关注的版本更新，Cursor 0.43 来了。 新版本最大亮点之一是推出了 Composer Agent 功能，其具有完整的项目理解 / 编辑能力。
o1之后，GitHub又接入Claude、Gemini，网友：也杀不死Cursor
那些转到 Cursor 的用户，会不会又被吸引过来呢？ 从今天起，GitHub Copilot 用户可以有更多模型选择了。 包括 Anthropic 的 Claude 3.5 Sonnet、Google 的 Gemini 1.5 Pro 以及 OpenAI 的 o1-preview 和 o1-mini，这些模型首先在 Copilot Chat 中推出。
陶哲轩上手Copilot：不可思议，它能从定理名字猜出我想要的方向
尝鲜 GPT-4 之后，陶哲轩又用上了 Github Copilot。这一次，他的试用场景是学习 Lean 语言并利用其形式化数学定理。对于大模型来说，形式化的定理证明也算一种挑战。形式化证明本质上是一种计算机程序，但与 C 或 Python 中的传统程序不同，证明的正确性可以用证明助手（比如 Lean 语言）来验证。定理证明是代码生成的一种特殊形式，在评估上非常严格，没有让模型产生幻觉的空间。而陶哲轩提到的定理，来自 10 月 9 日的一篇论文：论文中的这个证明只有不到一页，但陶哲轩的形式化证明使用了 200
- 1