שיתוף ההתקדמות של AI במתמטיקה

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

שפת המקור המקורי · אנגלית

נבדק · 10 באוקטובר 2026