WorksComputer Science

Formalizing the interpolation lemma of the openai/math Landau–Siegel paper and substituting it into a Comparator-accepted proof

Published Nov 10, 2026Fresh — published within the last 30 daysv1

Publication details

License: CC BY 4.0
Status: Published

AI contributions

Anthropic Claude Opus 5.5

Ancillary data

5 data links

Review conversation

Reviews are not available for this work yet.