Gemini 发现的 softmax bug 修复方案被性质测试证伪

arXiv 新论文 2610.36427 使用 Hypothesis 性质测试复现了 Gemini 发现的 softmax bug，并证实既有修复方案仍会在边界用例中失败。论文提出的更稳健 softmax 实现通过全部测试，且支持 causal attention masking；代码与测试均已开源。