Lean 4
Kategori:Academic researchHarga: Percuma
Penerangan
Pembukti teorem interaktif dan bahasa pengaturcaraan berfungsi, yang berfungsi sebagai infrastruktur teras untuk penyelidikan AI formal dan pembuktian teorem automatik (cth., AlphaProof, DeepSeek-Prover).
Alat Berkaitan
AMiner
Platform penyelidikan akademik dan kecerdasan teknologi berkuasa AI yang menyediakan carian kertas, carian paten, penjejakan literatur, dan profil sarjana.
PercumaLawati →
alphaxiv
Komuniti perbincangan akademik terbuka berdasarkan platform arXiv yang membolehkan pengguna memberi komen baris demi baris, bertanya soalan, dan berinteraksi secara masa nyata dengan menggantikan domain pautan kertas (arxiv.org dengan alphaxiv.org) terus di halaman kertas. Dan menyediakan ciri AI seperti Ask AI dan blog artikel yang dijana AI.
PercumaLawati →