בתורת האוטומטים הסופיים, השערת צ'רני (באנגלית: Černý conjecture; על שם יאן צ'רני) היא השערה על האורך המקסימלי של מילה מסנכרנת, באוטומט שיש בו מילה כזו. ההשערה קובעת שאם X היא משפחה של פונקציות מקבוצה בת n נקודות לעצמה, ואפשר ליצור מ⁻X באמצעות הרכבה פונקציה קבועה, אז יש הרכבה כזו באורך שאינו עולה על מתוך ויקיפדיה

השערת עולם הרנ"א, השערת פואנקארה, השערת פואנקרה, השערת פוליה, השערת פרמה, השערת קולץ, השערת קטלן, השערת קנודסון, השערת קנזר, השערת קפלר