בינה מלאכותית טוענת להוכחה של הנחיית קומלוש
מאמר חדש שהועלה לארכיון arXiv טוען להוכחה של גבול מספרי מדויק לבעיית הסימון של קומלוש, בעיה פתוחה עשרות שנים בתורת הדיסקרפנסיה — כשההוכחה, לפי המחברים, התגלתה על ידי סוכן בינה מלאכותית בשם Odin. מדובר בפרה-פרינט שטרם עבר ביקורת עמיתים, אך הוא מצטרף לשורת מקרים שבהם מערכות AI מיוחסות בהוכחת תוצאות מתמטיות, ומעורר מחדש את שאלת אמות המידה לאימות הוכחות כאלה.