Goedel-Prover-V2 - модель доказательства теорем с открытым исходным кодом, разработанная в Принстоне совместно с Цинхуа, NVIDIA и другими компаниями.
Goedel-Prover-V2 - это модель доказательства теорем с открытым исходным кодом от ведущих институтов, таких как Принстонский университет, Университет Цинхуа и NVIDIA. В основе модели лежат такие инновационные техники, как иерархический синтез данных, самокоррекция, направляемая верификатором, и усреднение модели, позволяющие значительно повысить производительность автоматизированных формальных доказательств...