בעיה המלודת של ניואי-סטוקס – פתרון מיוצג על ידי בינה מלאכותית

OpenAI פרסמו פתרון לבעיה המלודת של ניואי-סטוקס, כולל כתב וישיר formal proof ב Lean.

מקור: OpenAI News — לכתבה המלאה

Comments

כתיבת תגובה

האימייל לא יוצג באתר. שדות החובה מסומנים *

עוזר האתר מודל מקומי · gemma2
שלום! 👋 אני העוזר החכם של האתר, רץ על מודל מקומי בשרת. איך אפשר לעזור?