实体 Kullmann

Kullmann

PulseAugur coverage of Kullmann — every cluster mentioning Kullmann across labs, papers, and developer communities, ranked by signal.

总计 · 30天

1

90 天内 1

发布 · 30天

0

90 天内 0

论文 · 30天

1

90 天内 1

层级分布 · 90 天

主题

情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条

TOOL · CL_330450 · Oct 29 · 20:46

数学家通过Lean 4内核验证的证明证实W(2;3,21) = 416

一个重要的数学猜想W(2;3,21) = 416已通过名为Lean 4的形式验证系统得到证明。该证明经过内核验证，解决了Kullmann于2010年提出的问题，此前该问题列在DeepMind的形式猜想列表中。证明涉及超过209个案例和数百万个公式，由LRAT检查器cake_pr执行验证。