औपचारिक सत्यापन विशेषज्ञ

Anthropic: Claude ने 11 दिनों में Lean पर फ़र्मा के अंतिम प्रमेय का प्रमाण लिखा

Anthropic के अनुसार, Claude ने काफी हद तक स्वायत्त रूप से Lean में फ़र्मा के अंतिम प्रमेय का पूर्ण औपचारिक प्रमाण लिखा। प्रमाण बाह्य जाँच के लिए GitHub पर सार्वजनिक है।