Lean 4
קטגוריה:Academic researchתמחור: חינם
תיאור
מוכיח משפטים אינטראקטיבי ושפת תכנות פונקציונלית, המשמשים כתשתית ליבה למחקר AI פורמלי ולהוכחת משפטים אוטומטית (למשל, AlphaProof, DeepSeek-Prover).
כלים קשורים
AMiner
פלטפורמת מחקר אקדמי ומודיעין טכנולוגי מונעת בינה מלאכותית, המספקת חיפוש מאמרים, חיפוש פטנטים, מעקב ספרות ופרופילי חוקרים.
חינםבקר →
alphaxiv
קהילת דיון אקדמית פתוחה המבוססת על פלטפורמת arXiv, המאפשרת למשתמשים להגיב שורה אחר שורה, לשאול שאלות ולתקשר בזמן אמת על ידי החלפת דומיין הקישור של המאמר (arxiv.org ב- alphaxiv.org) ישירות בעמוד המאמר. ומספקת תכונות AI כגון Ask AI ובלוגי מאמרים שנוצרו על ידי AI.
חינםבקר →