Lean 4
Kategori:Academic researchPrissætning: Gratis
Beskrivelse
En interaktiv teorembeviser og et funktionelt programmeringssprog, der fungerer som kerneinfrastruktur for formel AI-forskning og automatiseret teorembevisning (f.eks. AlphaProof, DeepSeek-Prover).
Relaterede værktøjer
AMiner
AI-drevet platform til akademisk forskning og teknologisk intelligens, der tilbyder artikelsøgning, patentsøgning, litteraturovervågning og forskerprofiler.
GratisBesøg →
alphaxiv
Et åbent akademisk diskussionsfællesskab baseret på arXiv-platformen, der giver brugerne mulighed for at kommentere linje for linje, stille spørgsmål og interagere i realtid ved at erstatte papirets linkdomæne (arxiv.org med alphaxiv.org) direkte på papirets side. Og tilbyder AI-funktioner som Ask AI og AI-genererede artikelblogs.
GratisBesøg →