OpenAI публикует новые репозитории с формальными доказательствами в Lean перед выпуском Astra

OpenAI открыла три новых репозитория на GitHub (PrimeGaps186, LongGapsBetweenPrimes, ten-proofs), содержащих формальные доказательства в системе Lean. Это может быть связано с подготовкой к релизу Astra, что указывает на усиление работы компании в области автоматизированного доказательства теорем и верификации.