יש אפליקציה של בינה מלאכותית שיכולה לעזור לי לפתור שאלות במתמטיקה על הוכחת דלתון וכאלה?