Lean 4
Description
Un prouveur de théorèmes interactif et un langage de programmation fonctionnel, servant d'infrastructure de base pour la recherche en IA formelle et la démonstration automatique de théorèmes (par exemple, AlphaProof, DeepSeek-Prover).
Outils similaires
AMiner
Plateforme de recherche académique et d'intelligence technologique propulsée par l'IA, offrant recherche d'articles, recherche de brevets, suivi de littérature et profilage de chercheurs.
alphaxiv
Une communauté de discussion académique ouverte basée sur la plateforme arXiv, qui permet aux utilisateurs de commenter ligne par ligne, poser des questions et interagir en temps réel en remplaçant le domaine de liaison du papier (arxiv.org par alphaxiv.org) directement sur la page du papier. Et fournit des fonctionnalités d'IA telles que Ask AI et des blogs d'articles générés par l'IA.