Lean 4
Kategori:Academic researchPrissättning: Gratis
Beskrivning
En interaktiv teorembevisare och ett funktionellt programmeringsspråk, som fungerar som kärninfrastruktur för formell AI-forskning och automatiserad teorembevisning (t.ex. AlphaProof, DeepSeek-Prover).
Relaterade verktyg
AMiner
AI-driven plattform för akademisk forskning och teknisk intelligens, som erbjuder artikelsökning, patentsökning, litteraturspårning och forskarprofiler.
GratisBesök →
alphaxiv
En öppen akademisk diskussionsgemenskap baserad på arXiv-plattformen som låter användare kommentera rad för rad, ställa frågor och interagera i realtid genom att ersätta papprets länkdomän (arxiv.org med alphaxiv.org) direkt på papprets sida. Och erbjuder AI-funktioner som Ask AI och AI-genererade artikelbloggar.
GratisBesök →