Lean 4
Descrizione
Un dimostratore interattivo di teoremi e un linguaggio di programmazione funzionale, che funge da infrastruttura fondamentale per la ricerca formale sull'IA e la dimostrazione automatica di teoremi (ad esempio, AlphaProof, DeepSeek-Prover).
Strumenti correlati
AMiner
Piattaforma di ricerca accademica e intelligence tecnologica basata sull'IA, che offre ricerca di articoli, ricerca di brevetti, monitoraggio della letteratura e profilazione degli studiosi.
alphaxiv
Una comunità di discussione accademica aperta basata sulla piattaforma arXiv che consente agli utenti di commentare riga per riga, fare domande e interagire in tempo reale sostituendo il dominio del collegamento del documento (arxiv.org con alphaxiv.org) direttamente sulla pagina del documento. E fornisce funzionalità di intelligenza artificiale come Ask AI e blog di articoli generati dall'IA.