כתבה
Last Week in AI ·
Last Week in AI #346 - 719 תירגומי מתמטיקה, 2 דגמים פתוחים ממערב, 1 פרישה נוספת לביטחון
Last Week in AI #346 - 719 math manuscripts, 2 Western open models, 1 more safety resignation
OpenAI הפצירה 719 תירגומי מתמטיקה מדגם שלא פורסם ציבורית. הדגם, שלא פורסם ציבורית, יצר 372 קבוצות של נושאים (קבוצות של עבודות קשורות) במאגר הציבורי של OpenAI. כמו כן, יש 10 תקצירים של הדגם, הערכות חישוביות שמוצגות בשימוש ב-ChatGPT Pro, וסטטיסטיקות על הבעיות שניסו
תקציר מקורי באנגליתTop News OpenAI publishes hundreds of math proofs from unreleased frontier model Sources: OpenAI drops another batch of mathematical breakthroughs Sharing AI progress in mathematics OpenAI Releases Findings on 377 Math Problems, Further Roiling Field All the drama around AI’s takeover of mathematics Source OpenAI published a large batch of mathematical results on October 6, 2026, produced by an internal frontier model that has not been released publicly. As of now, there are 719 manuscripts covering 372 topic families (groupings of related papers) on OpenAI’s public repository with the results, as well as formalizations in Lean for many of the proofs. There are also 10 summaries of the model’s reasoning, compute estimates expressed in ChatGPT Pro usage, and statistics on
קרא במקור המקורי
lastweekin.ai
פתח כתבה מקורית