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