OpenAI טוענת לפתרון אחת מבעיות המילניום ומעוררת סערה

סיכום מאמר

OpenAI טוענת כי הצליחה להוכיח שאחת מבעיות המילניום של מכון קליי – משוואות נאוויה-סטוקס – עלולה לקרוס בתוך זמן סופי, מה שמהווה פוטנציאל לפתרון בעיה שנחשבת לא פתורה למעלה מעשור. ההוכקה נוצרה על ידי כ‑10,000 סוכני AI פנימיים שפעלו במקביל במשך כ‑88 שעות, ואומתה באופן ממוחשב באמצעות שיטת ההוכחה הפורמלית Lean. אם הטענה תימצא נכונה, היא עשויה לשנות את ההבנה של דינמיקת נוזלים ולהשפיע על תחומים כגון הנדסה, פיזיקה ומדעי האקלים. עם זאת, הקהילה המדעית מדגישה כי יש לבחון את התוצאות בביקורת עמיתים לפני קבלתן כהוכחה סופית, והדיון סביב האמינות של הוכחות שנוצרו על ידי בינה מלאכותית נותר פתוח.

תוכן זה נוצר על ידי בינה מלאכותית.