Two kernels check OpenAI's Lean proof on Siegel zeros

Oct 10, 2026 0 views

We rebuilt OpenAI's Lean proof from source and checked it with Lean's kernel and with nanoda, an independent kernel