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.

가입 March 2020

1.7K 팔로잉 중 9.7K 팬

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.