תשומת לב: פתרון לבעיה מדעית מרכזית

OpenAI פרסם תרגום מודל AI לפתרון בעיית Navier-Stokes, כולל כתב ומעורבות פורמלית ב Lean.

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

Comments

כתיבת תגובה

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

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