10:01
官方一手arXiv: OpenAI@Thien Le, Melanie Weber
精选
推荐理由：这篇论文证明了Vandermonde行列式偶次幂在够多变量时总缺某些单项式，用了Codex生成思路和Lean形式化，挺有意思的组合。
Vandermonde
共 1 条相关 AI 资讯
7月28日
10:01
Monical、Tokcan和Yong的猜想被证明：对每个固定偶数幂k≥4，Vandermonde行列式的k次幂在足够多变量时是非SNP的，即牛顿多面体中存在系数为零的格点。奇数幂情况由交替性保证，二次幂情况此前已知。证明利用Dyson常项恒等式，并通过有限变量Jack内积和Macdonald特殊化公式实现。构造和证明思路来自OpenAI Codex（GPT Sol 5.6 Extra High），完整对话记录在附录。Lean形式化证明已开源在GitHub。