LATEST
OpenAI: המודל Astra פתר עשר בעיות פתוחות במתמטיקה, ולכל הוכחה יש אישור ב-Lean
OpenAI טוענת שגרסה פנימית של Astra, משפחת המודלים הבאה שלה, פתרה עשר בעיות פתוחות במתמטיקה. לכל הוכחה מצורף אישור ב-Lean שאפשר להריץ, אבל המודל עצמו עדיין לא שוחרר.
לכתבה המלאה