Lean 4
பிரிவு:Academic researchவிலை: இலவசம்
விளக்கம்
ஒரு ஊடாடும் தேற்ற நிரூபி மற்றும் செயல்பாட்டு நிரலாக்க மொழி, முறையான AI ஆராய்ச்சி மற்றும் தானியங்கி தேற்ற நிரூபணம் (எ.கா., AlphaProof, DeepSeek-Prover) ஆகியவற்றுக்கான மைய உள்கட்டமைப்பாக செயல்படுகிறது.
தொடர்புடைய கருவிகள்
AMiner
AI-இயங்கும் கல்வி ஆராய்ச்சி மற்றும் தொழில்நுட்ப நுண்ணறிவு தளம், காகித தேடல், காப்புரிமை தேடல், இலக்கிய கண்காணிப்பு மற்றும் அறிஞர் சுயவிவரங்களை வழங்குகிறது.
இலவசம்வருகை →
alphaxiv
arXiv தளத்தின் அடிப்படையிலான திறந்த கல்வி விவாத சமூகம், இது பயனர்கள் காகிதத்தின் இணைப்பு டொமைனை (arxiv.org இலிருந்து alphaxiv.org) நேரடியாக காகிதப் பக்கத்தில் மாற்றுவதன் மூலம் வரிக்கு வரி கருத்து தெரிவிக்கவும், கேள்விகளைக் கேட்கவும், நிகழ்நேரத்தில் தொடர்பு கொள்ளவும் அனுமதிக்கிறது. மேலும் Ask AI மற்றும் AI உருவாக்கிய கட்டுரை வலைப்பதிவுகள் போன்ற AI அம்சங்களை வழங்குகிறது.
இலவசம்வருகை →