Claude ने Lean मध्ये Fermat's Last Theorem औपचारिक स्वरूपात मांडले

Anthropic ने नुकतेच एक मोठे संशोधन कार्य पूर्ण केले आहे. Lean 4 प्रूफ लँग्वेजचा वापर करून Fermat's Last Theorem औपचारिक स्वरूपात मांडण्यासाठी एका अंतर्गत मॉडेलने ११ दिवस काम केले.

हा कोणताही नवीन गणिती शोध नाही. Andrew Wiles यांनी १९९५ मध्ये हा सिद्धांत सिद्ध केला होता. Anthropic ने जे केले ते म्हणजे तो अस्तित्वात असलेला पुरावा (proof) कोडमध्ये रूपांतरित करणे. यामुळे संगणकाला प्रत्येक तार्किक पायरी पूर्ण खात्रीने तपासणे शक्य होते.

या प्रकल्पाचे प्रमाण प्रचंड आहे: • मॉडेलने Lean कोडच्या १३ दशलक्ष ओळी तयार केल्या. • त्याने ३०,३०० मध्यवर्ती सिद्धांत सिद्ध केले. • त्याने सुमारे ६ अब्ज आउटपुट टोकन्स वापरले.

मॉडेलने बहुतेक वेळा स्वतःहून काम केले. मानवांनी फक्त अधूनमधून उच्च-स्तरीय निर्देश दिले. कोणीही पाहत नसताना मध्यरात्री हे काम पूर्ण झाले. सिस्टिमने ही यशोगाथा आपोआप नोंदवली.

लक्षात घेण्यासारख्या दोन महत्त्वाच्या गोष्टी: १. हे मॉडेल एक अंतर्गत संशोधन साधन आहे. तुम्ही अद्याप API द्वारे त्याचा वापर करू शकत नाही. हे तुम्ही आज वापरत असलेल्या Claude मॉडेल्ससारखे नाही. २. डेव्हलपर्ससाठी खरे मूल्य Prove2Me नावाच्या कोऑर्डिनेशन लेयरमध्ये आहे.

Prove2Me हे एक ओपन सोर्स टूल आहे. ते कार्य व्यवस्थापित करण्यासाठी डिपेंडन्सी ग्राफचा वापर करते. साध्या चेकलिस्टऐवजी, ते पुरावे एकमेकांशी कसे जोडलेले आहेत याचा एक नकाशा तयार करते.

ही रचना एजंट वर्कफ्लोसाठी (agent workflows) दोन प्रमुख समस्या सोडवते:

  • हे एकाच प्रकारचे काम अनेक एजंट्सना करण्यापासून रोखते.
  • हे एजंट्सना एक सामायिक मेमरी देते जेणेकरून ते मुख्य ध्येय विसरणार नाहीत.

बहुतेक एजंट वर्कफ्लो का अयशस्वी होतात कारण ते कालांतराने संदर्भाचा (context) मागोवा गमावतात. लांब चॅट विंडोऐवजी सामायिक, बाह्य ग्राफचा वापर केल्यामुळे कार्य योग्य मार्गावर राहते.

जर तुम्ही एजंट वर्कफ्लो तयार करत असाल, तर तुम्ही Prove2Me आर्किटेक्चरचा अभ्यास केला पाहिजे. तुम्ही Anthropic चे संशोधन मॉडेल्स वापरत नसलात तरीही, ते ज्या प्रकारे कामांचे समन्वय साधतात, ते दीर्घकालीन कामांसाठी (long horizon work) एक ब्लूप्रिंट आहे.

Source: https://dev.to/raxxostudios/claude-just-formalized-fermats-last-theorem-in-lean-3p36

Optional learning community: https://t.me/GyaanSetuAi