OpenAI matematika sohasidagi AI yutuqlarini ulashdi
OpenAI o'zining ichki ilg'or modeli yordamida matematika sohasidagi ochiq muammolar bo'yicha yeni natijalarni e'lon qildi. Shuningdek, kompaniya GitHub platformasida Lean isbotlash formallashtirishlari va tadqiqot tafsilotlarini ulashdi.