JetBrains - AI·新世界

JetBrains推出基于大语言模型生成证明的插件CoqPilot

AI编程 JetBrains推出基于大语言模型生成证明的插件CoqPilot

近年来，形式化软件验证在确保软件可靠性方面的重要性日益增加，特别是在航空航天工程、金融和医疗保健等关键领域。C...

JetBrains 推出 Mellum：专为开发者优化的大语言模型

AI编程 JetBrains 推出 Mellum：专为开发者优化的大语言模型

知名的开发工具和 IDE 提供商 JetBrains，近日推出了 Mellum，这是一个新的专有大语言模型（L...

基于OPENAI API！一个可以帮你写代码的 IDE 插件「GPT CodeHelper」

OpenAI 基于OPENAI API！一个可以帮你写代码的 IDE 插件「GPT CodeHelper」

微软近期已经将 GitHub Copilot 与 Visual Studio 进行深度整合，如果你使用其他软件...

【2023年6月28日AI晚报】JetBrains 编程 IDE 将集成 AI 助手；iOS 版 ChatGPT 集成必应搜索功能

AI科普 【2023年6月28日AI晚报】JetBrains 编程 IDE 将集成 AI 助手；iOS 版 ChatGPT 集成必应搜索功能

1、火山引擎发布“火山方舟”，加速大模型应用落地 6 月 28 日，在火山引擎主办、英伟达合作举办的“V-Te...