מדע
הבינה המלאכותית מציגה מאות פתרונות לבעיות במתמטיקה: מה באמת הוכח?
OpenAI פרסמה 722 כתבי יד מתמטיים ב־372 קבוצות תוצאות שהופקו באמצעות AI. מה ההישגים, מה הקשר להשערת רימן ולמה חלק מההוכחות עדיין מחכות לבדיקה?
תגית: <span>מתמטיקה</span>
טכנולוגיה
בעיות המילניום: 7 החידות, מה נפתר ומה עדיין פתוח
שבע חידות מתמטיות, מיליון דולר לכל פתרון, ורק הכרעה רשמית אחת עד כה. האם בעיית נאוויה־סטוקס בדרך לפתרון ומה נותר פתוח?
טכנולוגיה
88 שעות מול חידה בת כמעט 200 שנה: ההישג של AI במתמטיקה
בינה מלאכותית הציגה פתרון אפשרי לאחת החידות הקשות במתמטיקה, אבל הכרעה רשמית עוד דורשת בדיקה. מהו ההישג ומה משמעותו?