[KongchangAI]

Entity Directory

Companies, models, products, people, concepts, benchmarks and papers in the AI domain

4231 个实体
💡

Agent

Concept

Agent(智能体)是人工智能领域中能够感知环境、自主决策并采取行动以完成目标的程序或系统。其核心特征包括:具备自主性,可在无持续人工干预下运行;具备目标导向性,能规划并执行多步骤任务;以及工具调用能力,可与外部系统或API交互。Agent广泛应用于任务自动化、对话系统、编程辅助等场景。

979 mentions
🏢

OpenAI

Company

OpenAI是一家专注于人工智能研究与开发的美国科技公司,致力于构建安全、有益的通用人工智能系统。其主要业务涵盖大型语言模型(如GPT系列)、代码生成模型(如Codex)及图像生成模型(如DALL·E)的研发,并通过API向外部开发者和企业提供AI能力服务。公司以推动AI安全性与可解释性研究为重要使命之一。

871 mentions
🏢

Anthropic

Company

Anthropic是一家美国人工智能安全公司,专注于大型语言模型的研究与开发。其代表性产品为Claude系列AI助手模型。公司以AI安全为核心研究方向,致力于开发可解释、可靠且符合人类价值观的人工智能系统,由前OpenAI研究人员于2021年创立。

816 mentions
💡

LLM

Concept

大语言模型(Large Language Model,LLM),是基于深度学习技术、经过海量文本数据训练的自然语言处理模型。其核心能力包括文本理解、生成、推理与对话,能够处理翻译、摘要、代码生成、问答等多种语言任务。LLM通常采用Transformer架构,参数规模从数十亿到数千亿不等,是当前人工智能应用的重要基础组件。

574 mentions
🏢

Google

Company

Google是美国跨国科技公司,成立于1998年,总部位于加利福尼亚州。其核心业务涵盖互联网搜索引擎、在线广告、云计算、操作系统及硬件产品,旗下产品包括Google搜索、Chrome浏览器、Android操作系统、YouTube及Google Cloud等。Google隶属于母公司Alphabet Inc.,是全球最具影响力的科技企业之一,同时在人工智能领域持续开展研究与产品开发。

537 mentions
💡

AI编程

Concept

AI编程是指借助人工智能技术辅助或部分自动化软件开发过程的技术范式。其核心能力包括代码生成、智能补全、错误检测与修复、代码审查及自然语言转代码等。该范式通常以大型语言模型为基础,融入开发工具或集成开发环境中,旨在提升开发效率、降低编程门槛,适用于代码撰写、调试、文档生成等多个软件工程环节。

536 mentions
📦

Claude Code

Product

Claude Code是由Anthropic开发的AI编程辅助工具,基于Claude大语言模型构建。它能够帮助开发者完成代码生成、代码补全、错误调试、代码解释及重构等编程任务,支持多种编程语言。该工具可集成于主流开发环境中,通过自然语言交互方式提升编程效率,适用于个人开发者及专业软件工程师。

532 mentions
🧠

Claude

Model

Claude是由人工智能安全公司Anthropic开发的大语言模型系列。该模型具备自然语言理解与生成、多轮对话、文本摘要、代码编写及分析等能力,适用于问答、写作辅助、编程支持等多种场景。Claude在设计上注重安全性与可靠性,以"宪法AI"等技术方法为基础,致力于生成符合人类价值观的输出内容。

471 mentions
📦

Cursor

Product

Cursor是一款面向开发者的AI驱动代码编辑器,基于VS Code构建,深度集成大型语言模型能力。其核心功能包括智能代码补全、自然语言编程指令、多文件上下文理解以及AI辅助代码生成与重构,旨在通过人机协作方式提升软件开发效率。Cursor支持多种主流编程语言,并兼容VS Code的插件生态。

419 mentions
💡

Token

Concept

Token是自然语言处理和大语言模型中文本的基本处理单元,由分词器(Tokenizer)将原始文本切分而成,可对应一个单词、子词、字符或标点符号。模型在处理输入和生成输出时均以Token为单位进行计算,Token数量直接影响模型的上下文窗口限制、推理速度及API调用费用。不同语言和模型的Token划分规则存在差异。

400 mentions
🧠

GPT

Model

GPT(Generative Pre-trained Transformer)是由OpenAI开发的大规模预训练语言模型系列,基于Transformer架构,通过在海量文本数据上进行无监督预训练后经微调使用。该模型系列具备自然语言理解与生成能力,可执行文本续写、问答、摘要、翻译、代码生成等多种任务,是自然语言处理领域的代表性基础模型之一。

