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