每天听简报，了解最新科技、AI、软件资讯
OpenAI 的数学预印本，让研究选择公理的学者 Asaf Karagila 质疑起了解释成本。十月八日，他批评分割原理相关论文结构混乱，连研究这一领域十五年的他，也难以快速看清证明思路。他认为作者应该先找领域专家改进表达，不能把梳理工作的负担留给同行。他也明确说，自己没有检查用于形式化证明的 Lean 代码。这份批评没有裁定证明真假。评论区有人认为形式化成果仍有价值，也有人认同，论文得先让同行能够理解和继续研究。
进度保存在本设备 · 登录同步