AWESOME AI PROOFS
← Problems
Research / Aug 27, 2026

Hyperbolic surfaces with large systoles in every large genus

How large a systole can a closed hyperbolic surface have in each sufficiently large genus?

Model / AI: GPT-5.6 Sol

self-reported
Aug 27, 2026

Limit-infimum constant improved to one

Model / AI: GPT-5.6 Sol

self-reported

Yifei Cai reports that GPT-5.6 Sol developed the first complete proof within Cai's constant-twist pants-decomposition framework. The note constructs surfaces with systole at least log g minus 12 log log g, improving the previously stated asymptotic lower-bound constant from 2/9 to 1.

Source read 2026-09-08. Read the abstract, theorem and AI-use declaration in arXiv v1. The proof was not independently checked.