פתרון AI לבעיה הNavier-Stokes

OpenAI פרסם פתרון AI חדש לפתרון בעיית Navier-Stokes, המכונה לראשונה Millennium Prize Problem. הפתרון כולל כתוב ועיצוב formal proof ב Lean.

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