OpenAI מפרסמת תוצאות של מודל פנימי בבעיות מתמטיות פתוחות, יחד עם הוכחות ב-Lean
OpenAI פרסמה תוצאות חדשות בבעיות פתוחות במתמטיקה. את התוצאות השיג מודל frontier פנימי שהחברה לא שחררה לציבור. לצד ההודעה החברה העלתה ל-GitHub הוכחות פורמליות בשפת Lean ופרטים על המחקר, כך שכל אחד יכול לבדוק את התוצאות בעצמו.