OpenAI, kurum içi frontier modelinin matematik alanında ürettiği yeni sonuçlardan oluşan kapsamlı bir koleksiyonu kamuoyuyla paylaştı.

Açık matematik problemlerine yönelik çalışmalar GitHub’da yayımlanırken birçok ispat Lean ile bilgisayar tarafından doğrulanabilir biçimde sunuluyor; ayrıca modelin akıl yürütme özetleri, hesaplama maliyeti ve denenen problem sayıları da açıklanıyor. OpenAI, bu yayınların matematik topluluğunda bilimsel şeffaflığı artırmasını ve yapay zekâ destekli araştırmalar için daha açık standartlar oluşturulmasına katkı sağlamasını hedefliyor.