热点事件持续更新
Gemini 发现的 softmax bug 及其修复方案被性质测试证伪
1 篇报道1 个报道来源2 小时前更新
先了解这件事
AI 综述
早先有报道称，Gemini 发现了一个 softmax 实现中的 bug，并提出了相应修复方案。2026 年 10 月 28 日的报道显示，arXiv 新论文 2610.36427 用 Hypothesis 性质测试复现了该 bug；论文同时证伪了此前提出的修复方案，因为测试发现该方案在一个边界用例上仍会失败。为此，论文给出一个更稳健的 softmax 实现，它通过了全部测试，并支持 causal attention masking，代码与测试均已开源。
AI 根据报道生成 · 2 小时前更新
最新进展10月28日 14:09
arXiv 论文用 Hypothesis 性质测试复现该 softmax bug，证伪旧修复方案，并给出通过全部测试的开源实现。报道时间线
沿着报道，了解事件的不同侧面。
10月28日
- AGI HuntGemini 发现的 softmax bug 修复方案被性质测试证伪
arXiv 新论文 2610.36427 用 Hypothesis 性质测试复现了 Gemini 发现的 softmax bug，并证伪了此前提出的修复方案。测试还发现该修复方案在一个边界用例上仍会失败。论文给出更稳健的 softmax 实现，通过全部测试并支持 causal attention masking，代码与测试已开源。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。