Lean 4
Kategoria:Academic researchCennik: Darmowe
Opis
Interaktywny dowodca twierdzeń i funkcjonalny język programowania, stanowiący podstawową infrastrukturę dla formalnych badań nad sztuczną inteligencją i automatycznego dowodzenia twierdzeń (np. AlphaProof, DeepSeek-Prover).
Powiązane narzędzia
AMiner
Oparta na AI platforma badań akademickich i analityki technologicznej, oferująca wyszukiwanie artykułów, wyszukiwanie patentów, śledzenie literatury i profilowanie naukowców.
DarmoweOdwiedź →
alphaxiv
Otwarta społeczność dyskusyjna oparta na platformie arXiv, która umożliwia użytkownikom komentowanie linia po linii, zadawanie pytań i interakcję w czasie rzeczywistym poprzez zastąpienie domeny linku do pracy (arxiv.org na alphaxiv.org) bezpośrednio na stronie pracy. Oferuje również funkcje AI, takie jak Ask AI i blogi artykułów generowane przez AI.
DarmoweOdwiedź →