· ai
[Paper] Martingale Score：一种用于大语言模型推理中贝叶斯理性的无监督度量
最近在推理技术方面的进展显著提升了大型语言模型（LLMs）的性能，提升了人们对它们在…的能力的期望。
-
- · ai
[Paper] 基于模型的诊断与多重观测：面向 C 软件和布尔电路的统一方法
调试是软件开发和电路设计中最耗时、最昂贵的任务之一。几种基于公式的故障定位（FBFL）方法……
- · ai
[Paper] 快速解码扩散语言模型通过进度感知置信调度
Diffusion 大语言模型（dLLMs）提供了一种有前景的 autoregressive 模型替代方案，但其实际效用因生成缓慢、迭代……
- · ai
NVIDIA 与 AWS 扩大全栈合作伙伴关系，提供对未来创新至关重要的安全高性能计算平台
在 AWS re:Invent 上，NVIDIA 与 Amazon Web Services 扩大了战略合作，推出了跨互连技术、云 i...
- · ai
Nevis：将 AI 引入财富管理
这篇文章《Nevis：Bringing AI to Wealth Management》首次发表于 Sequoia Capital....
- · ai
[Paper] OptPO：测试时策略优化的最优 Rollout 分配
Test-time policy optimization 使大语言模型（LLMs）能够通过利用自生成 rollouts 的反馈来适应 distribution shifts。然而，...
- · ai
Mistral 通过新开放权重前沿和小模型逼近大型 AI 竞争对手
Mistral 推出其 Mistral 3 系列，包括前沿模型和为离线、可定制的企业使用而设计的高效小模型——旨在证明……
- · ai
[Paper] 并行思考，统一回答：Logit Averaging for 开放式推理
多数投票已被证明在封闭式问答中通过聚合并行推理轨迹而有效。然而，它并不直接适用于开放式……
- · ai
6 款改变游戏规则的 AI 模型，定义了 2025 💥
1. Claude 4.5：冷静清晰的思考者 🧘♂️📘 Claude 的优势——Agentic AI：能够推理、规划并执行多步骤任务，几乎不需要监督……
- · ai
他们的工作是阻止 AI 摧毁一切
2020年5月的一个夜晚，在封锁最严峻的时期，Deep Ganguli感到担忧。当时，Ganguli是斯坦福人本人工智能研究所（Stanford Institute for Human-Centered AI）的研究主任，……
- · ai
Mistral 3 模型系列已发布
文章链接: https://mistral.ai/news/mistral-3 评论链接: https://news.ycombinator.com/item?id=46121889 得分: 138 评论数: 38
- · ai
Stack Overflow 提供 AI Assistant 用于验证代码
Stack Overflow 今天正式推出了一款人工智能 AI 工具，使用户能够使用自然语言搜索其代码库中的 c...