Acer(@AcerFur):4) Shifting focus to the long gaps result, I was amazed by how elementary the proof is and how it seemingly slipped by all analytic number theorists (the Lean formalisation is only 4.5k LoC!) and is SoTA, improving further beyond the result found by Sol on Erdős problem 4.

Acer

@AcerFur

Furry pure maths student @Cambridge_Uni. | 🇬🇧🇵🇹 22 He/Him | prev: @OpenAI | Opinions are my own.

Joined March 2020

1.7K Following 9.7K Followers

Acer@AcerFur

2026.09.03 17:27

4) Shifting focus to the long gaps result, I was amazed by how elementary the proof is and how it seemingly slipped by all analytic number theorists (the Lean formalisation is only 4.5k LoC!) and is SoTA, improving further beyond the result found by Sol on Erdős problem 4.