{"type":"analysis","id":"analysis:research-openai-s-siegel-zero-proof-holds-up-in-three-expert-rewrites-and-lean-checks","slug":"research-openai-s-siegel-zero-proof-holds-up-in-three-expert-rewrites-and-lean-checks","title":"OpenAI's Siegel-zero proof holds up in three expert rewrites and Lean checks, but none are refereed","description":"At least three mathematicians, plus Ben Green's note, have independently rewritten, simplified or made explicit OpenAI's nine-page argument, and none reports a gap. A Lean check passed on two independent kernels. Formal peer review has not started, and the formal statement is narrower than the headline.","published_at":"2026-11-08T16:00:00.000Z","updated_at":"2026-11-08T16:00:00.000Z","record_date":"2026-11-08","topics":["openai","research"],"source_urls":["https://terrytao.wordpress.com/2026/10/19/a-sketch-of-the-proof-of-non-existence-of-siegel-zeroes","https://arxiv.org/abs/2610.15483","https://mathworld.wolfram.com/Landau-SiegelZero.html","https://arxiv.org/abs/2610.21099","https://arxiv.org/html/2610.30476","https://github.com/jmreilly1113/siegel-zeros-audit","https://github.com/openai/math","https://github.com/openai/math/tree/main/preprints/Uniform-exclusion-of-Landau-Siegel-zeros-October-1-2026","https://www.scientificamerican.com/article/the-most-exciting-claims-from-openais-heap-of-new-proofs/"],"language":"en","routes":{"html":"https://newruntime.com/analysis/research-openai-s-siegel-zero-proof-holds-up-in-three-expert-rewrites-and-lean-checks/","markdown":"https://newruntime.com/analysis/research-openai-s-siegel-zero-proof-holds-up-in-three-expert-rewrites-and-lean-checks.md","json":"https://newruntime.com/analysis/research-openai-s-siegel-zero-proof-holds-up-in-three-expert-rewrites-and-lean-checks.json"},"author":{"role":"author","name":"Andrey Reshetnikov","profile":"https://newruntime.com/owner-profile.md","profile_json":"https://newruntime.com/owner-profile.json","same_as":["https://www.linkedin.com/in/reshetnikov1/","https://t.me/lapetuse"]},"editorial_provenance":{"desk":"authorial","target_ref":"deep_research:91719d0a-226c-4bfa-a3e2-38f76789f721","authorial_article_id":"91719d0a-226c-4bfa-a3e2-38f76789f721"},"next_reads":[{"type":"collection","path":"/analysis/","url":"https://newruntime.com/analysis/","title":"Analysis","reason":"Open the latest authorial analysis.","media_type":"text/html","json_url":"https://newruntime.com/analysis.json"},{"type":"collection","path":"/sources/","url":"https://newruntime.com/sources/","title":"Sources","reason":"See the original sources this archive cites.","media_type":"text/html"}]}