arXiv 撤下机器学习势安全证书论文
热点事件持续更新
arXiv 撤下机器学习势安全证书论文
1 篇报道1 个报道来源9 小时前更新
先了解这件事
AI 综述
arXiv 管理员撤下了一篇提出 Proof-Carrying Materials（PCM）的论文，撤稿说明给出的理由是该稿不符合 arXiv 的研究内容质量标准。 该论文称，若把单个机器学习原子间势（MLIP）用作稳定性筛选，会漏掉 93% 的密度泛函理论（DFT）稳定材料；PCM 据此提出分三阶段补上这一缺口：对抗性证伪、95% 置信区间自助包络细化，以及用 Lean 4 形式化认证。
AI 根据报道生成 · 3 小时前更新
报道时间线
沿着报道，了解事件的不同侧面。
11月2日
- arXiv · cs.AIarXiv 撤稿：Proof-Carrying Materials 用 Lean 4 为机器学习原子间势提供可证伪安全证书
arXiv 管理员撤下了一篇提出 Proof-Carrying Materials（PCM）的论文，该稿因不符合 arXiv 研究内容质量标准被撤回。论文称单个机器学习原子间势（MLIP）作稳定性筛选会漏掉 93% 的密度泛函理论（DFT）稳定材料，PCM 通过对抗性证伪、95% 置信区间自助包络细化和 Lean 4 形式化认证三阶段补上这一缺口。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。