दीपसेक-प्रवर-वी 2
आरएल के माध्यम से औपचारिक गणितीय तर्क को आगे बढ़ाना
विवरण
दीपसेक-प्रवर-वी 2 एक ओपन-सोर्स एआई है, जो लीन 4 में साबित करने वाला औपचारिक प्रमेय है। डीपसेक-वी 3 द्वारा संचालित, यह मिनिफ 2 एफ-टेस्ट पर 88.9% पास दर को प्राप्त करता है और 49/658 पुट्नम्बेनच की समस्याओं को हल करता है।
