OpenAI

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

האחרון

$Abstract desk scene with blank papers, geometric forms, and a glowing network suggesting AI-assisted mathematics.$

openai9 באוקטובר 20269 דקות קריאה

טענות המתמטיקה של OpenAI חושפות את צוואר הבקבוק באימות AI

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

כל הפוסטים

Abstract legal research workspace with documents, search nodes and governance controls.

openai18 בספטמבר 20269 דקות קריאה

Astra for Law של OpenAI היא מערכת AI משפטית, לא מודל חדש

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

Abstract fluid vortex with geometric proof structures and a glowing verification grid.

openai11 בספטמבר 20269 דקות קריאה

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

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