OAI начали выкладывать теоремы и решения, которые нашла или доказала Astra https://github.com/openai/LongGapsBetweenPrimes