Lean 4
Kategori:Academic researchPriser: Gratis
Beskrivelse
En interaktiv teorembeviser og et funksjonelt programmeringsspråk, som fungerer som kjerneinfrastruktur for formell AI-forskning og automatisert teorembevisning (f.eks. AlphaProof, DeepSeek-Prover).
Relaterte verktøy
AMiner
AI-drevet plattform for akademisk forskning og teknologisk etterretning, som tilbyr papirsøk, patentsøk, litteraturovervåking og forskerprofiler.
GratisBesøk →
alphaxiv
Et åpent akademisk diskusjonsfellesskap basert på arXiv-plattformen som lar brukere kommentere linje for linje, stille spørsmål og samhandle i sanntid ved å erstatte papirets lenkedomene (arxiv.org med alphaxiv.org) direkte på papirets side. Og tilbyr AI-funksjoner som Ask AI og AI-genererte artikkelblogger.
GratisBesøk →