366 mentions
📦

GitHub

Product

GitHub是一个基于Git版本控制系统的代码托管与协作平台,由微软旗下运营。它支持开发者托管、管理和分享代码仓库,提供Pull Request、Issue跟踪、代码审查等协作工具,并集成持续集成/持续部署(CI/CD)功能。GitHub也是全球最大的开源软件社区之一,广泛用于个人项目、团队开发及开源项目协作。

362 mentions
📦

ChatGPT

Product

ChatGPT是由OpenAI开发的对话式人工智能助手,基于大型语言模型(GPT系列)构建。用户可通过自然语言与其进行多轮对话,支持文本生成、问题解答、代码编写、翻译、摘要等多种任务。ChatGPT具备上下文理解能力,能够在连续对话中保持语境一致,广泛应用于个人辅助、内容创作及开发者工具等场景。

312 mentions
💡

上下文管理

Concept

上下文管理是指在信息处理或对话系统中,对相关背景信息(上下文)进行维护、存储与调度的机制和策略集合。其核心目标是确保系统在处理请求时能够访问必要的历史信息与状态数据,常见手段包括上下文缓存、压缩与摘要、历史记录维护及生命周期控制等,广泛应用于编程语言运行时、操作系统及AI对话系统等领域。

302 mentions
💡

RAG

Concept

检索增强生成(Retrieval-Augmented Generation,RAG)是一种结合信息检索与大语言模型生成能力的人工智能技术框架。其核心机制是在生成回答前,先从外部知识库中检索相关文档或片段,将其作为上下文输入模型,从而使模型能够利用最新或领域专属知识进行回答,有效缓解大语言模型的幻觉问题和知识截止局限性。

287 mentions
💡

MCP

Concept

Model Context Protocol(MCP)是一种开放协议标准,由Anthropic提出,旨在规范大型语言模型(LLM)与外部工具、数据源及服务之间的上下文交互方式。MCP定义了模型如何请求、接收和使用外部上下文信息,支持工具调用、资源访问等能力,使AI应用能够以标准化方式集成多种外部系统,提升模型的可扩展性与互操作性。

284 mentions
💡

大模型

Concept

大模型(Large Model)是指基于深度学习技术、具有大规模参数量的机器学习模型,涵盖语言、视觉、多模态等多种类型。其通过在海量数据上进行预训练,获得通用的知识表示与推理能力,可通过微调或提示工程适配问答、生成、分类、翻译等多种下游任务,是当前人工智能领域的主流技术范式之一。

271 mentions
🏢

Microsoft

Company

微软(Microsoft)是一家美国跨国科技公司,由比尔·盖茨和保罗·艾伦创立,总部位于华盛顿州雷德蒙德。公司主要从事操作系统、办公软件、云计算服务及硬件设备的研发与销售,核心产品包括Windows操作系统、Office办公套件及Azure云平台。微软是全球最大的软件公司之一,业务涵盖消费级与企业级市场,并积极布局人工智能领域。

265 mentions
📦

GitHub Copilot

Product

GitHub Copilot是由GitHub与OpenAI联合开发的AI辅助编程工具,集成于代码编辑器中,能够根据上下文自动补全代码、生成函数及提供编程建议。该工具基于大型语言模型训练,支持多种主流编程语言,可在Visual Studio Code等主流开发环境中使用,旨在提升开发者的编码效率。

261 mentions
🧠

DeepSeek

Model

DeepSeek是由深度求索公司开发的大语言模型系列,具备自然语言理解与生成、代码编写、逻辑推理等核心能力。该系列模型以高性能与高效率为主要特征,支持多种自然语言处理任务,包括对话、问答、文本摘要及复杂推理,面向研究与商业应用场景提供开放或闭源版本。

259 mentions
💡

Prompt Engineering

Concept

Prompt Engineering(提示工程)是一种面向大型语言模型及生成式AI系统的交互设计方法论,核心在于通过系统性地构建、调整和优化输入提示词(Prompt),引导模型产生准确、相关且符合预期的输出结果。其关键特征包括:对语言模型行为的精细控制、对任务指令的结构化表达,以及在不修改模型参数的前提下提升模型性能与可用性。广泛应用于文本生成、问答、代码生成、推理等多类AI任务场景。

252 mentions
🧠

Gemini

Model

