AI顶尖初创公司几乎不发表其研究 AI顶尖初创公司几乎不发表其研究 顶尖AI公司正日益不愿发表其研究成果，这一趋势对人工智能的未来发展、合作与创新具有深远影响，原因包括竞争优势、知识产权保护、政府与军事合同以及人工智能军备竞赛。 2026-07-30 AI & Machine Learning 0 Administrator
LLM蜜罐 LLM蜜罐 LLM蜜罐是一种针对AI恶意行为者的精巧陷阱，旨在检测和缓解有害活动，通过模仿真实语言模型诱使恶意行为者交互，从而记录行为、收集情报并阻止访问。 2026-07-30 AI & Machine Learning 0 Administrator
SpecForge——一个用于编写形式规范的平台 SpecForge 是一个用于编写形式化规范的平台，旨在通过用户友好的界面和协作功能，降低形式化规范创建的门槛，提高软件质量和可靠性。 2026-07-29 AI & Machine Learning 0 Administrator
SpecForge——一个用于编写形式规范的平台 SpecForge——一个用于编写形式规范的平台 SpecForge 是一个用于编写形式化规范的平台，旨在帮助开发人员和工程师更轻松、更精确地编写规范，通过直观的编写体验、内置验证、协作和版本控制以及与现有工具的集成，使形式化规范更容易被大众所接受。 2026-07-29 AI & Machine Learning 0 Administrator
OpenAI刚刚开源了Codex Security OpenAI开源了Codex Security项目，利用AI增强软件安全，为开发者和安全专家提供新工具，通过静态代码分析、模式识别和自动报告来查找安全缺陷。 2026-07-29 AI & Machine Learning 0 Administrator
OpenAI刚刚开源了Codex Security OpenAI开源Codex安全工具，旨在识别和缓解人工智能模型中的安全漏洞，通过静态代码分析等功能，革新人工智能驱动开发时代的安全问题应对方式。 2026-07-29 AI & Machine Learning 0 Administrator
Kimi K3 通过 Telnyx 推理 API 提供 Moonshot AI 发布的 Kimi K3 大型语言模型通过 Telnyx 推理 API 正式上线，为开发者和 AI 爱好者提供高效处理复杂任务的能力。 2026-07-28 AI & Machine Learning 0 Administrator
不要向LLM请求置信度分数 大型语言模型（LLMs）无法提供置信度分数，因为它们缺乏评估自身输出的内置机制，且解释分数存在挑战。用户应通过事实核查、一致性检查和使用多个模型等方法评估LLMs的输出质量。 2026-07-28 AI & Machine Learning 0 Administrator
500美元微调9B开源模型在目录审查上击败了前沿模型 一项研究表明，一个价值约500美元的9B参数开源模型微调，在目录评论这一关键任务上超越了某些最先进的前沿模型，表明了能够解锁人工智能系统潜在能力的精细策略。 2026-07-28 AI & Machine Learning 0 Administrator
中微子-1 8B Neutrino-1 8B 是一个拥有 80 亿参数的 Transformer 模型，专注于效率和性能，易于集成，适用于多种自然语言处理任务。 2026-07-28 AI & Machine Learning 0 Administrator