Lean 4
Kategori:Academic researchFiyatlandırma: Ücretsiz
Açıklama
Etkileşimli bir teorem kanıtlayıcı ve fonksiyonel programlama dili olup, resmi AI araştırmaları ve otomatik teorem kanıtlama (ör. AlphaProof, DeepSeek-Prover) için çekirdek altyapı görevi görür.
İlgili araçlar
AMiner
AI destekli akademik araştırma ve teknoloji istihbarat platformu; makale arama, patent arama, literatür takibi ve akademisyen profili oluşturma sunar.
ÜcretsizZiyaret et →
alphaxiv
arXiv platformuna dayalı, kullanıcıların makalenin bağlantı alan adını (arxiv.org yerine alphaxiv.org) doğrudan makale sayfasında değiştirerek satır satır yorum yapmasına, soru sormasına ve gerçek zamanlı etkileşim kurmasına olanak tanıyan açık bir akademik tartışma topluluğu. Ayrıca Ask AI ve AI tarafından oluşturulan makale blogları gibi AI özellikleri sunar.
ÜcretsizZiyaret et →