Gemini是Google DeepMind开发的多模态大语言模型系列,能够理解和生成文本、图像、音频、视频及代码等多种形式的内容。该系列涵盖不同规模的版本(如Ultra、Pro、Flash、Nano),可部署于云端服务及移动端设备,广泛应用于对话助手、内容生成、编程辅助等场景,是Google核心AI产品和服务的基础底层模型。

230 mentions
💡

Python

Concept

Python是一种通用的高级编程语言,以简洁易读的语法著称。它支持多种编程范式,包括面向对象、函数式和过程式编程,拥有丰富的标准库和第三方生态系统。Python广泛应用于数据科学、机器学习、Web开发、自动化脚本及科学计算等领域,是全球使用最广泛的编程语言之一。

220 mentions
📦

OpenAI Codex

Product

OpenAI Codex是由OpenAI开发的人工智能代码生成模型,能够理解自然语言指令并将其转换为多种编程语言的代码。它基于大型语言模型训练,支持代码补全、调试、解释及跨语言转换等功能,可集成至开发工具和API接口中,广泛应用于辅助软件开发、自动化编程任务及降低编程门槛等场景。

217 mentions

High-Confidence Claims

verified90%12 sources

GPT-6 Astra的API模型标识为gpt-6-astra

GPT-6 Astra
verified90%9 sources

Vercel AI SDK 采用 Monorepo 单一代码仓库管理模式,核心包 ai 与各框架适配包(如 @ai-sdk/vue、@ai-sdk/react、@ai-sdk/svelte)协同发布

Vercel AI SDKMonorepo
verified90%8 sources

Vercel AI SDK 的 GitHub 仓库累计获得超过 26.6k 的 Star 和 5.1k 的 Fork

Vercel AI SDKGitHub
verified85%5 sources

纳维-斯托克斯方程的存在性与光滑性问题是克雷数学研究所2000年设立的七大千禧年难题之一,每题悬赏100万美元

克雷数学研究所纳维-斯托克斯方程
verified85%1 sources

Anthropic称Opus 5是迄今最对齐的模型,遵守宪法程度超过Sonnet 5和Fable,欺骗行为率最低

Claude Opus 5Anthropic
verified80%8 sources

DeepSeek Harness采用TypeScript编写

verified80%4 sources

Vercel 发布了 @ai-sdk/vue@3.0.276 版本更新,属于补丁级别更新

Vercel@ai-sdk/vue
verified80%4 sources

开放权重(open weights)区别于完全开源(open source),前者公开模型参数但不一定公开训练数据和完整训练代码

open weightsopen source
verified80%4 sources

OpenAI将GPT-6 Astra定位为'能力上的世代级飞跃'

OpenAIGPT-6 Astra
verified75%3 sources

大模型推理的瓶颈往往不在算力而在内存带宽,GPU的算力利用率在推理阶段往往不到峰值的10%

Memory Wall
verified75%3 sources

Ollama提供类似Docker的一键式模型管理体验,vLLM通过PagedAttention实现高吞吐量批量推理,LM Studio面向桌面用户提供图形化界面

OllamavLLMLM Studio
verified75%3 sources

OpenAI宣称其AI系统在纳维-斯托克斯方程问题上取得了突破性进展

OpenAI纳维-斯托克斯方程
verified75%3 sources

多租户是云计算服务的基础架构模式,指多个租户共享同一套底层计算资源和软件实例,但彼此的数据逻辑上完全隔离

多租户
verified75%3 sources

工具性趋同理论认为无论AI最终目标为何,自我保存、目标完整性、认知增强和资源获取等子目标会在足够智能的优化下自然涌现,而无需被编程

工具性趋同
verified75%3 sources

截至2024年,CUDA开发者社区已超过400万人,基于CUDA优化的软件库超过900个

CUDA英伟达
verified75%3 sources

NVIDIA的H100/A100 GPU占据AI市场约80%份额

NVIDIAH100A100
verified75%3 sources

ONNX Runtime 是微软主导开发的开源机器学习推理与训练加速引擎

ONNX Runtime微软
verified75%3 sources

Lean是由微软研究院的Leonardo de Moura开发的交互式定理证明器,基于依赖类型论

LeanLeonardo de Moura微软研究院
verified75%3 sources

OpenAI设有超级对齐(Superalignment)团队,由联合创始人Ilya Sutskever共同领导,计划用四年时间投入公司20%的计算资源解决超级智能控制问题

OpenAIIlya SutskeverSuperalignment
verified75%3 sources

千禧年大奖难题由克雷数学研究所于2000年设立,包含七大数学难题,每题解决可获得100万美元奖金

克雷数学研究所千禧年大奖难题