Lean 4
श्रेणी:Academic researchमूल्य: निःशुल्क
विवरण
एक अन्तरक्रियात्मक प्रमेय प्रमाणक र कार्यात्मक प्रोग्रामिङ भाषा, जुन औपचारिक AI अनुसन्धान र स्वचालित प्रमेय प्रमाणीकरण (जस्तै, AlphaProof, DeepSeek-Prover) को लागि मुख्य पूर्वाधारको रूपमा काम गर्दछ।
सम्बन्धित उपकरणहरू
AMiner
AI-संचालित शैक्षिक अनुसन्धान र प्रविधि खुफिया प्लेटफर्म, जसले पेपर खोज, पेटेन्ट खोज, साहित्य ट्र्याकिङ र विद्वान प्रोफाइलिङ प्रदान गर्दछ।
निःशुल्कभ्रमण →
alphaxiv
arXiv प्लेटफर्ममा आधारित एक खुला शैक्षणिक छलफल समुदाय जसले प्रयोगकर्ताहरूलाई कागजको लिङ्किङ डोमेन (arxiv.org बाट alphaxiv.org) सिधै कागजको पृष्ठमा प्रतिस्थापन गरेर लाइन-बाइ-लाइन टिप्पणी गर्न, प्रश्न सोध्न र वास्तविक-समयमा अन्तरक्रिया गर्न अनुमति दिन्छ। र Ask AI र AI-जनरेट गरिएका लेख ब्लगहरू जस्ता AI सुविधाहरू पनि प्रदान गर्दछ।
निःशुल्कभ्रमण →