מאיץ / כל הסיפורים

Lean

תגית1 כתבה

כל הכתבות של מאיץ בנושא Lean: מדריכים מעשיים, חדשות והסברים בגובה העיניים.

חדשות AI

OpenAI חושפת 722 כתבי יד מתמטיים שהפיק מודל פנימי, עם הוכחות ב־Lean

OpenAI פרסמה ב־GitHub אוסף של 722 כתבי יד מתמטיים שהפיק מודל פנימי שעדיין לא שוחרר, עם הוכחות ב־Lean לחלק מהם, עשרה סיכומי חשיבה ונתונים על כ־4,000 בעיות שנוסו. החברה מזהירה שחלק מהתוצאות עוד לא אומתו.

מערכת מאיץ

כלי AI שחוסכים זמן, ישר למייל

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

תפריט נגישות