דלג לתוכן

בלוג

OpenAI

חדשות, השקות מודלים ומדריכים מעשיים על OpenAI: GPT, Sora ו-OpenAI API.

Abstract fluid vortex with geometric proof structures and a glowing verification grid.
openai9 דקות קריאה

טענת ההוכחה של OpenAI לנאוויה–סטוקס, מוסברת

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

פוסטים חדשים ישירות לתיבת הדואר

חדשות AI, מדריכים ועדכוני מוצר — מייל קצר כשאנחנו מפרסמים משהו ששווה את הזמן שלך.